nLab hom-groupoid

Redirected from "definite differential forms".
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.