scholarly journals Props in model categories and homotopy invariance of structures

2010 ◽  
Vol 17 (1) ◽  
pp. 79-160
Author(s):  
Benoit Fresse
Keyword(s):  
General Setting ◽  
Model Category ◽  
Topological Spaces ◽  
Algebra Structure ◽  
Model Structure ◽  
Homotopy Invariance ◽  
Model Categories ◽  
Arbitrary Ring ◽  
General Argument ◽  
Simplicial Sets

Abstract We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the general argument to address the case of props in topological spaces and dg-modules over an arbitrary ring, but we give a less technical proof which applies to the category of props in simplicial sets, simplicial modules, and dg-modules over a ring of characteristic 0. We apply the model structure of props to the homotopical study of algebras over a prop. Our goal is to prove that an object 𝑋 homotopy equivalent to an algebra 𝐴 over a cofibrant prop P inherits a P-algebra structure so that 𝑋 defines a model of 𝐴 in the homotopy category of P-algebras. In the differential graded context, this result leads to a generalization of Kadeishvili's minimal model of 𝐴∞-algebras.

scholarly journals Arrow categories of monoidal model categories

2019 ◽  
Vol 125 (2) ◽  
pp. 185-198
Author(s):  
David White ◽  
Donald Yau
Keyword(s):  
Homotopy Theory ◽  
Model Category ◽  
Topological Spaces ◽  
Model Structure ◽  
Model Categories ◽  
Projective Model ◽  
Monoidal Structure ◽  
Chain Complexes

We prove that the arrow category of a monoidal model category, equipped with the pushout product monoidal structure and the projective model structure, is a monoidal model category. This answers a question posed by Mark Hovey, in the course of his work on Smith ideals. As a corollary, we prove that the projective model structure in cubical homotopy theory is a monoidal model structure. As illustrations we include numerous examples of non-cofibrantly generated monoidal model categories, including chain complexes, small categories, pro-categories, and topological spaces.

scholarly journals Homotopy Invariance of Convolution Products

2020 ◽  
Author(s):  
Steffen Sagave ◽  
Stefan Schwede
Keyword(s):  
Model Category ◽  
Convolution Product ◽  
Natural Numbers ◽  
Finite Sets ◽  
Homotopy Invariance ◽  
Simplicial Sets ◽  
Convolution Products

Abstract The purpose of this paper is to show that various convolution products are fully homotopical, meaning that they preserve weak equivalences in both variables without any cofibrancy hypothesis. We establish this property for diagrams of simplicial sets indexed by the category of finite sets and injections and for tame $M$-simplicial sets, with $M$ the monoid of injective self-maps of the positive natural numbers. We also show that a certain convolution product studied by Nikolaus and the 1st author is fully homotopical. This implies that every presentably symmetric monoidal $\infty $-category can be represented by a symmetric monoidal model category with a fully homotopical monoidal product.

scholarly journals SYMMETRIC OPERADS IN ABSTRACT SYMMETRIC SPECTRA

2018 ◽  
Vol 18 (4) ◽  
pp. 707-758 ◽  
Author(s):  
Dmitri Pavlov ◽  
Jakob Scholbach
Keyword(s):  
Algebraic Geometry ◽  
Commutative Ring ◽  
Model Category ◽  
Obstruction Theory ◽  
Model Structure ◽  
Simplicial Sets ◽  
Ring Spectra ◽  
Symmetric Spectra ◽  
Derived Algebraic Geometry ◽  
Quillen Equivalent

This paper sets up the foundations for derived algebraic geometry, Goerss–Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la Toën–Vezzosi in an abstract category of spectra. We also answer in the affirmative a question of Goerss and Hopkins by showing that the obstruction theory for operadic algebras in spectra can be done in the generality of spectra in an (essentially) arbitrary model category. We construct strictly commutative simplicial ring spectra representing a given cohomology theory and illustrate this with a strictly commutative motivic ring spectrum representing higher order products on Deligne cohomology. These results are obtained by first establishing Smith’s stable positive model structure for abstract spectra and then showing that this category of spectra possesses excellent model-theoretic properties: we show that all colored symmetric operads in symmetric spectra valued in a symmetric monoidal model category are admissible, i.e., algebras over such operads carry a model structure. This generalizes the known model structures on commutative ring spectra and $\text{E}_{\infty }$-ring spectra in simplicial sets or motivic spaces. We also show that any weak equivalence of operads in spectra gives rise to a Quillen equivalence of their categories of algebras. For example, this extends the familiar strictification of $\text{E}_{\infty }$-rings to commutative rings in a broad class of spectra, including motivic spectra. We finally show that operadic algebras in Quillen equivalent categories of spectra are again Quillen equivalent. This paper is also available at arXiv:1410.5699v2.

scholarly journals Another approach to the Kan–Quillen model structure

2019 ◽  
Vol 15 (1) ◽  
pp. 143-165
Author(s):  
Sean Moss
Keyword(s):  
Careful Analysis ◽  
Combinatorial Proof ◽  
Topological Spaces ◽  
Model Structure ◽  
Simplicial Sets ◽  
Simplicial Set ◽  
New Construction ◽  
Weak Homotopy ◽  
Basic Facts ◽  
Quillen Model

Abstract By careful analysis of the embedding of a simplicial set into its image under Kan’s $$\mathop {\mathop {\mathsf {Ex}}^\infty }$$Ex∞ functor we obtain a new and combinatorial proof that it is a weak homotopy equivalence. Moreover, we obtain a presentation of it as a strong anodyne extension. From this description we can quickly deduce some basic facts about $$\mathop {\mathop {\mathsf {Ex}}^\infty }$$Ex∞ and hence provide a new construction of the Kan–Quillen model structure on simplicial sets, one which avoids the use of topological spaces or minimal fibrations.

