category theory

category

functor

natural transformation

Cat

universal construction

representable functor

adjoint functor

limit/colimit

weighted limit

end/coend

Kan extension

Yoneda lemma

Isbell duality

Grothendieck construction

adjoint functor theorem

monadicity theorem

adjoint lifting theorem

Tannaka duality

Gabriel-Ulmer duality

small object argument

Freyd-Mitchell embedding theorem

relation between type theory and category theory

sheaf and topos theory

enriched category theory

higher category theory

Edit this sidebar

A multimorphism is a morphism $A_1, \cdots, A_n \to B$ in a multicategory.

binary function, bilinear map, multilinear map

binary morphism, multimorphism

bifunctor, multifunctor

Last revised on May 25, 2020 at 09:21:04. See the history of this page for a list of all contributions to it.