Ternary semi-direct products in semi-abelian categories

Arnaud Duvieusart

Home/Archive/arXiv

arXiv · 2610.01671

Ternary semi-direct products in semi-abelian categories

Arnaud Duvieusart

View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the construction of ternary semi-direct products in semi-abelian categories, following a definition of higher semi-direct product previously introduced by Carrasco and Cegarra for groups and Lie algebras. We show that these objects are determined by actions and equivariant morphisms satisfying a certain compatibility condition in the ambient category, and that actions by semi-direct products are a special case of this construction. We also show how their structure can be further simplified in algebraically coherent or locally algebraically cartesian closed categories. We also give a concrete description of the structure of ternary semi-direct products in concrete categories, and how our categorical interpretation of the necessary structure relates to the group and Lie-theoretic versions given by Carrasco and Cegarra.

Explore related subjects

math.CT

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Arnaud Duvieusart. 2026-10-01. Ternary semi-direct products in semi-abelian categories. https://arxiv.org/abs/2610.01671

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↗