A Survey of Definitions of n-Category

Tom Leinster

A Survey of Definitions of n-Category

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv math/0107188 v1 pith:KO2UWED3 submitted 2001-07-25 math.CT math.AGmath.ATmath.QA

A Survey of Definitions of n-Category

Tom Leinster This is my paper

classification math.CT math.AGmath.ATmath.QA

keywords definitionsn-categorypagesbibliographychattydefinitionfollowsfurther

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

0 comments

read the original abstract

Many people have proposed definitions of `weak n-category'. Ten of them are presented here. Each definition is given in two pages, with a further two pages on what happens when n = 0, 1, or 2. The definitions can be read independently. Chatty bibliography follows.

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Generalized forms of types N = 1, 2 and higher gauge theory
math-ph 2026-01 conditional novelty 6.0

Strict 2- and 3-gauge theory is re-expressed in a single generalized-form formalism in which higher connections, curvatures, Bianchi identities, and gauge transformations match ordinary gauge-theory form, yielding uni...