Showing 1–50 of 56 results for author: Moerdijk, I

Profinite completions of topological operads

Authors: Thomas Blom, Ieke Moerdijk

Abstract: We show that the particular profinite completion used by Boavida-Horel-Robertson in their study of the Grothendieck-Teichmüller group fits in the framework of profinite completion as a left Quillen functor. More precisely, we construct a model category of profinite up-to-homotopy operads based on dendroidal objects in Quick's model category of profinite spaces and show that the construction of Boa… ▽ More We show that the particular profinite completion used by Boavida-Horel-Robertson in their study of the Grothendieck-Teichmüller group fits in the framework of profinite completion as a left Quillen functor. More precisely, we construct a model category of profinite up-to-homotopy operads based on dendroidal objects in Quick's model category of profinite spaces and show that the construction of Boavida-Horel-Robertson extends to a left Quillen functor into this model category. We also characterize the underlying $\infty$-category of this model category and obtain a Dwyer-Kan style characterization of the weak equivalences between such profinite up-to-homotopy operads. Since this model category of profinite up-to-homotopy operads is Quillen equivalent to the one considered in our earlier paper "Profinite $\infty$-operads", we obtain analogous results in that setting. △ Less

Submitted 12 September, 2024; v1 submitted 19 December, 2023; originally announced December 2023.

Comments: v2: Changed title and introduction, other minor changes. 45 pages

Report number: CPH-GEOTOP-DNRF151

A small catalogue of En-operads

Authors: André Beuckelmann, Ieke Moerdijk

Abstract: In this largely expository paper, we will present a list of En -operads and give complete, and in some cases new, proofs of the equivalences between these operads. In this largely expository paper, we will present a list of En -operads and give complete, and in some cases new, proofs of the equivalences between these operads. △ Less

Submitted 12 October, 2023; v1 submitted 7 December, 2022; originally announced December 2022.

Comments: The statement of Lemma 3.8 has been corrected. This does not affect the other results in the paper

MSC Class: 55P48

On the equivalence of the Lurie's $\infty$-operads and dendroidal $\infty$-operads

Authors: Vladimir Hinich, Ieke Moerdijk

Abstract: In this paper we prove the equivalence of two symmetric monoidal $\infty$-categories of $\infty$-operads, the one defined in Lurie's book on Higher Algebra and the one based on dendroidal spaces. V.2 Some corrections made and exposition slightly altered. In this paper we prove the equivalence of two symmetric monoidal $\infty$-categories of $\infty$-operads, the one defined in Lurie's book on Higher Algebra and the one based on dendroidal spaces. V.2 Some corrections made and exposition slightly altered. △ Less

Submitted 9 October, 2024; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: 31 pages, the final version, accepted for publication by Journal of Topology

MSC Class: 18N70

On the additivity of the little cubes operads

Authors: Miguel Barata, Ieke Moerdijk

Abstract: We give a new proof of Dunn's additivity for the little $n$-cubes operads $C_n$, which has the advantage of being considerably shorter than the ones in the literature. At the end we remark on how our proof can be adjusted to work for the tensor product of a finite number of factors. We give a new proof of Dunn's additivity for the little $n$-cubes operads $C_n$, which has the advantage of being considerably shorter than the ones in the literature. At the end we remark on how our proof can be adjusted to work for the tensor product of a finite number of factors. △ Less

Submitted 7 October, 2024; v1 submitted 25 May, 2022; originally announced May 2022.

Comments: 8 pages, 2 figures. We have added some extra remarks and improved the exposition; the proof of Lemma 5 has been fixed

Partition complexes and trees

Authors: Gijs Heuts, Ieke Moerdijk

Abstract: We construct a homotopy initial functor from the partition complex of a finite set $A$ to a category of trees with leaves labelled by $A$. As an application, this provides an equivalence between different bar constructions of an operad. In the differential graded case, this gives a very elementary proof of an equivalence originally due to Fresse. We construct a homotopy initial functor from the partition complex of a finite set $A$ to a category of trees with leaves labelled by $A$. As an application, this provides an equivalence between different bar constructions of an operad. In the differential graded case, this gives a very elementary proof of an equivalence originally due to Fresse. △ Less

