Exponentials of non-singular simplicial sets

DOI10.4310/HHA.2022.V24.N2.A15MaRDI QIDQ2107551zbMATH OpenOpenAlexFDO

Authors Vegard Fjellbo, John Rognes

Publication date 1 December 2022

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2001.09643

zbMATH Keywords

Cartesian closed categoryexponential idealnon-singular simplicial set

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Simplicial sets, simplicial objects (18N50) Simplicial sets and complexes in algebraic topology (55U10)

Abstract: A simplicial set is non-singular if the representing map of each non-degenerate simplex is degreewise injective. The simplicial mapping set $X^K$ has $n$-simplices given by the simplicial maps $Delta[n]imesKoX$. We prove that $X^K$ is non-singular whenever $X$ is non-singular. It follows that non-singular simplicial sets form a cartesian closed category with all limits and colimits, but it is not a topos.

Recommendations

• Regular simplicial sets
• SOME CATEGORICAL ASPECTS OF SIMPLICIAL COMPLEXES
• Functional Kan simplicial sets: non-constructivity of exponentiation
• On semisimplicial sets satisfying the Kan condition
• Non-constructivity in Kan simplicial sets

Cited in

(4)

• scientific article; zbMATH DE number 3849228 (Why is no real title available?)
• Non-constructivity in Kan simplicial sets
• The étendue of a combinatorial space and its dimension
• Regular simplicial sets

This page was built for publication: Exponentials of non-singular simplicial sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2107551)