# nLab concrete (n,1)-category

Contents

### Context

#### Higher category theory

higher category theory

# 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 $C$ equipped with a (n+1)-surjective functor

$U \colon C \to nGrpd$

to the large? (n,1)-category nGrpd of n-groupoids. We say a (n,1)-category $C$ is concretizable if and only if it admits a $(n+1)$-surjective functor $U \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.