cosmos (category theory)

In the area of mathematics known as category theory, a cosmos is a symmetric closed monoidal category that is complete and cocomplete.{{nlab|id=cosmos}} Enriched category theory is often considered over a cosmos.[http://www.tac.mta.ca/tac/reprints/articles/10/tr10.pdf Basic Concepts of Enriched Category Theory]