相关论文: The heart of the Banach spaces

We prove that the category $\mathcal{M}$ of abelian groups with a Polish cover introduced in collaboration with Bergfalk and Panagiotopoulos is the left heart of (the derived category of) the quasi-abelian category $\mathcal{A}$ of abelian…

Eventually after Dieudonn\'e-Grothendieck, we give intrinsic definitions of \'etale, lisse and non-ramifi\'e morphisms for general adic rings and general locally convex rings. And we investigate the corresponding \'etale-like, lisse-like…

In the literature surrounding the theory of Banach spaces, considerable effort has been invested in exploring the conditions on a Banach space X that characterise X as being an inner product space or as a linearly isomorphic copy of a…

We present new classes of positive definite kernels on non-standard spaces that are integrally strictly positive definite or characteristic. In particular, we discuss radial kernels on separable Hilbert spaces, and introduce broad classes…

The quotient of a triangulated category modulo a subcategory was defined by Verdier. Motivated by the failure of the telescope conjecture, we introduce a new type of quotients for any triangulated category which generalizes Verdier's…

Given an n-manifold M and an n-category C, we define a chain complex (the "blob complex") B_*(M;C). The blob complex can be thought of as a derived category analogue of the Hilbert space of a TQFT, and as a generalization of Hochschild…

Classes of Banach spaces that are finitely, strongly finitely or elementary equivalent are introduced. On sets of these classes topologies are defined in such a way that sets of defined classes become compact totally disconnected…

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 introduce the notion of an exact dg category, which is a simultaneous generalization of the notions of exact category in the sense of Quillen and of pretriangulated dg category in the sense of Bondal--Kapranov. It is also a differential…

We develop a functorial approach to the study of $n$-abelian categories by reformulating their axioms in terms of their categories of finitely presented functors. Such an approach allows the use of classical homological algebra and…

Suppose that we have a bicomplete closed symmetric monoidal quasi-abelian category $\mathcal{E}$ with enough flat projectives, such as the category of complete bornological spaces $\textbf{CBorn}_k$ or the category of inductive limits of…

We study properties of a category after quotienting out a suitable chosen group of isomorphisms on each object. Coproducts in the original category are described in its quotient by our new weaker notion of a 'phased coproduct'. We examine…

We study several categories of analytic stacks relative to the category of bornological modules over a Banach ring. When the underlying Banach ring is a non-Archimedean valued field, this category contains derived rigid analytic spaces as a…

We study hearts of cotorsion pairs in triangulated and exact categories.We give a sufficient and necessary condition when the hearts have enough projectives. We also show in such condition they are equivalent to functor categories over…

We classify certain subcategories in quotients of exact categories. In particular, we classify the triangulated and thick subcategories of an algebraic triangulated category, i.e. the stable category of a Frobenius category.

New concepts related to approximating a Lipschitz function between Banach spaces by affine functions are introduced. Results which clarify when such approximations are possible are proved and in some cases a complete characterization of the…

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

This paper introduces a categorical framework to study the exact and approximate semantics of probabilistic programs. We construct a dagger symmetric monoidal category of Borel kernels where the dagger-structure is given by Bayesian…

It is the purpose of this article to compare various concepts of ``function spaces''. In particular we compare notions of the concept of Banach Function Spaces (in the spirit of Luxemburg-Zaanen) to the setting of solid BF-spaces as it is…

We associate a diagrammatic monoidal category $\mathcal{H}\textit{eis}_k(A;z,t)$, which we call the quantum Frobenius Heisenberg category, to a symmetric Frobenius superalgebra $A$, a central charge $k \in \mathbb{Z}$, and invertible…