Cosmos (category theory)
[fr] Cosmos (théorie des catégories)