Basic concepts of enriched category theory

Kelly, G. M. (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

3 citations across 3 artifacts.

Domain-specific

• 2-Yoneda lemma
  • The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.
• Closed monoidal category
  • For objects A and B, closedness supplies an object [A,B] and natural bijections between morphisms from X tensor A to B and morphisms from X to [A,B], with left, right, or symmetric variants stated.
• Kan extension
  • … from Left Kan extension along an inclusion freely extends a functor, with each new value computed as a colimit over objects mapping into that point. to A category theorist checks existence and pointwise hypotheses rather than invoking the slogan that all constructions are Kan extensions without the universal diagram..

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:e7ceef8a3c9c · see in the full table