Cellular categories

We study locally presentable categories equipped with a cofibrantly generated weak factorization system. Our main result is that these categories are closed under 2-limits, in particular under pseudopullbacks. We give applications to deconstructible classes in Grothendieck categories. We discuss pseudopullbacks of combinatorial model categories.     

A generalization of Quillen's small object argument

We generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen's small object argument). The necessity of such a generalization arose with appearance of several important examples of model categories which were proven to be non-cofibrantly generated [J. Adámek, H. Herrlich, J. Rosický, W. Tholen, Weak factorization systems and topological functors, Appl. Categ. Structures 10 (3) (2002) 237-249 [2]; Papers in honour of the seventieth birthday of Professor Heinrich Kleisli (Fribourg, 2000); B. Chorny, The model category of maps of spaces is not cofibrantly generated, Proc. Amer. Math. Soc. 131 (2003) 2255-2259; J.D. Christensen, M. Hovey, Quillen model structures for relative homological algebra, Math. Proc. Cambridge Philos. Soc. 133 (2) (2002) 261-293; D.C. Isaksen, A model structure on the category of pro-simplicial sets, Trans. Amer. Math. Soc. 353 (2001) 2805-2841]. Our current approach allows for construction of functorial factorizations and localizations in the equivariant model structures on diagrams of spaces [E.D. Farjoun, Homotopy theories for diagrams of spaces, Proc. Amer. Math. Soc. 101 (1987) 181-189] and diagrams of chain complexes. We also formulate a non-functorial version of the argument, which applies in two different model structures on the category of pro-spaces [D.A. Edwards, H.M. Hastings, ?ech and Steenrod homotopy theories with applications to geometric topology, Lecture Notes in Mathematics, vol. 542, Springer, Berlin, 1976; D.C. Isaksen, A model structure on the category of pro-simplicial sets, Trans. Amer. Math. Soc. 353 (2001) 2805-2841].The examples above suggest a natural extension of the framework of cofibrantly generated model categories. We introduce the concept of a class-cofibrantly generated model category, which is a model category generated by classes of cofibrations and trivial cofibrations satisfying some reasonable assumptions.     

Biset Functors as Module Mackey Functors and its Relation to Derivators

In this article, we will show that the category of biset functors can be regarded as a reflective monoidal subcategory of the category of Mackey functors on the 2-category of finite groupoids. This reflective subcategory is equivalent to the category of modules over the Burnside functor. As a consequence of the reflectivity, we can associate a biset functor to any derivator on the 2-category of finite categories.     

On Covers and Envelopes in Some Functor Categories

We study the existence of covers and envelopes by some special functors on the category of finitely presented modules. As an application, we characterize some important rings using these functors. We also investigate homological properties of some functors on the stable module category. The relationship between phantoms and Ext-phantoms is obtained. It is shown that every left R-module M has an Ext-phantom preenvelope f: M → N with coker(f) pure-projective. Finally, we prove that, as a torsionfree class of (mod-R, Ab), (mod-R, Ab) is generated by the FP-injective objects.     

A model category structure on the category of simplicial categories

In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories.

     

Green fields

We introduce Green fields, as commutative Green biset functors with no non-trivial ideals. We state some of their properties and give examples of known Green biset functors which are Green fields. Among the properties, we prove some criterions ensuring that a Green field is semisimple. Finally, we describe a type of Green field for which its category of modules is equivalent to a category of vector spaces over a field.     

The model category of maps of spaces is not cofibrantly generated

We show that the model category of diagrams of spaces generated by a proper class of orbits is not cofibrantly generated. In particular, the category of maps between spaces may be supplied with a non-cofibrantly generated model structure.

     

广义Frame与广义Frame的商

本文将frame、frame同态、商frame与核的概念在范畴意义下作推广,并且证明Frame范畴是广义Frame范畴的反射子范畴.进而讨论了一个广义frame A的商与A上核函子之间的关系.特别地,我们证明了A上全部核函子所构成的范畴N(A)是一个广义frame.     

Flows With Respect to a Functor

Flows with respect to a functor F are introduced as a common generalization of the concepts of F-co-structured sinks and small F-co-structured sources. Appropriate factorization structures for functors are investigated and used to obtain several results that characterize coadjoint functors that have domains with various completeness conditions. When the functor in question is an identity functor, these results reduce to earlier results of Herrlich and Meyer for flows in a category. Functors of the type in question are shown to be nicely behaved with respect to composition. The dual notion of wolfs with respect to a functor is introduced, as is the concept of (co)limit with respect to a functor.     

Localization with respect to a class of maps I — Equivariant localization of diagrams of spaces

