nLab hom-groupoid

Redirected from "hom groupoid".
Contents

Context

Enriched category theory

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Contents

Idea

A VV-enriched category CC, for V=V = Grpd (the category of groupoids), has for every ordered pair x,yx,y of objects a groupoid C(x,y)C(x,y) of morphisms between xx and yy. This hom-object is hence a hom-groupoid in this case.

For this reason such a category may be thought of as a locally groupoidal 2-category, or strict (2,1)-category.

Examples

Last revised on September 16, 2024 at 13:00:27. See the history of this page for a list of all contributions to it.