Homotopy Type Theory
natural transformation > history (Rev #2)
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 functor precategory functor
References
HoTT Book
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.