mathlib documentation

algebraic_topology.nerve

The nerve of a category #

This file provides the definition of the nerve of a category C, which is a simplicial set nerve C (see [GJ09], Example I.1.4).

References #

The nerve of a category

Equations

The nerve of a category, as a functor Cat ⥤ sSet

Equations