Homological surrogates in topological and bornological analysis

Marianne M. Lawson; Sven A. Wegner

Home/Archive/arXiv

arXiv · 2609.40304

Homological surrogates in topological and bornological analysis

Marianne M. Lawson·Sven A. Wegner

View original source ↗Read source document ↗Export metadata ↓

Abstract

We describe hearts of strongly deflation-exact categories with kernels as localizations of categories of three-term complexes up to homotopy, without assuming admissibility of kernels. We construct a calculus of fractions and give explicit formulas for kernels and cokernels. For complete locally convex spaces, whose failure to be quasiabelian was established by Prosmans (2000), our description and its dual provide derived equivalent abelian models through two choices of a notion of exactness. For quasi-complete, sequentially complete and locally (a.k.a. Mackey) complete spaces, we show that the topologically exact sequences form the maximal deflation-exact structure, although these categories are not extension-closed in the category of locally convex Hausdorff spaces. Our results make them nevertheless accessible to homological algebra with respect to the induced notion of exactness. Further applications concern the quasiabelian category of bornological modules equipped with the non-maximal linear split exact structure.

Explore related subjects

math.CT math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Marianne M. Lawson, Sven A. Wegner. 2026-09-30. Homological surrogates in topological and bornological analysis. https://arxiv.org/abs/2609.40304

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Orthogonal Model Structures

This paper studies orthogonal model structures, i.e., model structures such that a lifting in the Lifting axiom is unique. Cofibrant (fibrant) objects are defined without initial (terminal) objects. For an orthogonal model structure on a category with enough cofibrant objects and fibrant objects, it is proved that the homotopy category is equivalent to the full subcategory of cofibrant-fibrant objects. TTF model structures, bi-reflective model structures, and torsion model structures, are introduced. They are all orthogonal. One to one correspondences between TTF model structures and TTF triples in an abelian category, bi-reflective model structures and bi-reflective pairs in any category, and torsion model structures and twin torsion pairs in an abelian category, are established in a constructive way. Torsion model structures on a poset, on the category of $G$-sets, and on the category of topological groups, are also constructed. The homotopy categories of all these model structures are computed. In particular, the homotopy category of a TTF model structure is an abelian category.

math.CT↗

arXiv2026

A Cartesian Promonoidal Kernel on $Δ$ and a Hadamard Contraction of $Δ^n$

Pointwise multiplication of nondecreasing maps defines simplicial maps $H_{p,q}:Δ^p\timesΔ^q\toΔ^{pq}$ for nonnegative integers $p,q$. We express these maps using Day's promonoidal construction for the Cartesian product of presheaves, applied to the simplex category. For $q=1$, the map is a simplicial homotopy from the constant $0$-vertex map to the identity. We compute its geometric realization by a piecewise-linear formula in barycentric coordinates and describe it on a prism triangulation.

math.CT↗

arXiv2026

A Simple Categorical Calculus of Interacting Processes

We present a calculus that models a simple sort of process interaction. Our calculus consists of a collection of terms together with a rewrite relation, parameterised by an arbitrary multicategory whose morphisms we understand as non-interactive processes. We show that our calculus is confluent and terminating, and that terms modulo the induced convertibility relation form a virtual double category. We relate our calculus to the free cornering of a monoidal category, which is a double-categorical model of process interaction that is similar in spirit to the calculus presented herein. Precisely, we construct a functor from the virtual double category given by our calculus into the underlying virtual double category of the free cornering of the free monoidal category on the multicategory of non-interacting processes. If we think of the terms of our calculus as programs and the rewriting system as an operational semantics for these programs, this functor gives a sound denotational semantics for our calculus in terms of the free cornering.

math.CT↗