nLab concrete (n,1)-category

Contents

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Discrete and concrete objects

Contents

Idea

A generalization of the notion of concrete category from category theory to (n,1)-category theory.

Definition

Definition

A concrete (n,1)-category is a (n,1)-category CC equipped with a (n+1)-surjective functor

U:CnGrpd U \colon C \to nGrpd

to the large (n,1)-category nGrpd of n-groupoids. We say a (n,1)-category CC is concretizable if and only if it admits a (n+1)(n+1)-surjective functor U:CGrpdU \colon C \to Grpd.

Last revised on May 21, 2023 at 13:52:16. See the history of this page for a list of all contributions to it.