nLab enriched category theory contents

enriched category theory

Background

• category theory

• monoidal category, closed monoidal category

• cosmos, multicategory, bicategory, double category, virtual double category

Basic concepts

• enriched category

• enriched functor, profunctor

• enriched functor category

Universal constructions

• weighted limit

• end, coend

Extra stuff, structure, property

• copowering (tensoring), powering (cotensoring)

Homotopical enrichment

• enriched homotopical category

• enriched model category

• model structure on homotopical presheaves

Edit this sidebar