Submitted 15 December, 2021; originally announced December 2021.

Profinite $\infty$-operads

Authors: Thomas Blom, Ieke Moerdijk

Abstract: We show that a profinite completion functor for (simplicial or topological) operads with good homotopical properties can be constructed as a left Quillen functor from an appropriate model category of infinity-operads to a certain model category of profinite infinity-operads. The construction is based on a notion of lean infinity-operad, and we characterize those infinity-operads weakly equivalent… ▽ More We show that a profinite completion functor for (simplicial or topological) operads with good homotopical properties can be constructed as a left Quillen functor from an appropriate model category of infinity-operads to a certain model category of profinite infinity-operads. The construction is based on a notion of lean infinity-operad, and we characterize those infinity-operads weakly equivalent to lean ones in terms of homotopical finiteness properties. Several variants of the construction are also discussed, such as the cases of unital (or closed) infinity-operads and of infinity-categories. △ Less

Submitted 21 July, 2021; originally announced July 2021.

Comments: 41 pages

MSC Class: 18M60; 18M75; 18N40; 18N60

Homology of infinity-operads

Authors: Eric Hoffbeck, Ieke Moerdijk

Abstract: In a first part of this paper, we introduce a homology theory for infinity-operads and for dendroidal spaces which extends the usual homology of differential graded operads defined in terms of the bar construction, and we prove some of its basic properties. In a second part, we define general bar and cobar constructions. These constructions send infinity-operads to infinity-cooperads and vice vers… ▽ More In a first part of this paper, we introduce a homology theory for infinity-operads and for dendroidal spaces which extends the usual homology of differential graded operads defined in terms of the bar construction, and we prove some of its basic properties. In a second part, we define general bar and cobar constructions. These constructions send infinity-operads to infinity-cooperads and vice versa, and define an adjoint bar-cobar (or "Koszul") duality. Somewhat surprisingly, this duality is shown to hold much more generally between arbitrary presheaves and copresheaves on the category of trees defining infinity-operads. We emphasize that our methods are completely elementary and explicit. △ Less

Submitted 25 May, 2021; originally announced May 2021.

Comments: 25 pages

MSC Class: 18N70; 55N35; 18M70

Simplicial model structures on pro-categories

Authors: Thomas Blom, Ieke Moerdijk

Abstract: We describe a method for constructing simplicial model structures on ind- and pro-categories. Our method is particularly useful for constructing "profinite" analogues of known model categories. Our construction quickly recovers Morel's model structure for pro-p spaces and Quick's model structure for profinite spaces, but we will show that it can also be applied to construct many interesting new mo… ▽ More We describe a method for constructing simplicial model structures on ind- and pro-categories. Our method is particularly useful for constructing "profinite" analogues of known model categories. Our construction quickly recovers Morel's model structure for pro-p spaces and Quick's model structure for profinite spaces, but we will show that it can also be applied to construct many interesting new model structures. In addition, we study some general properties of our method, such as its functorial behaviour and its relation to Bousfield localization. We compare our construction to the infinity-categorical approach to ind- and pro-categories in an appendix. △ Less

Submitted 24 May, 2022; v1 submitted 16 September, 2020; originally announced September 2020.

Comments: 44 pages; v2: improved exposition

MSC Class: 55U35; 18G55

Journal ref: Algebr. Geom. Topol. 23 (2023) 3849-3908

Closed dendroidal sets and unital operads

Authors: Ieke Moerdijk

Abstract: We discuss a variant of the category of dendroidal sets, the so-called closed dendroidal sets which are indexed by trees without leaves. This category carries a Quillen model structure which behaves better than the one on general dendroidal sets, mainly because it satisfies the pushout-product property, hence induces a symmetric monoidal structure on its homotopy category. We also study complete S… ▽ More We discuss a variant of the category of dendroidal sets, the so-called closed dendroidal sets which are indexed by trees without leaves. This category carries a Quillen model structure which behaves better than the one on general dendroidal sets, mainly because it satisfies the pushout-product property, hence induces a symmetric monoidal structure on its homotopy category. We also study complete Segal style model structures on closed dendroidal spaces, and various Quillen adjunctions to model categories on (all) dendroidal sets or spaces. As a consequence, we deduce a Quillen equivalence from closed dendroidal sets to the category of unital simplicial operads, as well as to that of simplicial operads which are unital up-to-homotopy. The proofs exhibit several new combinatorial features of categories of closed trees. △ Less

