The homotopy theory of bialgebras over pairs of operads

We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in two steps. In the first step, we equip coalgebras over an operad with a cofibrantly generated model category structure. In the second step we use the adjunction between bialgebras and coalgebras via the free algebra functor. This result allows us to do classical homotopical algebra in various categories such as associative bialgebras, Lie bialgebras or Poisson bialgebras in chain complexes.     

Symmetrisation of n-operads and compactification of real configuration spaces

It is well known that the forgetful functor from symmetric operads to nonsymmetric operads has a left adjoint Sym₁ given by product with the symmetric group operad. It is also well known that this functor does not affect the category of algebras of the operad. From the point of view of the author's theory of higher operads, the nonsymmetric operads are 1-operads and Sym₁ is the first term of the infinite series of left adjoint functors Symn, called symmetrisation functors, from n-operads to symmetric operads with the property that the category of one object, one arrow, …, one (n−1)-arrow algebras of an n-operad A is isomorphic to the category of algebras of Symn(A).In this paper we consider some geometrical and homotopical aspects of the symmetrisation of n-operads. We follow Getzler and Jones and consider their decomposition of the Fulton-Macpherson operad of compactified real configuration spaces. We construct an n-operadic counterpart of this compactification which we call the Getzler-Jones operad. We study the properties of Getzler-Jones operad and find that it is contractible and cofibrant in an appropriate model category. The symmetrisation of the Getzler-Jones operad turns out to be exactly the operad of Fulton and Macpherson. These results should be considered as an extension of Stasheff's theory of 1-fold loop spaces to n-fold loop spaces n?2. We also show that a space X with an action of a contractible n-operad has a natural structure of an algebra over an operad weakly equivalent to the little n-disks operad. A similar result holds for chain operads. These results generalise the classical Eckman-Hilton argument to arbitrary dimension.Finally, we apply the techniques to the Swiss-Cheese type operads introduced by Voronov and prove analogous results in this case.     

Abstract Clones and Operads

We establish a connection between abstract clones and operads, which implies that both clones and operads are particular instances of a more general notion. The latter is called W-operad (due to a close resemblance with operads) and can be regarded as a functor on a certain subcategory W, of the category of finite ordinals, with some rather natural properties. When W is a category whose morphisms are the various bijections, the variety of W-operads is rationally equivalent to the variety of operads in the traditional sense. Our main result claims that if W coincides with the category of all finite ordinals then the variety of W-operads is rationally equivalent to the variety of abstract clones.     

Axiomatic homotopy theory for operads

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.     

A proof of the existence of Batanin's initial operad

In this paper we prove the existence of the n-globular operad used in Batanin's definition of weak n-category. This operad is initial in the category of n-globular operads equipped with two extra pieces of structure: a system of compositions and a contraction. Our approach closely follows a proof by Leinster of the existence of a similar n-globular operad used in his definition of weak n-category (itself a variant of Batanin's definition) – we show that there is a functor giving the free operad equipped with a contraction and system of compositions on an n-globular collection, and applying this functor to the initial collection gives the desired initial operad. Since there is no interaction between the contraction and operad structures we are able to treat their free constructions separately. This is not true of the system of compositions structure, which cannot exist separately from the operad structure, so we use an interleaving-style construction to describe the free operad with system of compositions.     

Modular operads

We develop a higher genus analogue of operads, which we call modular operads, in which graphs replace trees in the definition. We study a functor F on the category of modular operads, the Feynman transform, which generalizes Kontsevichs graph complexes and also the bar construction for operads. We calculate the Euler characteristic of the Feynman transform, using the theory of symmetric functions: our formula is modelled on Wicks theorem. We give applications to the theory of moduli spaces of pointed algebraic curves.     

The behaviour of the $$\overline{W}$$ -construction on the homotopy theory of bisimplicial sets

The codiagonal functor \(\overline{W}\) transfers a Quillen closed model structure on the bisimplicial set category from the ordinary model category of simplicial sets. This bisimplicial model structure is different from the so called Moerdijk model structure, which is similarly transferred from simplicial sets but through the diagonal functor. We show the mutual relationship of these two closed model structures on the category of bisimplicial sets.     

A Koszul duality for props

The notion of prop models the operations with multiple inputs and multiple outputs, acting on some algebraic structures like the bialgebras or the Lie bialgebras. In this paper, we generalize the Koszul duality theory of associative algebras and operads to props.

     

A model structure for coloured operads in symmetric spectra

We describe a model structure for coloured operads with values in the category of symmetric spectra (with the positive model structure), in which fibrations and weak equivalences are defined at the level of the underlying collections. This allows us to treat R-module spectra (where R is a cofibrant ring spectrum) as algebras over a cofibrant spectrum-valued operad with R as its first term. Using this model structure, we give sufficient conditions for homotopical localizations in the category of symmetric spectra to preserve module structures.     

Colored operads,series on colored operads,and combinatorial generating systems

