Assertion: natural transformation | /r/CapableOf | call counit
Facets:
Source sentences:
text: Additionally, every pair of adjoint functors comes equipped with two natural transformations (generally not isomorphisms) called the unit and counit.