Assertion: natural transformation | /r/HasProperty | vertical composition
Facets:
Source sentences:
text: F → F {\displaystyle 1_{F}:F\to F} (which assigns to every object X {\displaystyle X} the identity morphism on F ( X ) {\displaystyle F(X)} ) and the composition of two natural transformations (the "vertical composition" above) is again a natural transformation.