arXiv Open Access 2023

Cubical sites as Eilenberg-Zilber categories

Timothy Campion
Lihat Sumber

Abstrak

We show that various cube categories (without diagonals, but with symmetries / connections / reversals) are Eilenberg-Zilber categories. This generalizes a result of Isaacson for one particular cubical site. Our method does not involve direct verification of any absolute pushout diagrams. While we are at it, we record some folklore descriptions of cube categories with diagonals and determine exactly which of these are EZ categories. Beforehand, we develop some general theory of Eilenberg-Zilber categories. We show that a mild generalization of the EZ categories of Berger and Moerdijk are in fact characterized (among a broad class of ``generalized Reedy categories") by the satisfaction of the Eilenberg-Zilber lemma, generalizing a theorem of Bergner and Rezk in the strict Reedy case. We also introduce a mild strengthening of Cisinski's notion of a \emph{catégorie squelettique}, and show that any such category satisfies the Eilenberg-Zilber lemma. It is this tool which allows us to avoid checking absolute pushouts by hand.

Topik & Kata Kunci

Penulis (1)

T

Timothy Campion

Format Sitasi

Campion, T. (2023). Cubical sites as Eilenberg-Zilber categories. https://arxiv.org/abs/2303.06206

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2023
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