Morphism

right inverse morph diagram chasing inverse system factor through regular map metagraph epimorphism diffeomorphism cointersection fibre generalized element multicategory morphous bijection isotrivial adjunct automorphism homomorphism form split epimorphism diagonal morphism yoneda embedding kernel inverse morphic morphotype equalizer functor direct product homeomorphism faithful functor group object coterminal equalize contravariant functor category projection overfunctor monodromy overcone global element tilting comorphism graph arrow full functor subsignature map hom set fiber pushout orthomorphism normal diagram chase cosection isomorphism kernel pair classifying morphism injection sieve left inverse opmonoidal inverse limit shape measurable function identity morphism monomorphism function morphisms isometry