We introduce bud generating systems, which are used for combinatorial generation. They specify sets of various kinds of combinatorial objects, called languages. They can emulate context-free grammars, regular tree grammars, and synchronous grammars, allowing us to work with all these generating systems in a unified way. The theory of bud generating systems uses colored operads. Indeed, an object is generated by a bud generating system if it satisfies a certain equation in a colored operad. To compute the generating series of the languages of bud generating systems, we introduce formal power series on colored operads and several operations on these. Series on colored operads are crucial to express the languages specified by bud generating systems and allow us to enumerate combinatorial objects with respect to some statistics. Some examples of bud generating systems are constructed; in particular to specify some sorts of balanced trees and to obtain recursive formulas enumerating these.     

Functional equations and their related operads

Using functional equations, we define functors that generalize standard examples from calculus of one variable. Examples of such functors are discussed, and their Taylor towers are computed. We also show that these functors factor through objects enriched over the homology of little -cubes operads and discuss the relationship between functors defined via functional equations and operads. In addition, we compute the differentials of the forgetful functor from the category of -Poisson algebras in terms of the homology of configuration spaces.

     

The Eckmann-Hilton argument and higher operads

The classical Eckmann-Hilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the commutativity of the higher homotopy groups. A reformulation of this argument in the language of higher categories is: suppose we have a one object, one arrow 2-category, then its Hom-set is a commutative monoid. A similar argument due to A. Joyal and R. Street shows that a one object, one arrow tricategory is ‘the same’ as a braided monoidal category.In this paper we begin to investigate how one can extend this argument to arbitrary dimension. We provide a simple categorical scheme which allows us to formalise the Eckmann-Hilton type argument in terms of the calculation of left Kan extensions in an appropriate 2-category. Then we apply this scheme to the case of n-operads in the author's sense and classical symmetric operads. We demonstrate that there exists a functor of symmetrisation Symn from a certain subcategory of n-operads to the category of symmetric operads such that the category of one object, one arrow, … , one (n−1)-arrow algebras of A is isomorphic to the category of algebras of Symn(A). Under some mild conditions, we present an explicit formula for Symn(A) which involves taking the colimit over a remarkable categorical symmetric operad.We will consider some applications of the methods developed to the theory of n-fold loop spaces in the second paper of this series.     

函子范畴的Recollement

函子范畴是—类重要的范畴,因为许多常见的范畴都是函子范畴,并且任意给定的范畴都可以通过Yoneda引理嵌入到一个函子范畴,而函子范畴具有比原范畴更好的性质。本文证明了Abel范畴的recollement可以自然诱导两类函子范畴的recollment．应用到k-线性范畴,得到k．线性Abel范畴的recollement可以自然诱导其模范畴的recollement．     

Every topological category is convenient for Gelfand duality

In this paper we generalize our work on Gelfand dualities in cartesian closed topological categories [42] to categories which are only monoidally closed. Using heavily enriched category theory we show that under very mild conditions on the base category function algebra functor and spectral space functor exist, forming a pair of adjoint functors and establishing a duality between function algebras and spectral spaces. Using recent results in connection with semitopological functors, we show that every (E,M)-topological category is endowed with at least oneconvenient monoidal structure admitting a generalized Gelfand duality. So it turns out that there is no need for a cartesian closed structure on a topological category in order to study generalized Gelfand-Naimark dualities.     

Calculus of functors and model categories

The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure [B. Chorny, W.G. Dwyer, Homotopy theory of small diagrams over large categories, preprint, 2005]. In this paper we construct various localizations of the projective model structure and also give a variant for functors from simplicial sets to spectra. We apply these model categories in the study of calculus of functors, namely for a classification of polynomial and homogeneous functors. In the n-homogeneous model structure, the nth derivative is a Quillen functor to the category of spectra with Σn-action. After taking into account only finitary functors—which may be done in two different ways—the above Quillen map becomes a Quillen equivalence. This improves the classification of finitary homogeneous functors by T.G. Goodwillie [T.G. Goodwillie, Calculus. III. Taylor series, Geom. Topol. 7 (2003) 645-711 (electronic)].     

逆序(L)集合范畴的格值函数空间及其性质

引入逆序(L)集合范畴概念,并研究该范畴中两种函数空间结构表示,即格值函数空间与伪格值函数空间,进一步指出在逆序(L)集合范畴中格值函数空间函子与格值积函子互为伴随及伪格值函数空间函子与格值交函子也互为伴随,从而逆序(L)集合范畴为Cartesian闭范畴.     

Free Monoid in Monoidal Abelian Categories

We give an explicit construction of the free monoid in monoidal abelian categories when the monoidal product does not necessarily preserve coproducts. Then we apply it to several new monoidal categories that appeared recently in the theory of Koszul duality for operads and props. This gives a conceptual explanation of the form of the free operad, free dioperad and free properad.      

Finitely semisimple spherical categories and modular categories are self-dual

We show that every essentially small finitely semisimple k-linear additive spherical category for which k=End(1) is a field, is equivalent to its dual over the long canonical forgetful functor. This includes the special case of modular categories. In order to prove this result, we show that the universal coend of the spherical category, with respect to the long forgetful functor, is self-dual as a Weak Hopf Algebra.     

A generalization of the Gabriel–Popescu theorem

In this paper we give necessary and sufficient conditions for an additive functor , from a small pre-additive category to a Grothendieck category , to realize as a localization of the category of presheaves on . This is a generalization of the Gabriel–Popescu theorem, which considers the case where u is fully faithful.