Showing changes from revision #1 to #2:
Added | Removed | Changed
For functors , a natural transformation consists of
It follows that the type of natural transformations from to is a set.
Category theory in HoTT functor precategory functor
Revision on September 4, 2018 at 19:29:40 by Ali Caglayan. See the history of this page for a list of all contributions to it.