scholarly journals Lie models of simplicial sets and representability of the Quillen functor

2020 ◽  
Vol 238 (1) ◽  
pp. 313-358
Author(s):  
Urtzi Buijs ◽  
Yves Félix ◽  
Aniceto Murillo ◽  
Daniel Tanré
Keyword(s):  
Simplicial Sets

Spaces of PL Manifolds and Categories of Simple Maps (AM-186)

2013 ◽  
Author(s):  
Friedhelm Waldhausen ◽  
Bjørn Jahren ◽  
John Rognes
Keyword(s):  
Main Tool ◽  
Homotopy Equivalence ◽  
Classifying Space ◽  
Deformation Retract ◽  
Simplicial Sets ◽  
Full Proof

Since its introduction by the author in the 1970s, the algebraic K-theory of spaces has been recognized as the main tool for studying parametrized phenomena in the theory of manifolds. However, a full proof of the equivalence relating the two areas has not appeared until now. This book presents such a proof, essentially completing the author's program from more than thirty years ago. The main result is a stable parametrized h-cobordism theorem, derived from a homotopy equivalence between a space of PL h-cobordisms on a space X and the classifying space of a category of simple maps of spaces having X as deformation retract. The smooth and topological results then follow by smoothing and triangulation theory. The proof has two main parts. The essence of the first part is a “desingularization,” improving arbitrary finite simplicial sets to polyhedra. The second part compares polyhedra with PL manifolds by a thickening procedure. Many of the techniques and results developed should be useful in other connections.

Examples of theories of presheaf type

2018 ◽  
Author(s):  
Olivia Caramello
Keyword(s):  
Finite Groups ◽  
Linear Independence ◽  
Geometric Theory ◽  
Vector Spaces ◽  
Linear Orders ◽  
Locally Finite ◽  
Strong Unit ◽  
Locally Finite Groups ◽  
Simplicial Sets ◽  
Separable Extensions

This chapter discusses several classical as well as new examples of theories of presheaf type from the perspective of the theory developed in the previous chapters. The known examples of theories of presheaf type that are revisited in the course of the chapter include the theory of intervals (classified by the topos of simplicial sets), the theory of linear orders, the theory of Diers fields, the theory of abstract circles (classified by the topos of cyclic sets) and the geometric theory of finite sets. The new examples include the theory of algebraic (or separable) extensions of a given field, the theory of locally finite groups, the theory of vector spaces with linear independence predicates and the theory of lattice-ordered abelian groups with strong unit.

Simplicial sets in the EAT system

1999 ◽  
Vol 33 (3) ◽  
pp. 17
Author(s):  
L. Lambán ◽  
V. Pascual ◽  
J. Rubío
Keyword(s):  
Simplicial Sets

scholarly journals A canonical enriched Adams–Hilton model for simplicial sets

2006 ◽  
Vol 207 (2) ◽  
pp. 847-875 ◽  
Author(s):  
Kathryn Hess ◽  
Paul-Eugène Parent ◽  
Jonathan Scott ◽  
Andrew Tonks
Keyword(s):  
Simplicial Sets

scholarly journals THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES

2018 ◽  
Vol 83 (04) ◽  
pp. 1667-1679
Author(s):  
MATÍAS MENNI
Keyword(s):  
Differential Geometry ◽  
Algebraic Geometry ◽  
Algebraic Topology ◽  
Full Subcategory ◽  
Sufficient Conditions ◽  
Double Negation ◽  
Synthetic Differential Geometry ◽  
Simplicial Sets ◽  
Image Position

AbstractLet ${\cal E}$ be a topos, ${\rm{Dec}}\left( {\cal E} \right) \to {\cal E}$ be the full subcategory of decidable objects, and ${{\cal E}_{\neg \,\,\neg }} \to {\cal E}$ be the full subcategory of double-negation sheaves. We give sufficient conditions for the existence of a Unity and Identity ${\cal E} \to {\cal S}$ for the two subcategories of ${\cal E}$ above, making them Adjointly Opposite. Typical examples of such ${\cal E}$ include many ‘gros’ toposes in Algebraic Geometry, simplicial sets and other toposes of ‘combinatorial’ spaces in Algebraic Topology, and certain models of Synthetic Differential Geometry.

Algebraic Homotopy Theory

1981 ◽  
Vol 33 (2) ◽  
pp. 302-319 ◽  
Author(s):  
J. F. Jardine
Keyword(s):  
Homotopy Type ◽  
Homotopy Theory ◽  
Unique Factorization ◽  
Contravariant Functor ◽  
Unique Factorization Domain ◽  
Simplicial Sets ◽  
Simplicial Set ◽  
Image Position ◽  
Algebraic Homotopy Theory

Kan and Miller have shown in [9] that the homotopy type of a finite simplicial set K can be recovered from its R-algebra of 0-forms A0K, when R is a unique factorization domain. More precisely, if is the category of simplicial sets and is the category of R-algebras there is a contravariant functorwiththe simplicial set homomorphisms from X to the simplicial R-algebra ∇, whereand the faces and degeneracies of ∇ are induced byandrespectively.

Sign in / Sign up

Export Citation Format

Share Document