Submitted 14 November, 2018; originally announced November 2018.

An extension of Quillen's Theorem B

Authors: Ieke Moerdijk, Joost Nuiten

Abstract: 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 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. △ Less

Submitted 5 April, 2018; originally announced April 2018.

Comments: 16 pages

Journal ref: Algebr. Geom. Topol. 20 (2020) 1769-1794

Shuffles of trees

Authors: Eric Hoffbeck, Ieke Moerdijk

Abstract: We discuss a notion of shuffle for trees which extends the usual notion of a shuffle for two natural numbers. We give several equivalent descriptions, and prove some algebraic and combinatorial properties. In addition, we characterize shuffles in terms of open sets in a topological space associated to a pair of trees. Our notion of shuffle is motivated by the theory of operads and occurs in the th… ▽ More We discuss a notion of shuffle for trees which extends the usual notion of a shuffle for two natural numbers. We give several equivalent descriptions, and prove some algebraic and combinatorial properties. In addition, we characterize shuffles in terms of open sets in a topological space associated to a pair of trees. Our notion of shuffle is motivated by the theory of operads and occurs in the theory of dendroidal sets, but our presentation is independent and entirely self-contained. △ Less

Submitted 10 May, 2017; originally announced May 2017.

Comments: 18 pages

The dendroidal category is a test category

Authors: Dimitri Ara, Denis-Charles Cisinski, Ieke Moerdijk

Abstract: 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. 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. △ Less

Submitted 25 June, 2018; v1 submitted 21 March, 2017; originally announced March 2017.

Comments: 15 pages, v2: minor modifications, final version

Journal ref: Math. Proc. Camb. Phil. Soc. 167 (2019) 107-121

Dendroidal spaces, $Γ$-spaces and the special Barratt-Priddy-Quillen theorem

Authors: Pedro Boavida de Brito, Ieke Moerdijk

Abstract: We study the covariant model structure on dendroidal spaces and establish direct relations to the homotopy theory of algebras over a simplicial operad as well as to the homotopy theory of special $Γ$-spaces. As an important tool in the latter comparison, we present a sharpening of the classical Barratt-Priddy-Quillen theorem. We study the covariant model structure on dendroidal spaces and establish direct relations to the homotopy theory of algebras over a simplicial operad as well as to the homotopy theory of special $Γ$-spaces. As an important tool in the latter comparison, we present a sharpening of the classical Barratt-Priddy-Quillen theorem. △ Less

Submitted 23 January, 2017; originally announced January 2017.

Comments: 34 pages

Exact completion of path categories and algebraic set theory -- Part I: Exact completion of path categories

Authors: Benno van den Berg, Ieke Moerdijk

Abstract: We introduce the notion of a "category with path objects", as a slight strengthening of Kenneth Brown's classic notion of a "category of fibrant objects". We develop the basic properties of such a category and its associated homotopy category. Subsequently, we show how the exact completion of this homotopy category can be obtained as the homotopy category associated to a larger category with path… ▽ More We introduce the notion of a "category with path objects", as a slight strengthening of Kenneth Brown's classic notion of a "category of fibrant objects". We develop the basic properties of such a category and its associated homotopy category. Subsequently, we show how the exact completion of this homotopy category can be obtained as the homotopy category associated to a larger category with path objects, obtained by freely adjoining certain homotopy quotients. In a second part of this paper, we will present an application to models of constructive set theory. Although our work is partly motivated by recent developments in homotopy type theory, this paper is written purely in the language of homotopy theory and category theory, and we do not presuppose any familiarity with type theory on the side of the reader. △ Less

Submitted 20 June, 2017; v1 submitted 8 March, 2016; originally announced March 2016.

Comments: This is the same version as v3. The main differences with v2 are: we have deleted Corollary 3.20 and the section on W-types

MSC Class: 03E70; 03F50; 18A15; 18B15; 18C50; 68Q55

Left fibrations and homotopy colimits II

