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.

scholarly journals Morita homotopy theory for (∞,1)-categories and ∞-operads

2019 ◽  
Vol 31 (3) ◽  
pp. 661-684 ◽  
Author(s):  
Giovanni Caviglia ◽  
Javier J. Gutiérrez
Keyword(s):  
Homotopy Theory ◽  
Model Structure ◽  
Simplicial Sets ◽  
Simplicial Presheaves ◽  
Model Structures ◽  
Simplicial Algebras ◽  
Bousfield Localization

Abstract We prove the existence of Morita model structures on the categories of small simplicial categories, simplicial sets, simplicial operads and dendroidal sets, modelling the Morita homotopy theory of {(\infty,1)} -categories and {\infty} -operads. We give a characterization of the weak equivalences in terms of simplicial presheaves, simplicial algebras and slice categories. In the case of the Morita model structure for simplicial categories and simplicial operads, we also show that each of these model structures can be obtained as an explicit left Bousfield localization of the Bergner model structure on simplicial categories and the Cisinski–Moerdijk model structure on simplicial operads, respectively.

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.

scholarly journals A strictly commutative model for the cochain algebra of a space

2020 ◽  
Vol 156 (8) ◽  
pp. 1718-1743
Author(s):  
Birgit Richter ◽  
Steffen Sagave
Keyword(s):  
Homotopy Theory ◽  
Rational Homotopy ◽  
Graded Algebras ◽  
Differential Graded Algebra ◽  
Simplicial Sets ◽  
Differential Graded Algebras ◽  
Chain Complexes ◽  
Simplicial Set ◽  
New Construction ◽  
Integral Version

AbstractThe commutative differential graded algebra $A_{\mathrm {PL}}(X)$ of polynomial forms on a simplicial set $X$ is a crucial tool in rational homotopy theory. In this note, we construct an integral version $A^{\mathcal {I}}(X)$ of $A_{\mathrm {PL}}(X)$. Our approach uses diagrams of chain complexes indexed by the category of finite sets and injections $\mathcal {I}$ to model $E_{\infty }$ differential graded algebras (dga) by strictly commutative objects, called commutative $\mathcal {I}$-dgas. We define a functor $A^{\mathcal {I}}$ from simplicial sets to commutative $\mathcal {I}$-dgas and show that it is a commutative lift of the usual cochain algebra functor. In particular, it gives rise to a new construction of the $E_{\infty }$ dga of cochains. The functor $A^{\mathcal {I}}$ shares many properties of $A_{\mathrm {PL}}$, and can be viewed as a generalization of $A_{\mathrm {PL}}$ that works over arbitrary commutative ground rings. Working over the integers, a theorem by Mandell implies that $A^{\mathcal {I}}(X)$ determines the homotopy type of $X$ when $X$ is a nilpotent space of finite type.

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 Homotopy theory of well-generated algebraic triangulated categories

2008 ◽  
Vol 3 (1) ◽  
pp. 53-75 ◽  
Author(s):  
Gonçalo Tabuada
Keyword(s):  
Regular Cardinal ◽  
Homotopy Theory ◽  
Model Category ◽  
Triangulated Categories ◽  
Model Structure ◽  
Quillen Model Category ◽  
Quillen Model

AbstractFor every regular cardinal α, we construct a cofibrantly generated Quillen model structure on a category whose objects are essentially dg categories which are stable under suspensions, cosuspensions, cones and α-small sums.Using results of Porta, we show that the category of well-generated (algebraic) triangulated categories in the sense of Neeman is naturally enhanced by our Quillen model category.

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 theory of complete Lie algebras and Lie models of simplicial sets

2018 ◽  
Vol 11 (3) ◽  
pp. 799-825
Author(s):  
Urtzi Buijs ◽  
Yves Félix ◽  
Aniceto Murillo ◽  
Daniel Tanré
Keyword(s):  
Lie Algebras ◽  
Homotopy Theory ◽  
Simplicial Sets

scholarly journals Model structure on the universe of all types in interval type theory

2020 ◽  
pp. 1-32
Author(s):  
Simon Boulier ◽  
Nicolas Tabareau
Keyword(s):  
Type Theory ◽  
Homotopy Theory ◽  
Model Structure ◽  
Model Categories ◽  
Model Interpretation ◽  
Slight Generalization ◽  
Cubical Sets ◽  
Definition Of ◽  
Interval Type ◽  
The Universe

Abstract Model categories constitute the major context for doing homotopy theory. More recently, homotopy type theory (HoTT) has been introduced as a context for doing syntactic homotopy theory. In this paper, we show that a slight generalization of HoTT, called interval type theory (⫿TT), allows to define a model structure on the universe of all types, which, through the model interpretation, corresponds to defining a model structure on the category of cubical sets. This work generalizes previous works of Gambino, Garner, and Lumsdaine from the universe of fibrant types to the universe of all types. Our definition of ⫿TT comes from the work of Orton and Pitts to define a syntactic approximation of the internal language of the category of cubical sets. In this paper, we extend the work of Orton and Pitts by introducing the notion of degenerate fibrancy, which allows to define a fibrant replacement, at the heart of the model structure on the universe of all types. All our definitions and propositions have been formalized using the Coq proof assistant.

scholarly journals Univalence for inverse diagrams and homotopy canonicity

2014 ◽  
Vol 25 (5) ◽  
pp. 1203-1277 ◽  
Author(s):  
MICHAEL SHULMAN
Keyword(s):  
Natural Number ◽  
Type Theory ◽  
Homotopy Theory ◽  
Partial Answer ◽  
Syntactic Category ◽  
Simplicial Sets ◽  
New Models ◽  
Universe Of Sets

We describe a homotopical version of the relational and gluing models of type theory, and generalize it to inverse diagrams and oplax limits. Our method uses the Reedy homotopy theory on inverse diagrams, and relies on the fact that Reedy fibrant diagrams correspond to contexts of a certain shape in type theory. This has two main applications. First, by considering inverse diagrams in Voevodsky's univalent model in simplicial sets, we obtain new models of univalence in a number of (∞, 1)-toposes; this answers a question raised at the Oberwolfach workshop on homotopical type theory. Second, by gluing the syntactic category of univalent type theory along its global sections functor to groupoids, we obtain a partial answer to Voevodsky's homotopy-canonicity conjecture: in 1-truncated type theory with one univalent universe of sets, any closed term of natural number type is homotopic to a numeral.

Sign in / Sign up

Export Citation Format

Share Document