Closed model categories for the n-type of spaces and simplicial sets

1995 ◽  
Vol 118 (1) ◽  
pp. 93-103 ◽  
Author(s):  
Carmen Elvira-Donazar ◽  
Luis-Javier Hernandez-Paricio
Keyword(s):  
Base Point ◽  
Category Structure ◽  
Model Category ◽  
Homotopy Groups ◽  
Weak Equivalence ◽  
Model Categories ◽  
Closed Model ◽  
Simplicial Sets ◽  
Closed Model Categories ◽  
Closed Model Category

AbstractFor each integer n ≥ 0, we give a distinct closed model category structure to the categories of spaces and of simplicial sets. Recall that a non-empty map is said to be a weak equivalence if it induces isomorphisms on the homotopy groups for any choice of base point. Putting the condition on dimensions ≥ n, we have the notion of a weak n-equivalence which is at the base of the nth closed model category structure given here.

Cohomology with coefficients in symmetric cat-groups. An extension of Eilenberg–MacLane's classification theorem

1993 ◽  
Vol 114 (1) ◽  
pp. 163-189 ◽  
Author(s):  
M. Bullejos ◽  
P. Carrasco ◽  
A. M. Cegarra
Keyword(s):  
Abelian Group ◽  
Homotopy Type ◽  
Abelian Groups ◽  
Group Structure ◽  
Cohomology Theory ◽  
Classification Theorem ◽  
Topological Spaces ◽  
Simplicial Sets

AbstractIn this paper we use Takeuchy–Ulbrich's cohomology of complexes of categories with abelian group structure to introduce a cohomology theory for simplicial sets, or topological spaces, with coefficients in symmetric cat-groups . This cohomology is the usual one when abelian groups are taken as coefficients, and the main topological significance of this cohomology is the fact that it is equivalent to the reduced cohomology theory defined by a Ω-spectrum, {}, canonically associated to . We use the spaces to prove that symmetric cat-groups model all homotopy type of spaces X with Πi(X) = 0 for all i ╪ n, n + 1 and n ≥ 3, and then we extend Eilenberg–MacLane's classification theorem to those spaces: .

Lines and Hyperplanes associated with Families of Closed and Bounded Sets in Conjugate Banach Spaces

1970 ◽  
Vol 22 (5) ◽  
pp. 933-938
Author(s):  
M. Edelstein
Keyword(s):  
General Setting ◽  
Locally Convex Space ◽  
Finite Family ◽  
Topological Spaces ◽  
Compact Sets ◽  
Straight Line ◽  
Straight Lines ◽  
Bounded Sets ◽  
Infinite Set ◽  
Locally Convex

Let be a family of sets in a linear space X. A hyperplane π is called a k-secant of if π intersects exactly k members of . The existence of k-secants for families of compact sets in linear topological spaces has been discussed in a number of recent papers (cf. [3–7]). For X normed (and a finite family of two or more disjoint non-empty compact sets) it was proved [5] that if the union of all members of is an infinite set which is not contained in any straight line of X, then has a 2-secant. This result and related ones concerning intersections of members of by straight lines have since been extended in [4] to the more general setting of a Hausdorff locally convex space.

Model Structures for the 𝔸1-homotopy Category

2019 ◽  
pp. 175-212
Author(s):  
Christian Haesemeyer ◽  
Charles A. Weibel
Keyword(s):  
Full Subcategory ◽  
Homotopy Category ◽  
Symmetric Power ◽  
Model Structure ◽  
Model Categories ◽  
Simplicial Presheaves ◽  
Basic Ideas ◽  
Quillen Model ◽  
Model Structures ◽  
Bousfield Localization

This chapter provides the 𝔸1-local projective model structure on the categories of simplicial presheaves and simplicial presheaves with transfers. These model categories, written as Δ‎opPshv(Sm)𝔸1 and Δ‎op PST(Sm)𝔸1, are first defined. Their respective homotopy categories are Ho(Sm) and the full subcategory DM eff nis ≤0 of DM eff nis. Afterward, this chapter introduces the notions of radditive presheaves and ̅Δ‎-closed classes, and develops their basic properties. The theory of ̅Δ‎-closed classes is needed because the extension of symmetric power functors to simplicial radditive presheaves is not a left adjoint. This chapter uses many of the basic ideas of Quillen model categories, which is a category equipped with three classes of morphisms satisfying five axioms. In addition, much of the material in this chapter is based upon the technique of Bousfield localization.

scholarly journals Dwyer–Kan homotopy theory for cyclic operads

2021 ◽  
pp. 1-30
Author(s):  
Gabriel C. Drummond-Cole ◽  
Philip Hackney
Keyword(s):  
Homotopy Theory ◽  
Forgetful Functor ◽  
General Definition ◽  
Model Structure ◽  
Simplicial Sets ◽  
Explicit Formulae

Abstract We introduce a general definition for coloured cyclic operads over a symmetric monoidal ground category, which has several appealing features. The forgetful functor from coloured cyclic operads to coloured operads has both adjoints, each of which is relatively simple. Explicit formulae for these adjoints allow us to lift the Cisinski–Moerdijk model structure on the category of coloured operads enriched in simplicial sets to the category of coloured cyclic operads enriched in simplicial sets.

Sign in / Sign up

Export Citation Format

Share Document