Homotopy Type Theory
natural transformation > history (Rev #1, changes)
Showing changes from revision #0 to #1:
Added | Removed | Changed
Definition
For functors , a natural transformation consists of
- For each , a morphism called the components of at .
- For each and , we have (the naturality axiom).
Properties
It follows that the type of natural transformations from to is a set.
See also
Category theory in HoTT functor precategory functor
References
HoTT Book
Revision on September 4, 2018 at 18:22:49 by
Ali Caglayan.
See the history of this page for a list of all contributions to it.