Authors: Gijs Heuts, Ieke Moerdijk

Abstract: 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… ▽ More 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. △ Less

Submitted 3 February, 2016; originally announced February 2016.

Report number: CPH-SYM-DNRF92

Minimal fibrations of dendroidal sets

Authors: Ieke Moerdijk, Joost Nuiten

Abstract: 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 ove… ▽ More 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). △ Less

Submitted 3 September, 2015; originally announced September 2015.

Journal ref: Algebr. Geom. Topol. 16 (2016) 3581-3614

Univalent completion

Authors: Benno van den Berg, Ieke Moerdijk

Abstract: 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 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. △ Less

Submitted 17 August, 2015; originally announced August 2015.

Note on the tensor product of dendroidal sets

Authors: Denis-Charles Cisinski, Ieke Moerdijk

Abstract: 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. 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. △ Less

Submitted 25 March, 2014; originally announced March 2014.

Left fibrations and homotopy colimits

Authors: Gijs Heuts, Ieke Moerdijk

Abstract: 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 di… ▽ More 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. △ Less

Submitted 3 February, 2016; v1 submitted 3 August, 2013; originally announced August 2013.

Comments: Version 4: Added Quillen's Theorem B for infinity-categories. Version 3: We thank Joost Nuiten for pointing out an oversight in the proof of Lemma 7.2. We have fixed this and sharpened the statement and proof of Lemma 7.3. Version 2: Added a section on homotopy invariance of the covariant model structure and a section on Quillen's Theorem A for infinity-categories

W-types in Homotopy Type Theory

Authors: Benno van den Berg, Ieke Moerdijk

Abstract: 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. 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. △ Less

Submitted 25 November, 2015; v1 submitted 10 July, 2013; originally announced July 2013.

Comments: We have corrected the statement of Theorem 3.4. We thank Christian Sattler for alerting us to the error in the original version

MSC Class: 03B15; 18G30; 68N18

On the equivalence between Lurie's model and the dendroidal model for infinity-operads

Authors: Gijs Heuts, Vladimir Hinich, Ieke Moerdijk

Abstract: 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 const… ▽ More 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. △ Less

Submitted 29 January, 2015; v1 submitted 15 May, 2013; originally announced May 2013.

The Axiom of Multiple Choice and Models for Constructive Set Theory

Authors: Benno van den Berg, Ieke Moerdijk

Abstract: 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… ▽ More 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. △ Less

Submitted 26 September, 2013; v1 submitted 18 April, 2012; originally announced April 2012.

MSC Class: 03E25; 03F50; 18F20

On the homotopy theory of enriched categories

Authors: Clemens Berger, Ieke Moerdijk

Abstract: 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 Cofibran… ▽ More 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. △ Less

Submitted 8 April, 2013; v1 submitted 10 January, 2012; originally announced January 2012.

Comments: v3: statement of Lemma 2.15 corrected

MSC Class: 55U35; 18D20

Journal ref: Quart. J. Math. 64 (2013), 805-846

Dendroidal sets and simplicial operads

Authors: Denis-Charles Cisinski, Ieke Moerdijk

Abstract: 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… ▽ More 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. △ Less

Submitted 5 September, 2011; originally announced September 2011.

Dendroidal Segal spaces and infinity-operads

Authors: Denis-Charles Cisinski, Ieke Moerdijk

Abstract: 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.… ▽ More 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. △ Less

Submitted 22 March, 2013; v1 submitted 24 October, 2010; originally announced October 2010.

Comments: We replaced a wrong technical lemma by a correct proposition at the begining of Section 8. This does not affect the main results of this article (in particular, the end of Section 8 is unchanged). To appear in J. Topol

MSC Class: 55P48; 55U10; 55U40; 18D10; 18D50; 18G30

Derived rules for predicative set theory: an application of sheaves

Authors: Benno van den Berg, Ieke Moerdijk

Abstract: 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 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. △ Less

Submitted 16 November, 2011; v1 submitted 18 September, 2010; originally announced September 2010.

MSC Class: 03F50; 18F10; 18F20

Aspects of Predicative Algebraic Set Theory III: Sheaves

Authors: Benno van den Berg, Ieke Moerdijk

