The pullback lemma

I remember how hard it was to assimilate category theory when I was a student. A beginning student on math.stackexchange.com is asking for a solution to a basic lemma about pullbacks. It really is the sort of thing one should do by oneself. Nevertheless, here it is, in gory details.

Download: pullback.pdf

One thought on “The pullback lemma

  1. The [pasting law](http://ncatlab.org/nlab/show/pasting%20law) for pullbacks goes a long, long way when generalized to homotopy (type) theory.

    After we had finished the discussion of principal bundle theory “in homotopy type theory” (in abstract higher topos theory) [here](http://ncatlab.org/schreiber/show/Principal+%E2%88%9E-bundles+–+theory,+presentations+and+applications) a colleague came to me and said: I checked all your propositions and I noticed that you are essentially just using the pasting law/pullback lemma over and over and over again. And, yes, that’s true. A whole lot folllows this way.

Leave a Reply

Your email address will not be published. Required fields are marked *

89 − = 81

You may use these HTML tags and attributes: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>