Complicial sets characterising the simplicial nerves of strict ω-categories

Research output: Book/ReportBookResearchpeer-review

Abstract

The primary purpose of this work is to characterise strict ω-categories as simplicial sets with structure. The author proves the Street-Roberts conjecture in the form formulated by Ross Street in his work on Orientals, which states that they are exactly the "complicial sets" defined and named by John Roberts in his handwritten notes of that title (circa 1978). On the way the author substantially develops Roberts' theory of complicial sets itself and makes contributions to Street's theory of parity complexes. In particular, he studies a new monoidal closed structure on the category of complicial sets which he shows to be the appropriate generalisation of the (lax) Gray tensor product of 2-categories to this context. Under Street's ω-categorical nerve construction, which the author shows to be an equivalence, this tensor product coincides with those of Steiner, Crans and others.
LanguageEnglish
Place of PublicationProvidence, RI
PublisherAmerican Mathematical Society
ISBN (Print)9780821841426
Publication statusPublished - 2008

Publication series

NameMemoirs of the American Mathematical Society
PublisherAmerican Mathematical Society
No.905
ISSN (Print)0065-9266

Fingerprint

Nerve
Categorical
John Robert
Equivalence
Parity
Oriental

Keywords

  • Categories (Mathematics)
  • Algebraic topology

Cite this

Verity, D. (2008). Complicial sets characterising the simplicial nerves of strict ω-categories. (Memoirs of the American Mathematical Society; No. 905). Providence, RI: American Mathematical Society.
Verity, Dominic. / Complicial sets characterising the simplicial nerves of strict ω-categories. Providence, RI : American Mathematical Society, 2008. (Memoirs of the American Mathematical Society; 905).
@book{c13a21ceff014a4f8850d2a76f66b92d,
title = "Complicial sets characterising the simplicial nerves of strict ω-categories",
abstract = "The primary purpose of this work is to characterise strict ω-categories as simplicial sets with structure. The author proves the Street-Roberts conjecture in the form formulated by Ross Street in his work on Orientals, which states that they are exactly the {"}complicial sets{"} defined and named by John Roberts in his handwritten notes of that title (circa 1978). On the way the author substantially develops Roberts' theory of complicial sets itself and makes contributions to Street's theory of parity complexes. In particular, he studies a new monoidal closed structure on the category of complicial sets which he shows to be the appropriate generalisation of the (lax) Gray tensor product of 2-categories to this context. Under Street's ω-categorical nerve construction, which the author shows to be an equivalence, this tensor product coincides with those of Steiner, Crans and others.",
keywords = "Categories (Mathematics), Algebraic topology",
author = "Dominic Verity",
year = "2008",
language = "English",
isbn = "9780821841426",
series = "Memoirs of the American Mathematical Society",
publisher = "American Mathematical Society",
number = "905",
address = "United States",

}

Verity, D 2008, Complicial sets characterising the simplicial nerves of strict ω-categories. Memoirs of the American Mathematical Society, no. 905, American Mathematical Society, Providence, RI.

Complicial sets characterising the simplicial nerves of strict ω-categories. / Verity, Dominic.

Providence, RI : American Mathematical Society, 2008. (Memoirs of the American Mathematical Society; No. 905).

Research output: Book/ReportBookResearchpeer-review

TY - BOOK

T1 - Complicial sets characterising the simplicial nerves of strict ω-categories

AU - Verity, Dominic

PY - 2008

Y1 - 2008

N2 - The primary purpose of this work is to characterise strict ω-categories as simplicial sets with structure. The author proves the Street-Roberts conjecture in the form formulated by Ross Street in his work on Orientals, which states that they are exactly the "complicial sets" defined and named by John Roberts in his handwritten notes of that title (circa 1978). On the way the author substantially develops Roberts' theory of complicial sets itself and makes contributions to Street's theory of parity complexes. In particular, he studies a new monoidal closed structure on the category of complicial sets which he shows to be the appropriate generalisation of the (lax) Gray tensor product of 2-categories to this context. Under Street's ω-categorical nerve construction, which the author shows to be an equivalence, this tensor product coincides with those of Steiner, Crans and others.

AB - The primary purpose of this work is to characterise strict ω-categories as simplicial sets with structure. The author proves the Street-Roberts conjecture in the form formulated by Ross Street in his work on Orientals, which states that they are exactly the "complicial sets" defined and named by John Roberts in his handwritten notes of that title (circa 1978). On the way the author substantially develops Roberts' theory of complicial sets itself and makes contributions to Street's theory of parity complexes. In particular, he studies a new monoidal closed structure on the category of complicial sets which he shows to be the appropriate generalisation of the (lax) Gray tensor product of 2-categories to this context. Under Street's ω-categorical nerve construction, which the author shows to be an equivalence, this tensor product coincides with those of Steiner, Crans and others.

KW - Categories (Mathematics)

KW - Algebraic topology

M3 - Book

SN - 9780821841426

T3 - Memoirs of the American Mathematical Society

BT - Complicial sets characterising the simplicial nerves of strict ω-categories

PB - American Mathematical Society

CY - Providence, RI

ER -

Verity D. Complicial sets characterising the simplicial nerves of strict ω-categories. Providence, RI: American Mathematical Society, 2008. (Memoirs of the American Mathematical Society; 905).