Enriched Category Theory

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Enriched Category Theory.

• Cosmos (category theory) — A complete and cocomplete symmetric closed monoidal category chosen as the base of enrichment for categories, functors, natural transformations, limits and tensors.
• Isbell duality — An enriched categorical adjunction between presheaves and copresheaves induced by hom-pairing with representable functors.