Transfer theory for noetherian forms

Kishan Dayaram; Zurab Janelidze; Francois van Niekerk

Home/Archive/arXiv

arXiv · 2609.33469

Transfer theory for noetherian forms

Kishan Dayaram·Zurab Janelidze·Francois van Niekerk

View original source ↗Read source document ↗Export metadata ↓

Abstract

A noetherian form over a category enables one to formulate and prove homomorphism theorems in that category, such as the isomorphism theorems and the diagram lemmas of homological algebra. In this paper we develop a strategy for establishing existence of a noetherian form over a given category, which enables one to find noetherian forms for a broad range of concrete categories. While it was already known that all semi-abelian categories, Grandis exact categories and algebraic categories have noetherian forms, we now establish that so do wide classes of essentially algebraic and topological categories, which include the categories of small categories, groupoids, topological spaces, extended pseudometric spaces, approach spaces, graphs, measurable spaces and axiom-free relational structures.

Explore related subjects

math.CT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Kishan Dayaram, Zurab Janelidze, Francois van Niekerk. 2026-09-27. Transfer theory for noetherian forms. https://arxiv.org/abs/2609.33469

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

KEEP EXPLORING

Related papers

arXiv2026

Sheaves on Grothendieck constructions

In this paper we introduce a generalisation of a covariant Grothendieck construction to the setting of sites. We study the basic properties of defined site structures on Grothendieck constructions as well as we treat the cohomological aspects of corresponding toposes of sheaves. Despite the fact that the toposes of $G$-equivariant sheaves $Sh_G(X)$ have been introduced in literature, their cohomological aspects have not been treated properly in a desired fashion. So in the end of the paper we study some of the acyclic families, introduce new type of acyclic resolutions which we call the $G$-equivariant Godement resolutions, the degree of actions, and some other basic cohomological concepts arising in $Sh_G(X)$.

math.CT↗

arXiv2026

Euclidean interval objects in categories with finite products

Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their definition does not assume a pre-existing notion of real number. The universal property characterises such structures up to isomorphism, supports the definition of functions between intervals, and provides a means of verifying identities between functions. In the category of sets, the universal property characterises closed intervals of real numbers with nonempty interior. In the the category of topological spaces, we obtain intervals with the Euclidean topology. We also prove that every elementary topos with natural numbers object contains an interval object; furthermore, we characterise interval objects as intervals of real numbers in the Cauchy completion of the rational numbers within the Dedekind reals.

math.CT↗

arXiv2026

Formal weakly enriched category theory

A formal category theory is constructed (in the form of a proarrow equipment), encoding weak coherent enrichment over a monoidal model category $\mV$. We describe how basic categorical concepts formulated via the equipment translate back to enriched categories. We characterize Dwyer-Kan equivalences of enriched categories as $2$-categorical equivalences. Specializing to either the Kan-Quillen model structure on simplicial sets, or the Quillen-Serre model structure on topological spaces, we prove that the resulting formal category theory is equivalent to the one associated with the $\infty$-cosmos of quasicategories, thereby extending the formal approach to $(\infty,1)$-categories in the sense of Riehl-Verity to encompass both simplicial and topological categories. A notion of classifying object, formulated internally to the equipment of $\mV$-categories, leads to enriched versions of Quillen's Theorem A.

math.CT↗