Homotopical localizations with respect to a set of maps are known to exist in cofibrantly generated model categories (satisfying additional assumptions) [4, 13, 24, 35]. In this paper we expand the existing framework, so that it will apply to not necessarily cofibrantly generated model categories and, more important, will allow for a localization with respect to a class of maps (satisfying some restrictive conditions). We illustrate our technique by applying it to the equivariant model category of diagrams of spaces [12]. This model category is not cofibrantly generated [8]. We give conditions on a class of maps which ensure the existence of the localization functor; these conditions are satisfied by any set of maps and by the classes of maps which induce ordinary localizations on the generalized fixed-points sets. During the preparation of this paper the author was a fellow of Marie Curie Training Site hosted by Centre de Recerca Matemàtica (Barcelona), grant no. HPMT-CT-2000-00075 of the European Commission.     

Tambarization of a Mackey functor and its application to the Witt–Burnside construction

For an arbitrary group G, a (semi-)Mackey functor is a pair of covariant and contravariant functors from the category of G-sets, and is regarded as a G-bivariant analog of a commutative (semi-)group. In this view, a G-bivariant analog of a (semi-)ring should be a (semi-)Tambara functor. A Tambara functor is firstly defined by Tambara, which he called a TNR-functor, when G is finite. As shown by Brun, a Tambara functor plays a natural role in the Witt–Burnside construction.It will be a natural question if there exist sufficiently many examples of Tambara functors, compared to the wide range of Mackey functors. In the first part of this article, we give a general construction of a Tambara functor from any Mackey functor, on an arbitrary group G. In fact, we construct a functor from the category of semi-Mackey functors to the category of Tambara functors. This functor gives a left adjoint to the forgetful functor, and can be regarded as a G-bivariant analog of the monoid-ring functor.In the latter part, when G is finite, we investigate relations with other Mackey-functorial constructions — crossed Burnside ring, Elliott?s ring of G-strings, Jacobson?s F-Burnside ring — all these lead to the study of the Witt–Burnside construction.     

On the Underlying Lower Order Bundle Functors

For every bundle functor we introduce the concept of subordinated functor. Then we describe subordinated functors for fiber product preserving functors defined on the category of fibered manifolds with m-dimensional bases and fibered manifold morphisms with local diffeomorphisms as base maps. In this case we also introduce the concept of the underlying functor. We show that there is an affine structure on fiber product preserving functors. Tis work was supported by a grant of the GA CR No. 201/02/0225.     

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.     

Strongly Involutory Functors

Let 𝒞 be an arbitrary category. We study strongly involutory functors on 𝒞, defined as involutory contravariant endofunctors of 𝒞 acting as identity on objects. Motivating examples can be constructed if we think at the transpose of a matrix, the adjoint of a linear continuous operator between two Hilbert spaces, and the inverse of a morphism in a groupoid. We show how a strongly involutory functor on a skeleton of 𝒞 extends to 𝒞, and we apply this to find all such functors for a groupoid. We describe and classify up to a natural equivalence all strongly involutory functors on the category of finite dimensional vector spaces over a field. Strongly involutory functors with a special property related to generalized inverses of morphisms are studied.     

The homotopy theory of simplicial props

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on ‘higher props,’ we show that the category of all small colored simplicial props admits a cofibrantly generated model category structure. With this model structure, the forgetful functor from props to operads is a right Quillen functor.     

函子的广义逆

本文建立了函子的广义逆．得到：（１）函子的广义逆从不同于视矩阵为态射的另一角度，包含了“矩阵的广义逆”．（２）函子的广义道与态射的广义逆互不蕴含，但却有异曲同工之处．     

Coherent Functors and Covariantly Finite Subcategories

Given a locally presentable additive category A, we study a class of covariantly finite subcategories which we call definable. A definable subcategory arises from a set of coherent functors F _i on A by taking all objects X in A such that F _i X=0 for all i. We give various characterizations of definable subcategories, demonstrating that all covariantly finite subcategories which arise in practice are of this form. This is based on a filtration of the category of all coherent functors on A.     

广义Comma范畴的Recollement

本文研究广义Comma范畴上Recollement问题.利用Abel范畴上Recollement及其伴随函子,诱导出广义Comma范畴,并利用比较函子构造出广义Comma范畴上的Recollement.这些结果推广了一般Abel范畴上的Recollement,丰富了Comma范畴研究.     

A Cartan-Eilenberg approach to homotopical algebra

In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a Cartan-Eilenberg category as a category with strong and weak equivalences such that there is an equivalence of categories between its localisation with respect to weak equivalences and the relative localisation of the subcategory of cofibrant objects with respect to strong equivalences. This equivalence of categories allows us to extend the classical theory of derived additive functors to this non additive setting. The main examples include Quillen model categories and categories of functors defined on a category endowed with a cotriple (comonad) and taking values on a category of complexes of an abelian category. In the latter case there are examples in which the class of strong equivalences is not determined by a homotopy relation. Among other applications of our theory, we establish a very general acyclic models theorem.