talks/2011-Teichner/Section7-Scott_Morrison.pdf
author Kevin Walker <kevin@canyon23.net>
Thu, 16 Jun 2011 08:51:40 -0600
changeset 795 4d66ffe8dc85
parent 747 8c534a37e51c
permissions -rw-r--r--
tweak to fam-o-homeo proof; aux enriching cats are sets with extra structure

(binary:application/pdf)