Skip to main content
3 events
when toggle format what by license comment
Nov 25, 2010 at 1:14 comment added Peter LeFanu Lumsdaine The sense in which these functors are inverse, by the way, is up-to-natural-isomorphism, i.e. they comprise an equivalence of categories.
Nov 24, 2010 at 22:26 vote accept A grad student
Nov 24, 2010 at 21:36 history answered Neil Strickland CC BY-SA 2.5