arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.36020

Diagrammatic bases from stratified normalization

Stéphane Gaussent·Zuan Liu·Philippe Malbos
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this article, we introduce a new rewriting method for computing hom-bases of diagrammatic categories. Our approach is based on stratified presentations, obtained by partitioning an equational presentation into strata according to the rewriting behavior of its relations. We establish modularity principles for termination and confluence in stratified rewriting systems with coefficients in a ring. We then introduce a completion procedure that transforms a stratified presentation into a normalized one, in which mixed interactions between successive strata are absorbed into the normalized rewriting rules, thereby inducing modularity of confluence. This leads to a stratified hom-basis theorem for diagrammatic categories. We illustrate the method by applying it to the $q$-Schur category, for which we construct a new hom-basis.

Explore related subjects

math.CTmath.QAmath.RT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Stéphane Gaussent, Zuan Liu, Philippe Malbos. 2026-09-28. Diagrammatic bases from stratified normalization. https://arxiv.org/abs/2609.36020

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

KEEP EXPLORING

Related papers

arXiv2026

Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics

A morphism of semantic models is a map under which denotation is invariant. We characterize such morphisms for typed extensional and intensional semantics with finitely many index sorts. Maps on entities and frames induce logical relations on all types, and the fundamental lemma yields invariance when lexical constants are related and frame maps satisfy the appropriate boundedness conditions. The lexicon determines the resulting class of morphisms. Among entity maps, universal and existential determiners force surjectivity, proportional determiners additionally constrain fiber sizes, counting determiners force bijectivity, and identity forces injectivity. Modal operators impose parallel conditions on frame maps: necessity requires bounded morphisms, counting modalities require local bijectivity, and proportional modalities require preservation and reflection of majorities over accessible sets. For lexicons containing the relevant counting determiners, morphisms are bijective on entities. The extensional models then form a groupoid. Intensional morphisms may still act nontrivially on frames. Induced logical relations can fail to compose. We, therefore, identify a composability condition on lexical types under which the models form a category, and polarized types and the standard lexicons considered here satisfy it. We identify ordinary extensional models with the zero-index case for extensional lexicons, determine when index sorts collapse, analyze the effect of enriching the lexicon with index quantification and accessibility, and show that product frames arise from a faithful functor on the corresponding frame categories.

math.CT↗
arXiv2026

The algebras of the Giry monad

The algebras of the Giry monad on the category of measurable spaces are derived. These algebras, which we denote as $\mathbf{Cvx}_{Meas}$, are measurable convex spaces satisfying three properties: (1) all the affine sum operations are measurable functions, (2) $X$ is coseparated by affine measurable maps to $\mathbb{R}_{\infty}$, and (3) $X$ satisfies a fullness property. The category of algebras has as morphisms affine measurable functions.

math.CT↗
arXiv2026

Generalised ultracategories and conceptual completeness of geometric logic

We introduce the theory of generalised ultracategories, these are relational extensions to ultracategories as defined by Lurie. An essential example of generalised ultracategories are topological spaces, and these play a fundamental role in the theory of generalised ultracategories. Another example of these generalised ultracategories is points of toposes. In this paper, we show a conceptual completeness theorem for toposes with enough points, stating that any such topos can be reconstructed from its generalised ultracategory of points. This is done by considering left ultrafunctors from topological spaces to the category of points and paralleling this construction with another known fundamental result in topos theory, namely that any topos with enough points is a colimit of a topological groupoid.

math.CT↗