These are notes from a talk given at the Stanford applied topology seminar by Gunnar Carlsson from 9 Oct 2009. The main function of this blog post is to get me an easily accessible point of access for the ideas in that talk. Coordinatization First...

Now up: Lecture 10 with the definition of a topos and a derivation of internal, inutitionistic logic within a topos.

Lecture 9: Catamorphisms, Anamorphisms, more from that zoo; adjunctions, some properties and some examples.

I have been remiss in updating here. Since the last time I posted, I have posted: Lecture 6, featuring some interesting limits and colimits, culminating in the introduction of adjoints. Lecture 7, featuring the introduction of monads based in...

And, as it turns out, my logic-fu is lacking. Next time around, it’s likely I talk about the CCC = typed λ-calculus correspondence, but won’t try to actually produce the correspondence explicitly.