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

Last revised on October 13, 2023 at 14:48:21. See the history of this page for a list of all contributions to it.