From d7a26166e3f70d2afd076ccbbe5396defbceb9c1 Mon Sep 17 00:00:00 2001 From: Nathaniel Wesley Filardo Date: Thu, 2 Apr 2015 00:20:30 -0400 Subject: [PATCH] New concept: web pages. --- index.html | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 index.html diff --git a/index.html b/index.html new file mode 100644 index 0000000..cd4c6c5 --- /dev/null +++ b/index.html @@ -0,0 +1,41 @@ + + + nwf's notes on category theory + + +

nwf's notes on category theory

ctcheat.pdf The all-in-one (or at least, +as-far-as-I've-gotten-in-one) glossary. It attempts to make quantifiers +explicit in diagrams, because people have found that very helpful.
adjoints-diag.pdf works out the left +and right adjoints to the diagonal product functor. Specifically, Î£ â£ â â£ +Î .
bifunctors.pdf Notes on bifunctors as in +the excellent paper Functional +Pearl: F for Functor. This attempts to slow down and flesh out the +discussion a little bit.
ends.pdf extends bifunctors.pdf to consider the ends of +profunctors, especially as pertains to functional programming languages with +higher-order (i.e. non-prenex) quantification. + +
monads.pdf is some old notes about categorical +monads and Haskell.
yoneda.pdf Some worked examples leading up to +the Yoneda Lemma.

+ +TeX for all of this is up at +github.

+ +More forthcoming, I'm sure. + + -- 2.50.1