Basic Concepts of Enriched Category Theory

G. M. Kelly, B. C. o. E. C. T., & Press, C. U. (1982). Basic Concepts of Enriched Category Theory. Cambridge University Press.

Type

Book

Intellectual base

Review or monograph

Year

1982

Link

no authoritative link yet

Cited by

4 citations across 4 artifacts.

Domain-specific

• Cosmos (category theory)
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
• Inserter category
  • … pairs, comparison-arrow direction, commuting-square equation, identities and composition, size convention, universal property, and relation to comma or equalizer constructions are explicit. to An applied instance preserves the same invariant under a changed scale, notation, jurisdiction, dataset, or implementation..
• Simplicially enriched category
  • … observable transfers from A simplicial model category has a simplicially enriched subcategory whose mapping simplicial sets encode derived maps and homotopies. to A proof distinguishes a simplicially enriched category from a simplicial object in Cat and checks fibrancy when mapping spaces model homotopy types..
• Topological category (enriched category theory)
  • … from CW complexes and continuous maps form a topological category when mapping sets use a suitable compact-open-derived topology and composition is continuous. to A construction names the convenient category of spaces because raw compact-open topology can fail closure properties needed for enriched composition..

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:cc80b453abf8 · see in the full table