3 ms·
I thought of endofunctors due to morphisms remaining in the same domain (satisfying the homogeneous domain/codomain requirement of natural transformations), tho
by AdieuToLogic 11y ago
I thought of endofunctors due to morphisms remaining in the same domain (satisfying the homogeneous domain/codomain requirement of natural transformations), though perhaps a better description would have been to constrain the functors to injective arrows instead.