Abstract: 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 (… ▽ More 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. △ Less

Submitted 16 November, 2011; v1 submitted 7 December, 2009; originally announced December 2009.

MSC Class: 18F20; 03F50; 03E70

Dendroidal sets as models for homotopy operads

Authors: Denis-Charles Cisinski, Ieke Moerdijk

Abstract: 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 mod… ▽ More 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. △ Less

Submitted 25 March, 2014; v1 submitted 11 February, 2009; originally announced February 2009.

Comments: This is essentially the published version, except that we added an erratum at the end of the paper concerning the behaviour of cofibrations with respect to the tensor product of dendroidal sets

MSC Class: 55P48; 55U10; 55U40; 18D10; 18D50; 18G30

Journal ref: Journal of Topology 4 (2011), no. 2, 257-299

W-types in sheaves

Authors: Benno van den Berg, Ieke Moerdijk

Abstract: We give a concrete description of W-types in categories of sheaves. We give a concrete description of W-types in categories of sheaves. △ Less

Submitted 14 October, 2008; originally announced October 2008.

Comments: 7 pages

MSC Class: 18F20; 03C90

On an extension of the notion of Reedy category

Authors: Clemens Berger, Ieke Moerdijk

Abstract: 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… ▽ More 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. △ Less

Submitted 19 September, 2008; originally announced September 2008.

MSC Class: 18G55; 55U35 (Primary); 18G30; 20N99 (Secondary)

Journal ref: Math. Z. 269 (2011), 977-1004

Localization of algebras over coloured operads

Authors: Carles Casacuberta, Javier J. Gutierrez, Ieke Moerdijk, Rainer M. Vogt

Abstract: 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 localiz… ▽ More 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. △ Less

Submitted 24 June, 2008; originally announced June 2008.

Comments: 34 pages

MSC Class: 55P43; 18D50; 55P60

Journal ref: Proceedings of the London Mathematical Society (3) 101 (2010), no. 1, 105-136

On the universal enveloping algebra of a Lie-Rinehart algebra

Authors: I. Moerdijk, J. Mrcun

Abstract: We review the extent to which the universal enveloping algebra of a Lie-Rinehart algebra resembles a Hopf algebra, and refer to this structure as a Rinehart bialgebra. We then prove a Cartier-Milnor-Moore type theorem for such Rinehart bialgebras. We review the extent to which the universal enveloping algebra of a Lie-Rinehart algebra resembles a Hopf algebra, and refer to this structure as a Rinehart bialgebra. We then prove a Cartier-Milnor-Moore type theorem for such Rinehart bialgebras. △ Less

Submitted 23 June, 2008; v1 submitted 25 January, 2008; originally announced January 2008.

MSC Class: 17B35; 16W30

Journal ref: published as: On the universal enveloping algebra of a Lie algebroid. Proc. Amer. Math. Soc. 138 (2010) 3135-3145

On the derived category of an algebra over an operad

Authors: Clemens Berger, Ieke Moerdijk

Abstract: 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 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. △ Less

Submitted 25 January, 2008; v1 submitted 17 January, 2008; originally announced January 2008.

Comments: References and remark 2.5 added

MSC Class: 18D50 (Primary); 18G55; 55U35 (Secondary)

Journal ref: Georgian Math. J. 16 (2009), 13-28

Aspects of Predicative Algebraic Set Theory II: Realizability

Authors: Benno van den Berg, Ieke Moerdijk

Abstract: This is the second in a series of papers on the relation between algebraic set theory and predicative formal systems. In part I, we introduced the notion of a predicative category of small maps and obtained the result that such categories always contain a model of set theory. In the present paper, we show that the familiar realizability models of the constructive set theories CZF and IZF can be… ▽ More This is the second in a series of papers on the relation between algebraic set theory and predicative formal systems. In part I, we introduced the notion of a predicative category of small maps and obtained the result that such categories always contain a model of set theory. In the present paper, we show that the familiar realizability models of the constructive set theories CZF and IZF can be obtained as an application of this result. For this purpose, we show that predicative categories with small maps are closed under an internal notion of realizability. △ Less

Submitted 15 January, 2008; originally announced January 2008.

MSC Class: 03F50; 03E70; 18A15

Aspects of Predicative Algebraic Set Theory I: Exact Completion

Authors: Benno van den Berg, Ieke Moerdijk

Abstract: This is the first in a series of three papers on Algebraic Set Theory. Its main purpose is to lay the necessary groundwork for the next two parts, one on Realisability and the other on Sheaf Models in Algebraic Set Theory. This is the first in a series of three papers on Algebraic Set Theory. Its main purpose is to lay the necessary groundwork for the next two parts, one on Realisability and the other on Sheaf Models in Algebraic Set Theory. △ Less

Submitted 16 October, 2007; originally announced October 2007.

Comments: Submitted to Ann. Pure Appl. Logic

MSC Class: 03E70; 03F50; 18A35; 18C50

A Unified Approach to Algebraic Set Theory

Authors: Benno van den Berg, Ieke Moerdijk

Abstract: The paper provides an introduction to the field of Algebraic Set Theory (AST). AST is a flexible categorical framework for studying different kinds of set theories: both classical and constructive, predicative and impredicative. We discuss the basic results in this area, with a particular emphasis on applications to the constructive set theories IZF and CZF. (This paper is a summary of a tutoria… ▽ More The paper provides an introduction to the field of Algebraic Set Theory (AST). AST is a flexible categorical framework for studying different kinds of set theories: both classical and constructive, predicative and impredicative. We discuss the basic results in this area, with a particular emphasis on applications to the constructive set theories IZF and CZF. (This paper is a summary of a tutorial on categorical logic given by the second named author at the Logic Colloquium 2006 in Nijmegen.) △ Less

Submitted 16 October, 2007; originally announced October 2007.

Comments: To appear in the proceedings of the Logic Colloquium '06

MSC Class: 03C90; 03E70; 03F50

On inner Kan complexes in the category of dendroidal sets

Authors: Ieke Moerdijk, Ittay Weiss

Abstract: 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. 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. △ Less

Submitted 1 May, 2007; v1 submitted 10 January, 2007; originally announced January 2007.

Comments: 41 pages. Minor corrections to Sections 4 and 9

MSC Class: 55P48; 55U10; 55U40 (Primary) 18D50; 18D10; 18G30 (Secondary)

Journal ref: Advances in Mathematics Volume 221, Issue 2, 1 June 2009, Pages 343-389

Dendroidal Sets

Authors: Ieke Moerdijk, Ittay Weiss

Abstract: 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… ▽ More 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. △ Less

Submitted 1 May, 2007; v1 submitted 10 January, 2007; originally announced January 2007.

Comments: 23 pages. Minor correction in Section 7

MSC Class: 55P48; 55U10; 55U40 (Primary); 18D50; 18D10; 18G30 (Secondary)

Journal ref: Algebr. Geom. Topol. 7 (2007) 1441-1470

Resolution of coloured operads and rectification of homotopy algebras

Authors: Clemens Berger, Ieke Moerdijk

Abstract: We provide general conditions under which the algebras for a coloured operad in a monoidal model category carry a Quillen model structure, and prove a Comparison Theorem to the effect that a weak equivalence between suitable such operads induces a Quillen equivalence between their categories of algebras. We construct an explicit Boardman-Vogt style cofibrant resolution for coloured operads, ther… ▽ More We provide general conditions under which the algebras for a coloured operad in a monoidal model category carry a Quillen model structure, and prove a Comparison Theorem to the effect that a weak equivalence between suitable such operads induces a Quillen equivalence between their categories of algebras. We construct an explicit Boardman-Vogt style cofibrant resolution for coloured operads, thereby giving a uniform approach to algebraic structures up to homotopy over coloured operads. The Comparison Theorem implies that such structures can be rectified. △ Less

Submitted 17 January, 2008; v1 submitted 26 December, 2005; originally announced December 2005.

Comments: published version

MSC Class: 18D50 (Primary); 18G55; 55U35 (Secondary)

Journal ref: Contemp. Math. 431 (2007) 31-58

The Boardman-Vogt resolution of operads in monoidal model categories

Authors: Clemens Berger, Ieke Moerdijk

Abstract: We extend the W-construction of Boardman and Vogt to operads of an arbitrary monoidal model category with suitable interval, and show that it provides a cofibrant resolution for well-pointed sigma-cofibrant operads. The standard simplicial resolution of Godement as well as the cobar-bar chain resolution are shown to be particular instances of this generalised W-construction. We extend the W-construction of Boardman and Vogt to operads of an arbitrary monoidal model category with suitable interval, and show that it provides a cofibrant resolution for well-pointed sigma-cofibrant operads. The standard simplicial resolution of Godement as well as the cobar-bar chain resolution are shown to be particular instances of this generalised W-construction. △ Less

Submitted 3 January, 2006; v1 submitted 8 February, 2005; originally announced February 2005.

MSC Class: Primary 18D50; Secondary 18G55; 55U35

Journal ref: Topology 45 (2006) 807-849

On the developability of subalgebroids

Authors: I. Moerdijk, J. Mrcun

Abstract: In this paper, the Almeida-Molino obstruction to developability of transversely complete foliations is extended to Lie groupoids. In this paper, the Almeida-Molino obstruction to developability of transversely complete foliations is extended to Lie groupoids. △ Less

Submitted 28 June, 2004; originally announced June 2004.

MSC Class: 22A22; 22E60; 58H05

Journal ref: Adv. Math. 210 (2007) 1-21

On the integrability of subalgebroids

Authors: I. Moerdijk, J. Mrcun

Abstract: Let G be a Lie groupoid with Lie algebroid g. It is known that, unlike in the case of Lie groups, not every subalgebroid of g can be integrated by a subgroupoid of G. In this paper we study conditions on the invariant foliation defined by a given subalgebroid under which such an integration is possible. We also consider the problem of integrability by closed subgroupoids, and we give conditions… ▽ More Let G be a Lie groupoid with Lie algebroid g. It is known that, unlike in the case of Lie groups, not every subalgebroid of g can be integrated by a subgroupoid of G. In this paper we study conditions on the invariant foliation defined by a given subalgebroid under which such an integration is possible. We also consider the problem of integrability by closed subgroupoids, and we give conditions under which the closure of a subgroupoid is again a subgroupoid. △ Less

Submitted 28 June, 2004; originally announced June 2004.

MSC Class: 22A22; 22E60; 58H05

Journal ref: Adv. Math. 204 (2006) 101-115

Deformations of Lie brackets: cohomological aspects

Authors: M. Crainic, I. Moerdijk

Abstract: We introduce a new cohomology for Lie algebroids, and prove that it provides a differential graded Lie algebra which ``controls'' deformations of the structure bracket of the algebroid. We also have a closer look at various special cases such as Lie algebras, Poisson manifolds, foliations, Lie algebra actions on manifolds. We introduce a new cohomology for Lie algebroids, and prove that it provides a differential graded Lie algebra which ``controls'' deformations of the structure bracket of the algebroid. We also have a closer look at various special cases such as Lie algebras, Poisson manifolds, foliations, Lie algebra actions on manifolds. △ Less

Submitted 9 June, 2005; v1 submitted 25 March, 2004; originally announced March 2004.

Comments: 17 pages, Revised version: small corrections, more references added

Families of Hopf algebras of trees and pre-Lie algebras

Authors: Pepijn van der Laan, Ieke Moerdijk

Abstract: Using methods from math-ph/9907010, we study families of Hopf algebra structures on coloured trees. Using methods from math-ph/9907010, we study families of Hopf algebra structures on coloured trees. △ Less

Submitted 2 February, 2004; originally announced February 2004.

Comments: 14 pages

Introduction to the language of stacks and gerbes

Authors: Ieke Moerdijk

Abstract: This is an introduction to gerbes for topologists, with emphasis on non-abelian cohomology. This is an introduction to gerbes for topologists, with emphasis on non-abelian cohomology. △ Less

Submitted 19 December, 2002; originally announced December 2002.

Comments: 30 pages

The renormalisation bialgebra and operads

Authors: Pepijn van der Laan, Ieke Moerdijk

Abstract: In a recent preprint, Brouder and Schmitt give a careful construction of a `renormalisation' Hopf algebra out of an arbitrary bialgebra. In this note, we point out that this is a special case of the construction of the cooperad of a bialgebra (Berger-Moerdijk) combined with the construction of a bialgebra from a cooperad (Frabetti-Van der Laan). In a recent preprint, Brouder and Schmitt give a careful construction of a `renormalisation' Hopf algebra out of an arbitrary bialgebra. In this note, we point out that this is a special case of the construction of the cooperad of a bialgebra (Berger-Moerdijk) combined with the construction of a bialgebra from a cooperad (Frabetti-Van der Laan). △ Less

Submitted 3 April, 2003; v1 submitted 23 October, 2002; originally announced October 2002.

Comments: 2 pages

Axiomatic homotopy theory for operads

Authors: Clemens Berger, Ieke Moerdijk

Abstract: We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced. We give sufficient conditions for the existence of a model structure on operads in an arbitrary symmetric monoidal model category. General invariance properties for homotopy algebras over operads are deduced. △ Less

Submitted 22 October, 2003; v1 submitted 10 June, 2002; originally announced June 2002.

Comments: 29 pages, revised for publication

Journal ref: Comment. Math. Helv. Vol. 78(2003), no. 4

Orbifolds as Groupoids: an Introduction

Authors: Ieke Moerdijk

Abstract: This is a survey paper based on my talk at the Workshop on Orbifolds and String Theory, the goal of which was to explain the role of groupoids and their classifying spaces as a foundation for the theory of orbifolds. This is a survey paper based on my talk at the Workshop on Orbifolds and String Theory, the goal of which was to explain the role of groupoids and their classifying spaces as a foundation for the theory of orbifolds. △ Less

Submitted 11 March, 2002; originally announced March 2002.

On the Classification of Regular Groupoids

Authors: I. Moerdijk

Abstract: We observe that any regular Lie groupoid G over an manifold M fits into an extension $K \to G \to E$ of a foliation groupoid E by a bundle of connected Lie groups K. If $\FF$ is the foliation on M given by the orbits of E and T is a complete transversal to $\FF$, this extension restricts to T, as an extension $K_{T}\to G_{T}\to E_{T}$ of an étale groupoid $E_{T}$ by a bundle of connected groups… ▽ More We observe that any regular Lie groupoid G over an manifold M fits into an extension $K \to G \to E$ of a foliation groupoid E by a bundle of connected Lie groups K. If $\FF$ is the foliation on M given by the orbits of E and T is a complete transversal to $\FF$, this extension restricts to T, as an extension $K_{T}\to G_{T}\to E_{T}$ of an étale groupoid $E_{T}$ by a bundle of connected groups $K_{T}$. We break up the classification into two parts. On the one hand, we classify the latter extensions of étale groupoids by (non-abelian) cohomology classes in a new Čech cohomology of étale groupoids. On the other hand, given K and E and an extension $K_{T}\to G_{T}\to E_{T}$ over T, we present a cohomological obstruction to the problem of whether this is the restriction of an extension $K \to G \to E$ over M; if this obstruction vanishes, all extensions $K \to G \to E$ over M which restrict to a given extension over the transversal together form a principal bundle over a ``group'' of bitorsors under K. △ Less

Submitted 11 March, 2002; originally announced March 2002.

Cech-De Rham theory for leaf spaces of foliations

Authors: Marius Crainic, Ieke Moerdijk

Abstract: The purpose of this paper is to present a ``Cech-De Rham'' model for the cohomology of leaf spaces. This model lends itself to the construction of characteristic classes (in the cohomology of classifying spaces) by explicit geometrical constructions which are immediate extensions of the standard constructions for manifolds. In particular we rediscover (and explain) the Thurston formula and the B… ▽ More The purpose of this paper is to present a ``Cech-De Rham'' model for the cohomology of leaf spaces. This model lends itself to the construction of characteristic classes (in the cohomology of classifying spaces) by explicit geometrical constructions which are immediate extensions of the standard constructions for manifolds. In particular we rediscover (and explain) the Thurston formula and the Bott formulas for cocycles on diffeomorphism groups. We also use the Cech-De Rham model to explicitly describe the relation between the cohomology of the classifying space, the basic cohomology, and the foliated cohomology of foliations. △ Less

Submitted 10 December, 2000; originally announced December 2000.

Comments: 22 pages