From: Nathaniel Wesley Filardo Date: Thu, 2 Apr 2015 04:20:30 +0000 (-0400) Subject: New concept: web pages. X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=d7a26166e3f70d2afd076ccbbe5396defbceb9c1;p=ctcheat New concept: web pages. --- 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. + +