Antonio M. Cegarra
This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen's Theorem B and Thomason's Homotopy Colimit Theorem to 2-functors.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed modules over groupoids. This paper shows how fibred and cofibred categories give an overall context for discussing and computing such constructions, allowing one result to cover many cases. A useful general result is that the inclusion of a fibre of a fibred category preserves connected colimits. The main homotopical application are to pairs of spaces with several…
We show that every small homotopy functor from spectra to spectra is weakly equivalent to a filtered colimit of representable functors represented in cofibrant spectra. Moreover, we present this classification as a Quillen equivalence of the category of small functors from spectra to spectra equipped with the homotopy model structure and the opposite of the pro-category of spectra with the strict model structure.
The determinant functeurs are the RHom of connected homotopy $2$-types.
Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical analogues that have been classically used in algebraic topology and algebraic K-theory, such as the Homotopy Invariance Theorem (by Bousfield and Kan), the Homotopy Colimit Theorem (Thomason), Theorems A and B (Quillen), or the Homotopy Cofinality Theorem (Hirschhorn).
Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the category of simplicial sets which satisfy a stronger universal property than the customary homotopy localization functors do.
We call a diagram D absolutely cartesian if F(D) is homotopy cartesian for all homotopy functors F. This is a sensible notion for diagrams in categories C where Goodwillie's calculus of functors may be set up for functors with domain C. We prove a classification theorem for absolutely cartesian squares of spaces and state a conjecture of the classification for higher dimensional cubes.
The group of homotopy self-equivalences is a Lax functor
本文证明了拓扑空间的同伦自等价群 $\E(X)$ 构成一个从拓扑空间范畴 $\mathscr Top$ 到群对应严格2-范畴 $\op{Corr}_{\mathscr Gr}$ 的Lax函子。
To various kinds of quadratic functors, homotopy types of two stage spaces are assigned. It is investigated what kind of homotopy types are obtainable in this way.
We show that a derivator is stable if and only if homotopy finite limits and homotopy finite colimits commute, if and only if homotopy finite limit functors have right adjoints, and if and only if homotopy finite colimit functors have left adjoints. These characterizations generalize to an abstract notion of "stability relative to a class of functors", which includes in particular pointedness, semiadditivity, and ordinary stability. To prove them, we develop the theory of derivators enriched over monoidal left derivators and weighted homotopy limits and colimits therein.
We adopt semimodel categories to extend fundamental results related to Bousfield localizations of model categories. More specifically, we generalize Bousfield-Friedlander Theorem and Hirschhorn Localization Theorem of cellular model categories to settings where their classical formulation does not apply. We use such results to answer, in the world of semimodel categories, an open problem posed by May-Ponto about the existence of Bousfield localizations for Hurewicz and mixed type model structures.
We study unitary pseudonatural transformations (UPTs) between fibre functors Rep(G) -> Hilb, where G is a compact quantum group. For fibre functors F_1, F_2 we show that the category of UPTs F_1 -> F_2 and modifications is isomorphic to the category of finite-dimensional *-representations of the corresponding bi-Hopf-Galois object. We give a constructive classification of fibre functors accessible by a UPT from the canonical fibre functor, as well as UPTs themselves, in terms of Frobenius algebras in the category Rep(A_G), where A_G is the Hopf *-algebra dual to the compact quantum group. As a…
There exists a canonical functor from the category of fibrant objects of a model category modulo cylinder homotopy to its homotopy category. We show that this functor is faithful under certain conditions, but not in general.
We describe the formal properties of cellularization functors in triangulated categories and study the preservation of ring and module structures under these functors in stable homotopy categories in the sense of Hovey, Palmieri and Strickland, such as the homotopy category of spectra or the derived category of a commutative ring. We prove that cellularization functors preserve modules over connective rings but they do not preserve rings in general (even if the ring is connective or the cellularization functor is triangulated). As an application of these results, we describe the cellularizatio…
We study locally constant coefficients. We first study the theory of homotopy Kan extensions with locally constant coefficients in model categories, and explain how it characterizes the homotopy theory of small categories. We explain how to interpret this in terms of left Bousfield localization of categories of diagrams with values in a combinatorial model category. At last, we explain how the theory of homotopy Kan extensions in derivators can be used to understand locally constant functors.
This paper proves that the q-model structures of Moore flows and of multipointed $d$-spaces are Quillen equivalent. The main step is the proof that the counit and unit maps of the Quillen adjunction are isomorphisms on the q-cofibrant objects (all objects are q-fibrant). As an application, we provide a new proof of the fact that the categorization functor from multipointed $d$-spaces to flows has a total left derived functor which induces a category equivalence between the homotopy categories. The new proof sheds light on the internal structure of the categorization functor which is neither a …
In this talk, I will explain the importance of the homotopy branching space functor (and of the homotopy merging space functor) in dihomotopy theory. The paper is a detailed abstract of math.AT/0304112 and math.AT/0305169.
We study the homotopy theory of a certain type of diagram categories whose vertices are in variable categories with a functorial path, leading to a good calculation of the homotopy category in terms of cofibrant objects. The theory is applied to the category of mixed Hodge diagrams of differential graded algebras. Using Sullivan's minimal models, we prove a multiplicative version of Beilinson's Theorem on mixed Hodge complexes. As a consequence, we obtain functoriality for the mixed Hodge structures on the rational homotopy type of complex algebraic varieties. In this context, the mixed Hodge …
The homotopy theory of small functors is a useful tool for studying various questions in homotopy theory. In this paper, we develop the homotopy theory of small functors from spectra to spectra, and study its interplay with Spanier-Whitehead duality and enriched representability in the dual category of spectra. We note that the Spanier-Whitehead duality functor $D\colon \mathrm{Sp}\rightarrow \mathrm{Sp}^{\mathrm{op}}$ factors through the category of small functors from spectra to spectra and construct a new model structure on the category of small functors, which is Quillen equivalent to $\ma…
We prove an extension of the Quillen Theorem Bn for homotopy fibres to a similar result for homotopy pullbacks and use this to obtain sufficient conditions on a pullback diagram of categories to guarantee that it be a homotopy pullback.
This is a sequel to a previous paper, developing an intrinsic, combinatorial homotopy theory for simplicial complexes; the latter form the cartesian closed subcategory of 'simple presheaves' in !Smp, the topos of symmetric simplicial sets, or presheaves on the category of finite, positive cardinals. We show here how this homotopy theory can be extended to the topos itself, !Smp. As a crucial advantage, the fundamental groupoid functor !Smp --> Gpd is left adjoint to a natural functor Gpd --> !Smp, the symmetric nerve of a groupoid, and preserves all colimits - a strong van Kampen property. Sim…
Associated to each small category $C$, there is a category of $C$-shaped diagrams of simplicial sets and an $\infty$-category of $NC$-shaped homotopy coherent diagrams of spaces. We present a functor which exhibits the latter as the $\infty$-categorical localisation of the former at the objectwise weak homotopy equivalences. This builds on a Quillen equivalence between the projective and covariant model structures associated to $C$ due to Heuts-Moerdijk, as well as Cisinski's theory of $\infty$-categorical localisations. We use the localisation functor to give simplified proofs that the left (…
We prove general adjoint functor theorems for weakly (co)complete $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of (co)complete $\infty$-categories, so these $n$-categories do not admit all small (co)limits in general. We also introduce Brown representability for (homotopy) $n$-categories and prove a Brown representability theorem for localizations of compactly generated $n$-categories. This class of $n$-categories includes the homotopy $n$-categories of presentable $\infty$-categories if $n \geq 2$, and the homotopy $n$-categories of presentable stable $\in…
Homotopy Theory of Enriched Mackey Functors
本文系统发展了闭多范畴上富集的图表、预层与 Mackey 函子理论，研究富集改变及其复合性，并将其应用于由 K-理论多函子诱导的同伦理论等价，涵盖带点多范畴、置换范畴和对称谱等情形。
A variant of a Dwyer-Kan theorem for model categories
本文证明了单纯组合模型范畴在小函子范畴上的同伦模型结构存在性或其替代方案，并以此推广了关于同伦函子范畴 Quillen 等价的 Dwyer-Kan 定理，同时给出了 Goodwillie calculus 的应用。
A homotopy coherent nerve for $(\infty,n)$-categories
本文为 $(\infty,n)$-范畴构造同伦相干神经，证明其给出严格丰富范畴与 Segal 范畴对象模型间的右 Quillen 等价，从而统一两种同伦相干图定义。
Consider a diagram of quasi-categories that admit and functors that preserve limits or colimits of a fixed shape. We show that any weighted limit whose weight is a projective cofibrant simplicial functor is again a quasi-category admitting these (co)limits and that they are preserved by the functors in the limit cone. In particular, the Bousfield-Kan homotopy limit of a diagram of quasi-categories admit any limits or colimits existing in and preserved by the functors in that diagram. In previous work, we demonstrated that the quasi-category of algebras for a homotopy coherent monad could be de…
We characterize simplicial localization functors among relative functors from relative categories to simplicial categories as any choice of homotopy inverse to the delocalization functor of Dwyer and the second author.
Homotopy limits of model categories, revisited
本文回顾模型范畴左Quillen函子图表同伦极限的定义及应用，探讨改用右Quillen函子的可行性，指出无法同时使用左右Quillen函子的原因。
Constructing monads from cubical diagrams and homotopy colimits
本文将 Hess–Johnson 基于相容余单子的广义微积分构造对偶到单子情形，利用 $\mathcal{P}(n)$-模和同伦余极限构造单子，并证明其推广 McCarthy 对偶微积分。
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.
In this paper, we first construct some complete cotorson pairs on the category $\mathbb{C}_N(\mathcal{G})$ of unbounded $N$-complexes of Grothendieck category $\mathcal{G}$, from two given cotorsion pairs in $\mathcal{G}$. Next as an application, we focus on particular homotopy categories and the existence of adjoint functors between them. These are an $N$-complex version of the results were shown by Neeman in the category of ordinary complexes.
We consider a theory of centers and homotopy centers of monoids in monoidal categories which themselves are enriched in duoidal categories. Duoidal categories (introduced by Aguillar and Mahajan under the name 2-monoidal categories) are categories with two monoidal structures which are related by some, not necessary invertible, coherence morphisms. Centers of monoids in this sense include many examples which are not `classical.' In particular, the 2-category of categories is an example of a center in our sense. Examples of homotopy center (analogue of the classical Hochschild complex) include …
A functor is constructed from the category of globular CW-complexes to that of flows. It allows the comparison of the S-homotopy equivalences (resp. the T-homotopy equivalences) of globular complexes with the S-homotopy equivalences (resp. the T-homotopy equivalences) of flows. Moreover, it is proved that this functor induces an equivalence of categories from the localization of the category of globular CW-complexes with respect to S-homotopy equivalences to the localization of the category of flows with respect to weak S-homotopy equivalences. As an application, we construct the underlying ho…
We consider four categories: the category of diagrams of small categories indexed by a given small category O, the (comma) category of small categories over O, the category of diagrams of simplicial sets indexed by O, and the category of simplicial sets over the nerve of O. Fritsch and Golasinski claimed that these four categories have equivalent homotopy categories but, in fact, their proof contains an error and the homotopy categories are not equivalent with the weak equivalences they use in the comma categories. We show here that the correct weak equivalences are the ``weak fibre homotopy e…
Fibre functors and reconstruction of Hopf algebras
本文提出Tannaka-Krein型重构定理，证明当张量范畴具有相容的monoidal模范畴结构时，可通过相对coend重构辫子Hopf代数，并应用于对数Kazhdan-Lusztig猜想。
We give an account, in terms of fibered categories and their fibrewise duals, of aspects of the theory of bundle functors and star-bundle functors in differential geometry.
We construct a small realization as flow of every precubical set (modeling for example a process algebra). The realization is small in the sense that the construction does not make use of any cofibrant replacement functor and of any transfinite construction. In particular, if the precubical set is finite, then the corresponding flow has a finite globular decomposition. Two applications are given. The first one presents a realization functor from precubical sets to globular complexes which is characterized up to a natural S-homotopy. The second one proves that, for such flows, the underlying ho…
A theorem of Retakh for exact $\infty$-categories and higher extension functors
该研究针对正合∞范畴，通过双纤维化定义扩张∞范畴，证明其稳定包络不变且构成Ω谱以推广Retakh定理，还验证了其同伦群与对应外三角范畴的高阶扩张群自然同构。
Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose of this work is to generalize this fact to higher homotopy. For this we introduce the (infinite) category of locally constant stacks on X, and we prove that the loop-space of endomorphisms of its fibre functor at x is naturally equivalent to the loop space of X based at x.
Spectral Mackey functors are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable infinity-category, and we use this to show that universal examples of these objects are given by algebraic K-theory. More importantly, we introduce the unfurling of certain families of Waldhausen infinity-categories bound together with suitable adjoint pairs of functors; this construction completely solves the homotopy coherence problem that arises when one wishes to study the algebraic K-theory of such objects as spectra…
Grothendieck's theory of fibred categories for monoids
本文将格罗滕迪克的纤维化范畴理论推广到幺半群理论，证明了预纤维化（Schreier扩张）与lax函子之间的等价关系，并构造了涉及自同构群的两个正合序列，将此前仅适用于群扩张的结果推广到更一般的情形。
Schematic Functorialities of Birational Motivic Homotopy Categories
该研究将 n-双有理动机同伦范畴提升为预层，推导单分支概型双有理动机同伦范畴的分解性质，给出双有理等价的检测方法，并证明稳定双有理态射等诱导完全忠实嵌入。
Directed Homotopy, Sectional Invariants, and Functorial Databases
研究小范畴上的函子数据库，将自然变换视为有向同伦，引入有向纤维化等概念，定义有向Lusternik - Schnirelmann范畴和截面范畴，通过Grothendieck opfibration模型计算有向截面范畴，研究其在多种操作下的性质及刻画有限连通无环模式初始对象。
This is the second paper in a series. In part I we developed deformation theory of objects in homotopy and derived categories of DG categories. Here we extend these (derived) deformation functors to an appropriate bicategory of artinian DG algebras and prove that these extended functors are pro-representable in a strong sense.
Toric Mirror Symmetry for Homotopy Theorists
本研究构建了将球面谱上环面概形的等变拟凝聚层映射为实向量空间可构造谱层的函子，实现环面同调镜像对称定理的谱提升，得到新的对称幺模结构与函子性结果，并给出Beilinson相关结论的新证明。
A Computational Approach to the Homotopy Theory of DG categories
本文通过构造可计算的柱函子与同伦余极限函子，建立了半自由dg范畴及有限型dg范畴的余纤维化范畴，并应用于辛拓扑。
Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of ``additive groupoid enriched categories'', in which a secondary analog of homological algebra can be performed. We introduce secondary chain complexes and secondary resolutions leading to the concept of secondary derived functors. As a main result we show that the E_3-term of the Adams spectral sequence can be expressed as a secondary derived functor. This result can be used to compute the E_3-term explicitly by an algorithm.
A dg-natural transformation between dg-functors is called an objectwise homotopy equivalence if its induced morphism on each object admits a homotopy inverse. In general an objectwise homotopy equivalence does not have a dg-inverse but has an $A_{\infty}$ quasi-inverse. In this note we give a recurrent formula of the $A_{\infty}$ quasi-inverse. This result is useful in studying the compositions of dg-lifts of derived functors of schemes.
Parallel transport of a connection in a smooth fibre bundle yields a functor from the path groupoid of the base manifold into a category that describes the fibres of the bundle. We characterize functors obtained like this by two notions we introduce: local trivializations and smooth descent data. This provides a way to substitute categories of functors for categories of smooth fibre bundles with connection. We indicate that this concept can be generalized to connections in categorified bundles, and how this generalization improves the understanding of higher dimensional parallel transport.
Given a DG-category A we introduce the bar category of modules Modbar(A). It is a DG-enhancement of the derived category D(A) of A which is isomorphic to the category of DG A-modules with A-infinity morphisms between them. However, it is defined intrinsically in the language of DG-categories and requires no complex machinery or sign conventions of A-infinity categories. We define for these bar categories Tensor and Hom bifunctors, dualisation functors, and a convolution of twisted complexes. The intended application is to working with DG-bimodules as enhancements of exact functors between tria…
This article provides some basic results on weight structures, weight complex functors and homotopy categories. We prove that the full subcategories K(A)^{w < n}, K(A)^{w > n}, K(A)^- and K(A)^+ (of objects isomorphic to suitably bounded complexes) of the homotopy category K(A) of an additive category A are idempotent complete, which confirms that (K(A)^{w <= 0}, K(A)^{w >= 0}) is a weight structure on K(A). We discuss weight complex functors and provide full details of an argument sketched by M. Bondarko, which shows that if w is a bounded weight structure on a triangulated category T that ha…
The goal of the present paper is to compare, in a precise way, two notions of operads up to homotopy which appear in the literature. Namely, we construct a functor from the category of strict unital homotopy colored operads to the category of infinity-operads. The former notion, that we make precise, is the operadic generalization of the notion of A-infinity-categories and the latter notion was defined by Moerdijk--Weiss in order to generalize the simplicial notion of infinity-category of Joyal--Lurie. This functor extends in two directions the simplicial nerve of Faonte--Lurie for A-infinity-…
Homology manifolds via six functor formalisms
利用谱层六函子形式体系研究同调流形，刻画上同调光滑对象，证明ANR同调流形是Poincaré对偶复形，推广Wilder单调映射定理，引入同伦流形并证明不稳定版本的Wilder可定向猜想。
In this note, we discuss the derived functors of infinite products and homotopy limits. $QC(X)$, the category of quasi-coherent sheaves on a Deligne-Mumford stack $X$, usually has the property that the derived functors of product vanish after a finite stage. We use this fact to study the convergence of certain homotopy limits and apply it compare the derived category of $QC(X)$ with certain other closely related triangulated categories.
We present a novel approach to the problem of integrating homotopy Lie algebras by representing the Maurer-Cartan space functor with a universal cosimplicial object. This recovers Getzler's original functor but allows us to prove the existence of additional, previously unknown, structures and properties. Namely, we introduce a well-behaved left adjoint functor, we establish functoriality with respect to infinity-morphisms, and we construct a coherent hierarchy of higher Baker-Campbell-Hausdorff formulas. Thanks to these tools, we are able to establish the most important results of higher Lie t…
This is the first paper in a series. We develop a general deformation theory of objects in homotopy and derived categories of DG categories. Namely, for a DG module $E$ over a DG category we define four deformation functors $\Def ^{\h}(E)$, $\coDef ^{\h}(E)$, $\Def (E)$, $\coDef (E)$. The first two functors describe the deformations (and co-deformations) of $E$ in the homotopy category, and the last two - in the derived category. We study their properties and relations. These functors are defined on the category of artinian (not necessarily commutative) DG algebras.
Enriched quasi-categories and the templicial homotopy coherent nerve
本研究构建以幺半范畴替代集合范畴的准范畴理论基础，引入张量单纯对象范畴适配非笛卡儿幺半积，构造同调凝聚神经的张量单纯类似物，证明局部Kan的S𝓥-富集范畴可经该函子转化为𝓥中准范畴。
We develop a theory of curved A-infinity-categories around equivalences of their module categories. This allows for a uniform treatment of curved and uncurved A-infinity-categories which generalizes the classical theory of uncurved A-infinity algebras. Furthermore, the theory is sufficiently general to treat both Fukaya categories and categories of matrix factorizations, as well as to provide a context in which unitification and categorification of pre-categories can be carried out. Our theory is built around two functors: the adjoint algebra functor U_e and the functor Q_*. The bulk of the pa…
In this article we establish the foundations of the Morita homotopy theory of C*-categories. Concretely, we construct a cofibrantly generated simplicial symmetric monoidal Quillen model structure M_Mor on the category C*cat1 of small unital C*-categories. The weak equivalences are the Morita equivalences and the cofibrations are the *-functors which are injective on objects. As an application, we obtain an elegant description of the Brown-Green-Rieffel Picard group in the associated Morita homotopy category Ho(M_Mor). We then prove that the Morita homotopy category is semi-additive. By group c…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。