Source: wikibot/cosmos-category-theory
= Cosmos (category theory)
{wiki=Cosmos_(category_theory)}
In category theory, a "cosmos" is a concept that extends the idea of a category to a more general framework, allowing for the study of "categories of categories" and related structures. Specifically, a cosmos is a category that is enriched over some universe of sets or types, which allows for a more flexible approach to discussing categories and their properties.