BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Ieke Moerdijk appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We prove a general version of Quillen's Theorem B, for actions of simplicial categories, in an arbitrary left Bousfield localization of the homotopy theory of simplicial presheaves over a site. As special cases, we recover a version of the group completion theorem in this general context, as well a version of Puppe's theorem on the stability of homotopy colimits in an infinity-topos, due to Rezk.
We prove that the category of trees $Ω$ is a test category in the sense of Grothendieck. This implies that the category of dendroidal sets is endowed with the structure of a model category Quillen-equivalent to spaces. We show that this model category structure, up to a change of cofibrations, can be obtained as an explicit left Bousfield localisation of the operadic model category structure.
For a small category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the nerve of A establishes a left Quillen equivalence between the projective (or Reedy) model structure on the former category and the covariant model structure on the latter. We compare this equivalence to a Quillen equivalence in the opposite direction previously established by Lurie. From our results we deduce that a categorical equivalence of simplicial sets induces a Quillen equivalence on the corresponding over-categories, equipped with the covariant model structures. Also, we show that versions of Quillen's Theorems A and B for infinity-categories easily follow.
For a small simplicial category A, we prove that the homotopy colimit functor from the category of simplicial diagrams on A to the category of simplicial sets over the homotopy-coherent nerve of A provides a left Quillen equivalence between the projective model structure on the former category and the covariant model structure on the latter. We compare this Quillen equivalence to the straightening-unstraightening equivalence previously established by Lurie, where the left adjoint goes in the opposite direction. The existence of left Quillen functors in both directions considerably simplifies the proof that these constructions provide Quillen equivalences. The results of this paper generalize those of part I, where A was an ordinary category. The proofs for a simplicial category are more involved and can be read independently.
We prove the existence of minimal models for fibrations between dendroidal sets in the model structure for infinity-operads, as well as in the covariant model structure for algebras and in the stable one for connective spectra. In an appendix, we explain how our arguments can be used to extend the results of Cisinski, giving the existence of minimal fibrations in model categories of presheaves over generalised Reedy categories of a rather common type. Besides some applications to the theory of algebras over infinity-operads, we also prove a gluing result for parametrized connective spectra (or Gamma-spaces).
We compare two approaches to the homotopy theory of infinity-operads. One of them, the theory of dendroidal sets, is based on an extension of the theory of simplicial sets and infinity-categories which replaces simplices by trees. The other is based on a certain homotopy theory of marked simplicial sets over the nerve of Segal's category Gamma. In this paper we prove that for operads without constants these two theories are equivalent, in the precise sense of the existence of a zig-zag of Quillen equivalences between the respective model categories.
We review the concept of a univalent fibration and show by elementary means that every Kan fibration in simplicial sets can be embedded in a univalent Kan fibration.
We will give a detailed account of why the simplicial sets model of the univalence axiom due to Voevodsky also models W-types. In addition, we will discuss W-types in categories of simplicial presheaves and an application to models of set theory.
The homotopy theory of infinity-operads is defined by extending Joyal's homotopy theory of infinity-categories to the category of dendroidal sets. We prove that the category of dendroidal sets is endowed with a model category structure whose fibrant objects are the infinity-operads (i.e. dendroidal inner Kan complexes). This extends the theory of infinity-categories in the sense that the Joyal model category structure on simplicial sets whose fibrant objects are the infinity-categories is recovered from the model category structure on dendroidal sets by simply slicing over the point.
In our paper "Dendroidal sets as models for homotopy operads" (J. Topol. 4 (2011), no. 2, 257-299, and arXiv:0902.1954), we made the wrong claim about the behaviour of the tensor product with respect to cofibrations of dendroidal sets. We added an erratum at the end of the arXiv version of loc. cit. This short note contains the proof of a technical lemma used in the erratum.
We introduce the dendroidal analogs of the notions of complete Segal space and of Segal category, and construct two appropriate model categories for which each of these notions corresponds to the property of being fibrant. We prove that these two model categories are Quillen equivalent to each other, and to the monoidal model category for infinity-operads which we constructed in an earlier paper. By slicing over the monoidal unit objects in these model categories, we derive as immediate corollaries the known comparison results between Joyal's quasi-categories, Rezk's complete Segal spaces, and Segal categories.
We give sufficient conditions for the existence of a Quillen model structure on small categories enriched in a given monoidal model category. This yields a unified treatment for the known model structures on simplicial, topological, dg- and spectral categories. Our proof is mainly based on a fundamental property of cofibrant enriched categories on two objects, stated below as the Interval Cofibrancy Theorem.
We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the following properties: it is interpretable in Martin-Lof's type theory (hence acceptable from a constructive and generalised-predicative standpoint). In addition, it is strong enough to prove the Set Compactness Theorem and the results in formal topology which make use of this theorem. Moreover, it is stable under the standard constructions from algebraic set theory, namely exact completion, realizability models, forcing as well as more general sheaf extensions. As a result, methods from our earlier work can be applied to show that this extension satisfies various derived rules, such as a derived compactness rule for Cantor space and a derived continuity rule for Baire space. Finally, we show that this extension is robust in the sense that it is also reflected by the model constructions from algebraic set theory just mentioned.
This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative category with small maps" which axiomatises the idea of a category of classes and class morphisms, together with a selected class of maps whose fibres are sets (in some axiomatic set theory). The main result of the present paper is that such predicative categories with small maps are stable under internal sheaves. We discuss the sheaf models of constructive set theory this leads to, as well as ideas for future work.
We establish a Quillen equivalence relating the homotopy theory of Segal operads and the homotopy theory of simplicial operads, from which we deduce that the homotopy coherent nerve functor is a right Quillen equivalence from the model category of simplicial operads to the model category structure for infinity-operads on the category of dendroidal sets. By slicing over the monoidal unit, this also gives the Quillen equivalence between Segal categories and simplicial categories proved by J. Bergner, as well as the Quillen equivalence between quasi-categories and simplicial categories proved by A. Joyal and J. Lurie. We also explain how this theory applies to the usual notion of operad (i.e. with a single colour) in the category of spaces.
We show how one may establish proof-theoretic results for constructive Zermelo-Fraenkel set theory, such as the compactness rule for Cantor space and the Bar Induction rule for Baire space, by constructing sheaf models and using their preservation properties.
We give sufficient conditions for homotopical localization functors to preserve algebras over coloured operads in monoidal model categories. Our approach encompasses a number of previous results about preservation of structures under localizations, such as loop spaces or infinite loop spaces, and provides new results of the same kind. For instance, under suitable assumptions, homotopical localizations preserve ring spectra (in the strict sense, not only up to homotopy), modules over ring spectra, and algebras over commutative ring spectra, as well as ring maps, module maps, and algebra maps. It is principally the treatment of module spectra and their maps that led us to the use of coloured operads (also called enriched multicategories) in this context.
We extend the classical notion of a Reedy category so as to allow non-trivial automorphisms. Our extension includes many important examples occuring in topology such as Segal's category Gamma, or the total category of a crossed simplicial group such as Connes' cyclic category Lambda. For any generalized Reedy category R and any cofibrantly generated model category E, the functor category E^R is shown to carry a canonical model structure of Reedy type.
We present a general construction of the derived category of an algebra over an operad and establish its invariance properties. A central role is played by the enveloping operad of an algebra over an operad.
We introduce the concept of a dendroidal set. This is a generalization of the notion of a simplicial set, specially suited to the study of operads in the context of homotopy theory. We define a category of trees, which extends the category $Δ$ used in simplicial sets, whose presheaf category is the category of dendroidal sets. We show that there is a closed monoidal structure on dendroidal sets which is closely related to the Boardman-Vogt tensor product of operads. Furthermore we show that each operad in a suitable model category has a coherent homotopy nerve which is a dendroidal set, extending another construction of Boardman and Vogt. There is also a notion of an inner Kan dendroidal set which is closely related to simplicial Kan complexes. Finally, we briefly indicate the theory of dendroidal objects and outline several of the applications and further theory of dendroidal sets.
The category of dendroidal sets is an extension of that of simplicial sets, suitable for defining nerves of operads rather than just of categories. In this paper, we prove some basic properties of inner Kan complexes in the category of dendroidal sets. In particular, we extend fundamental results of Boardman and Vogt, of Cordier and Porter, and of Joyal to dendroidal sets.
For any first order theory T we construct a Boolean valued model M, in which precisely the T--provable formulas hold, and in which every (Boolean valued) subset which is invariant under all automorphisms of M is definable by a first order formula. Our presentation is entirely selfcontained, and only requires familiarity with the most elementary properties of model theory.