nLab
formal category theory

Idea

The aim of formal category theory is to axiomatise the constructions of category theory – adjunctions, monads, limits, etc. – so that they refer to structures within a generic 2-category, and not only Cat.

The purpose of category theory is to try to describe certain general aspects of the structure of mathematics. Since category theory is also part of mathematics, this categorical type of description should apply to it as well as to other parts of mathematics. (Gray 74)

Contexts to develop formal category theory include proarrow equipments and Yoneda structures.

References

Last revised on September 12, 2021 at 10:11:48. See the history of this page for a list of all contributions to it.