The 2-category theory of quasi-categories

In this paper we re-develop the foundations of the category theory of quasi-categories (also called ∞-categories) using 2-category theory. We show that Joyal's strict 2-category of quasi-categories admits certain weak 2-limits, among them weak comma objects. We use these comma quasi-categories to encode universal properties relevant to limits, colimits, and adjunctions and prove the expected theorems relating these notions. These universal properties have an alternate form as absolute lifting diagrams in the 2-category, which we show are determined pointwise by the existence of certain initial or terminal vertices, allowing for the easy production of examples.     

A Quillen Model Structure for 2-Categories

We describe a cofibrantly generated Quillen model structure on the locally finitely presentable category 2-Cat of (small) 2-categories and 2-functors; the weak equivalences are the biequivalences, and the homotopy relation on 2-functors is just pseudonatural equivalence. The model structure is proper, and is compatible with the monoidal structure given by the Gray tensor product. It is not compatible with the Cartesian closed structure, in which the tensor product is the product.The model structure restricts to a model structure on the full subcategory PsGpd of 2-Cat, consisting of those 2-categories in which every arrow is an equivalence and every 2-cell is invertible. The model structure on PsGpd is once again proper, and compatible with the monoidal structure given by the Gray tensor product.     

On the Geometry of 2-Categories and their Classifying Spaces

In this paper we prove that realizations of geometric nerves are classifying spaces for 2-categories. This result is particularized to strict monoidal categories and it is also used to obtain a generalization of Quillen's Theorem A.     

2-Groupoid Enrichments in Homotopy Theory and Algebra

The use of groupoid enrichments in abstract homotopy theory is well known and classical. Recently enrichments by higher-dimensional groupoids have been considered. Here we will describe enrichment by 2-groupoids with respect to the Gray tensor product and will examine several examples (2-groupoids, 2-crossed complexes, chain complexes, etc.) from an elementary view-point. The enrichment of the category of chain complexes is examined in detail and questions of the existence of analogues of classical constructions (categories over B, under A, etc.) are explored.     

On Combinatorial Model Categories

Combinatorial model categories were introduced by J. H. Smith as model categories which are locally presentable and cofibrantly generated. He has not published his results yet but proofs of some of them were presented by T. Beke, D. Dugger or J. Lurie. We are contributing to this endeavour by some new results about homotopy equivalences, weak equivalences and cofibrations in combinatorial model categories. Supported by MSM 0021622409 and GAČR 201/06/0664.     

Fibrations and partial products in a 2-category

We introduce a new intrinsic definition of fibrations in a 2-category, and show how it may be used (in conjunction with a suitable limit-colimit commutation condition) to define a 2-categorical version of the notion of partial product. We use these notions to show that partial products exist for all fibrations in the 2-category of (small) categories, and to identify the fibrations in the 2-category of toposes and geometric morphisms.     

Triple Brackets and Lax Morphism Categories

Various aspects of the traditional homotopy theory of topological spaces may be developed in an arbitrary 2-category C with zeros. In particular certain secondary composition operations called box brackets recently have been defined for C; these are similar to, but extend, the familiar Toda brackets in the topological case. In this paper we introduce further the notion of a suspension functor in C and explore the ramifications of relativizing the theory in terms of the associated lax morphism category of C, denoted mC. Four operations associated to a 3-box diagram are introduced and relations among them are clarified. The results and insights obtained, while by nature somewhat technical, yield effective and efficient techniques for computing many operations of Toda bracket type. We illustrate by recording some computations from the homotopy groups of spheres. Also the properties of a new operation, the 2-sided matrix Toda bracket, are explored.     

On the 2-Categories of Weak Distributive Laws

ABSTRACT

Let G be a torsion-free group with all subgroups subnormal of defect at most 4. We show that G is nilpotent of class at most 4.     

Multiple Categories: The Equivalence of a Globular and a Cubical Approach

We show the equivalence of two kinds of strict multiple category, namely the well-known globular ω-categories, and the cubical ω-categories with connections.     

2-Cosemisimplicial objects in a 2-category, permutohedra and deformations of pseudofunctors

In this paper we take up again the deformation theory for K-linear pseudofunctors initiated in Elgueta (Adv. Math. 182 (2004) 204-277). We start by introducing a notion of 2-cosemisimplicial object in an arbitrary 2-category and analyzing the corresponding coherence question, where the permutohedra make their appearance. We then describe a general method to obtain usual cochain complexes of K-modules from (enhanced) 2-cosemisimplicial objects in the 2-category of small K-linear categories and prove that the deformation complex introduced in Elgueta (to appear) can be obtained by this method from a 2-cosemisimplicial object that can be associated to . Finally, using this 2-cosemisimplicial object of and a generalization to the context of K-linear categories of the deviation calculus introduced by Markl and Stasheff for K-modules (J. Algebra 170 (1994) 122), it is shown that the obstructions to the integrability of an nth-order deformation of indeed correspond to cocycles in the third cohomology group , a question which remained open in Elgueta (Adv. Math. 182 (2004) 204-277).     

2-Calabi-Yau tilted代数的交换关系

本文研究了2-Calabi-Yau三角范畴上的2-Calabi-Yau tilted代数的almost complete tilting模.我们利用2-Calabi-Yau三角范畴上的交换关系给出了2-Calabi-Yau tilted代数的almost complete tilting模有两个(Bongartz)补的一系列充分必要条件.     

单纯广群的准层和同伦纤维

显示了在设置C上的单纯广群的准层的范畴是个封闭模型范畴.证明了在一个单纯广群的准层G上的单纯函子X是局部弱等价于同伦纤维.