English
Related papers

Related papers: Curved A-infinity-categories: adjunction and homot…

200 papers

We make precise the analogy between Goodwillie's calculus of functors in homotopy theory and the differential calculus of smooth manifolds by introducing a higher-categorical framework of which both theories are examples. That framework is…

Category Theory · Mathematics 2023-02-28 Kristine Bauer , Matthew Burke , Michael Ching

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…

Category Theory · Mathematics 2015-04-24 A. M. Cegarra , B. A. Heredia

We construct A-infinity functors between Fukaya categories associated to monotone Lagrangian correspondences between compact symplectic manifolds. We then show that the composition of A-infinity functors for correspondences is homotopic to…

Symplectic Geometry · Mathematics 2018-02-26 S. Ma'u , K. Wehrheim , C. Woodward

The purpose of this article is threefold: Firstly, we propose some enhancements to the existing definition of 6-functor formalisms. Secondly, we systematically study the category of kernels, which is a certain 2-category attached to every…

Category Theory · Mathematics 2024-10-18 Claudius Heyer , Lucas Mann

We show that morphisms from n A_infinity-algebras to a single one are maps over an operad module with n+1 commuting actions of the operad A_infinity, whose algebras are conventional A_infinity-algebras. Similar statement holds for homotopy…

Category Theory · Mathematics 2015-11-30 Volodymyr Lyubashenko

For a finite quiver without sources or sinks, we prove that the homotopy category of acyclic complexes of injective modules over the corresponding finite dimensional algebra with radical square zero is triangle equivalent to the derived…

Representation Theory · Mathematics 2015-12-09 Xiao-Wu Chen , Dong Yang

The category of modules over the endomorphism algebra of a rigid object in a Hom-finite triangulated category C has been given two different descriptions: On the one hand, as shown by Osamu Iyama and Yuji Yoshino, it is equivalent to an…

Representation Theory · Mathematics 2014-12-24 Yann Palu

Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…

Category Theory · Mathematics 2018-03-02 Lucius T. Schoenbaum

We provide bar and cobar constructions as functors acting between various categories of curved operads and curved cooperads. Cobar and bar constructions are adjoint to each other. Given a twisting cochain between a curved augmented cooperad…

K-Theory and Homology · Mathematics 2014-03-17 Volodymyr Lyubashenko

Since their introduction, torsion theories have played a key role in the study of abelian and pointed categories. In representation theory, torsion theories and lattices of torsion classes of mod$ A$, for $A$ a finite-dimensional algebra,…

Representation Theory · Mathematics 2025-11-25 Federico Campanini , Francesca Fedele , Emine Yıldırım

This is an expository article on the A-side of Kontsevich's Homological Mirror Symmetry conjecture. We give first a self-contained study of $A_\infty$-categories and their homological algebra, and later restrict to Fukaya categories, with…

Symplectic Geometry · Mathematics 2023-06-23 Alessandro Imparato

We provide a criterion for the existence of right approximations in cocomplete additive categories; it is a straightforward generalisation of a result due to El Bashir. This criterion is used to construct adjoint functors in homotopy…

Category Theory · Mathematics 2010-06-24 Henning Krause

In this paper we prove that Toen's derived enrichment of the model category of dg-categories defined by Tabuada, is computed by the dg-category of A-infinity functors. This approach was suggested by Kontsevich. We further put this…

K-Theory and Homology · Mathematics 2014-12-04 Giovanni Faonte

We introduce a notion of total acyclicity associated to a subcategory of an abelian category and consider the Gorenstein objects they define. These Gorenstein objects form a Frobenius category, whose induced stable category is equivalent to…

Rings and Algebras · Mathematics 2019-09-13 Lars Winther Christensen , Sergio Estrada , Peder Thompson

In this paper we continue the project of generalizing tilting theory to the category of contravariant functors $Mod(C)$, from a skeletally small preadditive category $C$ to the category of abelian groups. We introduced the notion of a a…

Representation Theory · Mathematics 2015-10-02 R. Martinez-Villa , M. Ortiz-Morales

In this paper, we introduce a cofibrant simplicial category that we call the free homotopy coherent adjunction and characterize its n-arrows using a graphical calculus that we develop here. The hom-spaces are appropriately fibrant, indeed…

Category Theory · Mathematics 2015-10-14 Emily Riehl , Dominic Verity

This paper builds upon J. Nilsson's classification of rank one $\mathcal{U}(\mathfrak{h})$-free modules by extending the analysis to modules without rank restrictions, focusing on the category $\mathfrak{A}$ of…

Representation Theory · Mathematics 2025-05-14 Eduardo M. Mendonça

We develop the theory of geometric Eisenstein series and constant term functors for $\ell$-adic sheaves on stacks of bundles on the Fargues-Fontaine curve. In particular, we prove essentially optimal finiteness theorems for these functors,…

Number Theory · Mathematics 2024-09-17 Linus Hamann , David Hansen , Peter Scholze

We study several structure aspects of functor categories from a small additive category to a module category, in particular the category F(A,K) of functors from finitely generated free modules over a commutative ring A to vector spaces over…

Category Theory · Mathematics 2024-12-23 Aurélien Djament , Antoine Touzé

The bulk of this paper is devoted to the comparison of several models for the theory of (infinity,2)-categories: that is, higher categories in which all k-morphisms are invertible for k > 2 (the case of (infinity,n)-categories is also…

Category Theory · Mathematics 2009-05-08 Jacob Lurie