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.

Created on May 18, 2022 at 12:36:18. See the history of this page for a list of all contributions to it.