Related papers: Exactness of cochain complexes via additive functo…
Regular and exact categories were first introduced by Michael Barr in 1971; since then, the theory has developed and found many applications in algebra, geometry, and logic. In particular, a small regular category determines a certain…
We investigate the connection between left exact $\infty$-functors between finitely complete quasicategories and exact functors between fibration categories, describing a procedure to approximate flat $\infty$-functors of the former type by…
We generalize the notion of ends and coends in category theory to the realm of module categories over finite tensor categories. We call this new concept "module (co)end". This tool allows us to give different proofs to several known results…
We define model structures on exact categories which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly…
We initiate the study of deformation theory in the context of derived and higher log geometry. After reconceptualizing the "exactification"-procedures in ordinary log geometry in terms of Quillen's approach to the cotangent complex, we…
We show a cotorsion pair cogenerated by a class is complete under suitable conditions in an arbitrary exact category using the generalized small object argument given by Chorny. This recovers Saor\'in and \v{S}\v{t}ov\'{i}\v{c}ek's…
Starting from the orthogonal polynomial expansion of a function $F$ corresponding to a finite positive Borel measure with infinite compact support, we study the asymptotic behavior of certain associated rational functions…
For a given family $\{(\mathrm{q}_i, \mathrm{t}_i, \mathrm{p_i} )\}_{i \in I}$ of adjoint triples between exact categories $\mathcal{C}$ or $\mathcal{D}$, we show that any cotorsion pair in $\mathcal{C}$ and $\mathcal{D}$ yield two…
For a regular normal element in an arbitrary ring, we study the category of its module factorizations. The cokernel functor relates module factorizations with Gorenstein projective components to Gorenstein projective modules over the…
We refine the Whitehead torsion of a chain equivalence of finite chain complexes in an additive category $\bA$ from an element of $\widetilde{K}^{iso}_1(\bA)$ to an element of the absolute group $K_1^{iso}(\bA)$. We apply this invariant to…
In this paper we give three functors $\mathfrak{P}$, $[\cdot]_K$ and $\mathfrak{F}$ on the category of C$^\ast$-algebras. The functor $\mathfrak{P}$ assigns to each C$^\ast$-algebra $\mathcal{A}$ a pre-C$^\ast$-algebra…
We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded)…
We know that the model theory of modules leads to a way of obtaining definable categories of modules over a ring $R$ as the kernels of certain functors $(R\textbf{-Mod})^{\text{op}}\to\textbf{Ab}$ rather than of functors…
We show that every additive category with kernels and cokernels admits a maximal exact structure. Moreover, we discuss two examples of categories of the latter type arising from functional analysis.
Our aim is to give a fairly complete account on the construction of compatible model structures on exact categories and symmetric monoidal exact categories, in some cases generalizing previously known results. We describe the close…
We construct an "almost involution" assigning a new DG-category to a given one, and use this construction to recover, say, the abelian category of graded modules over the graded ring $R^*$ from the DG-category of DG-modules over a DG-ring…
We explain why the naive definition of a natural exact category structure on complete, separated topological vector spaces with linear topology fails. In particular, contrary to arXiv:0711.2527, the category of such topological vector…
In "Frobenius Categories versus Brauer Blocks" we have proved some universality of the so-called localizing functor associated with a Frobenius $P$-category $F$, where $P$ is a finite $p$-group, with respect to the coherent $F$-localities…
We give a classification of all exact structures on a given idempotent complete additive category. Using this, we investigate the structure of an exact category with finitely many indecomposables. We show that the relation of the…
We give an introduction to constructive category theory by answering two guiding computational questions. The first question is: how do we compute the set of all natural transformations between two finitely presented functors like…