nLab
enriched over category

Enriched over-categories

Enriched over-categories

Idea

The generalization of an over-category to enriched categories.

Definition

Let (V,,I)(V,\otimes,I) be a monoidal category with pullbacks, CC a VV-enriched category, and xCx\in C an object. The enriched over-category (or enriched slice category) C/xC/x is the following VV-category:

The dual concept is the enriched under-category or enriched co-slice category.

Properties

References

Created on February 11, 2019 at 22:57:46. See the history of this page for a list of all contributions to it.