http://arxiv.org/api/WyC0UgAxOVm8Qke9mSorzf+91Mg 2025-04-22T00:00:00-04:00 9224 15 15 http://arxiv.org/abs/2504.12965v1 2025-04-17T14:18:42Z 2025-04-17T14:18:42Z

This paper investigates the interplay between properties of a topological space $X$, in particular of its natural order, and properties of the lax comma category $\mathsf{Top} \Downarrow X$, where $\mathsf{Top}$ denotes the category of topologicalspaces and continuous maps. Namely, it is shown that, whenever $X$ is a topological $\bigwedge$-semilattice, the canonical forgetful functor $\mathsf{Top} \Downarrow X \to \mathsf{Top}$ is topological, preserves and reflects exponentials, and preserves effective descent morphisms. Moreover, under additional conditions on $X$, a characterisation of effective descent morphisms is obtained.

Maria Manuel Clementino Dirk Hofmann Rui Prezado 26p + 3p refs http://arxiv.org/abs/2309.05304v3 2025-04-17T14:01:37Z 2023-09-11T08:41:20Z

Birkhoff's variety theorem, a fundamental theorem of universal algebra, asserts that a subclass of a given algebra is definable by equations if and only if it satisfies specific closure properties. In a generalized version of this theorem, closure under filtered colimits is required. However, in some special cases, such as finite-sorted equational theories and ordered algebraic theories, the theorem holds without assuming closure under filtered colimits. We call this phenomenon "filtered colimit elimination," and study a sufficient condition for it. We show that if a locally finitely presentable category $\mathscr{A}$ satisfies a noetherian-like condition, then filtered colimit elimination holds in the generalized Birkhoff's theorem for algebras relative to $\mathscr{A}$.

Yuto Kawase 10.1016/j.jpaa.2024.107794 23 pages; v3: final journal version J. Pure Appl. Algebra 229 (1) (2025) 107794 http://arxiv.org/abs/2504.12846v1 2025-04-17T11:02:52Z 2025-04-17T11:02:52Z

We discuss string diagrams for timed process theories -- represented by duoidally-graded symmetric strict monoidal categories -- built upon the string diagrams of pinwheel double categories.

Elena Di Lavore Mario Román 10 pages, uses formulations from 'Monoidal Context Theory' (arXiv:2404.06192) and 'String Diagrams for Physical Duoidal Categories' (arXiv:2406.19816) http://arxiv.org/abs/2304.04382v4 2025-04-17T09:07:20Z 2023-04-10T04:48:33Z

An algebraic theory, sometimes called an equational theory, is a theory defined by finitary operations and equations, such as the theories of groups and of rings. It is well known that algebraic theories are equivalent to finitary monads on $\mathbf{Set}$. In this paper, we generalize this phenomenon to locally finitely presentable categories using partial Horn logic. For each locally finitely presentable category $\mathscr{A}$, we define an "algebraic concept" relative to $\mathscr{A}$, which will be called an $\mathscr{A}$-relative algebraic theory, and show that $\mathscr{A}$-relative algebraic theories are equivalent to finitary monads on $\mathscr{A}$. In establishing such equivalence, a generalized Birkhoff's variety theorem plays an important role.

Yuto Kawase 34 pages; A better alternative is available arXiv:2403.19661 http://arxiv.org/abs/2502.16304v2 2025-04-16T23:07:57Z 2025-02-22T17:28:07Z

This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gr\"obner-Shirshov bases with non-monomial termination orders. We provide a combinatorial description of critical branchings of operated polygraphs using the structure of polyautomata that we introduce in this paper. Polyautomata extend linear polygraphs equipped with an operator structure formalized by a pushdown automaton. We show how to construct polygraphic resolutions of free operated algebras from their confluent and terminating presentations. Finally, we apply our constructions to several families of operated algebras, including Rota-Baxter algebras, differential algebras, and differential Rota-Baxter algebras.

Zuan Liu Philippe Malbos http://arxiv.org/abs/2411.09685v2 2025-04-16T19:43:02Z 2024-11-14T18:52:31Z

Generalized symmetries of quantum field theories can be characterized by topological defects/operators organized into a higher category. In this paper we consider the Axion-Maxwell field theory in four dimensions and, building on the construction of its topological defects by Choi, Lam, Shao, Hidaka, Nitta and Yokokura, we discuss field theoretical methods to compute some aspects of the higher structure of such category. In particular, we determine explicitly the generalized F-symbols for the non-invertible electric 1-form symmetry of the theory. Along the way, we clarify various aspects of the bottom-up worldvolume approach towards the calculus of defects.

Michele Del Zotto Matteo Dell'Acqua Elias Riedel Gårding 62 pages, 17 figures. v2: minor clarifications, corrections and formatting for submission http://arxiv.org/abs/2303.13865v3 2025-04-16T19:12:14Z 2023-03-24T09:00:24Z

Backward Filtering Forward Guiding (BFFG) is a bidirectional algorithm proposed in Mider et al. [2021] and studied more in depth in a general setting in Van der Meulen and Schauer [2022]. In category theory, optics have been proposed for modelling systems with bidirectional data flow. We connect BFFG with optics by demonstrating that the forward and backwards map together define a functor from a category of Markov kernels into a category of optics, which can furthermore be lax monoidal under further assumptions.

Moritz Schauer Frank van der Meulen Andi Q. Wang http://arxiv.org/abs/2504.12158v1 2025-04-16T15:04:48Z 2025-04-16T15:04:48Z

In many situations one encounters a notion that resembles that of a monoid. It consists of a carrier and two operations that resemble a unit and a multiplication, subject to three equations that resemble associativity and left and right unital laws. The question then arises whether this notion in fact that of a monoid in a suitable sense. Category theorists have answered this question by providing a notion of monoid in a monoidal category, or more generally in a multicategory. While this encompasses many examples, it is unsuitable in other cases, such as the notion of relative monad, and the modelling of call-by-push-value sequencing. In each of these examples, the leftmost and/or the rightmost factor of a multiplication or associativity law seems to be distinguished. To include such examples, we generalize the multicategorical framework in two stages. Firstly, we move to the framework of a left-skew multicategory (due to Bourke and Lack), which generalizes both multicategory and left-skew monoidal category. The notion of monoid in this framework encompasses examples where only the leftmost factor is distinguished, such as the notion of relative monad. Secondly, we consider monoids in the novel framework of a bi-skew multicategory. This encompasses examples where both the leftmost and the rightmost factor are distinguished, such as the notion of a category on a span, and the modelling of call-by-push-value sequencing. In the bi-skew framework (which is the most general), we give a coherence result saying that a monoid corresponds to an unbiased monoid, i.e. a map from the unit bi-skew multicategory.

Paul Blain Levy Morgan Rogers 15 pages http://arxiv.org/abs/2504.12128v1 2025-04-16T14:43:44Z 2025-04-16T14:43:44Z

We introduce the $L_!^S$-calculus, a linear lambda-calculus extended with scalar multiplication and term addition, that acts as a proof language for intuitionistic linear logic (ILL). These algebraic operations enable the direct expression of linearity at the syntactic level, a property not typically available in standard proof-term calculi. Building upon previous work, we develop the $L_!^S$-calculus as an extension of the $L^S$-calculus with the $!$ modality. We prove key meta-theoretical properties--subject reduction, confluence, strong normalisation, and an introduction property--as well as preserve the expressiveness of the original $L^S$-calculus, including the encoding of vectors and matrices, and the correspondence between proof-terms and linear functions. A denotational semantics is provided in the framework of linear categories with biproducts, ensuring a sound and adequate interpretation of the calculus. This work is part of a broader programme aiming to build a measurement-free quantum programming language grounded in linear logic.

Alejandro Díaz-Caro Malena Ivnisky Octavio Malherbe arXiv admin note: substantial text overlap with arXiv:2310.08517 http://arxiv.org/abs/2504.11772v1 2025-04-16T05:24:55Z 2025-04-16T05:24:55Z

In this work, we provide a way of constructing new semiorthogonal decompositions using metric techniques (\`a la Neeman). Given a semiorthogonal decomposition on a category with a special kind of metric, which we call a compressible metric, we can construct new semiorthogonal decomposition on a category constructed from the given one using the aforementioned metric. In the algebro-geometric setting, this gives us a way of producing new semiorthogonal decompositions on various small triangulated categories associated to a scheme, if we are given one. In the general setting, the work is related to that of Sun-Zhang, while its applications to algebraic geometry are related to the work of Bondarko and Kuznetsov-Shinder.

Kabeer Manali Rahul http://arxiv.org/abs/2504.11768v1 2025-04-16T05:11:38Z 2025-04-16T05:11:38Z

We prove new Brown representability theorems for triangulated categories using metric techniques as introduced in the work of Neeman. In the setting of algebraic geometry, this gives us new representability theorems for homological and cohomological functors on the bounded derived category of coherent sheaves. To prove this result, we introduce a generalisation of the notion of an approximable triangulated category.

Kabeer Manali Rahul http://arxiv.org/abs/2304.09273v3 2025-04-15T22:21:02Z 2023-04-18T20:21:26Z

In order to diagnose the cause of some defects in the category of canonical hypergroups, we investigate several categories of hyperstructures that generalize hypergroups. By allowing hyperoperations with possibly empty products, one obtains categories with desirable features such as completeness and cocompleteness, free functors, regularity, and closed monoidal structures. We show by counterexamples that such constructions cannot be carried out within the category of canonical hypergroups. This suggests that (commutative) unital, reversible hypermagmas -- which we call mosaics -- form a worthwhile generalization of (canonical) hypergroups from the categorical perspective. Notably, mosaics contain pointed simple matroids as a subcategory, and projective geometries as a full subcategory.

So Nakamura Manuel L. Reyes 10.1016/j.jalgebra.2025.03.056 54 pages, 3 figures. Corrections made throughout, but especially to Theorem 1.1, Lemma 2.13, and Theorem 4.19. Added Lemma 4.22 and Proposition 4.23. Final version http://arxiv.org/abs/2504.02409v2 2025-04-15T20:36:46Z 2025-04-03T08:59:33Z

An itegory is a restriction category with a Kleene wand. Cockett, D\'iaz-Bo\"ils, Gallagher, and Hrube\v{s} briefly introduced Kleene wands to capture iteration in restriction categories arising from complexity theory. The purpose of this paper is to develop in more detail the theory of Kleene wands and itegories. A Kleene wand is a binary operator which takes in two disjoint partial maps, an endomorphism ${X \to X}$ and a map ${X \to A}$ and produces a partial map $X \to A$. This latter map is interpreted as iterating the endomorphism until it lands in the domain of definition of the second map. In a setting with infinite disjoint joins, there is always a canonical Kleene wand given by realizing this intuition. The standard categorical interpretation of iteration is via trace operators on coproducts. For extensive restriction categories, we explain in detail how having a Kleene wand is equivalent to this standard interpretation of iteration. This suggests that Kleene wands can be used to replace parametrized iteration and traces in restriction categories which lack coproducts. Further evidence of this is exhibited by providing a matrix construction which embeds an itegory into a traced extensive restriction category. We also consider Kleene wands in classical restriction categories and show how, in this case, a Kleene wand is completely determined by its endomorphism component.

Robin Cockett Jean-Simon Pacaud Lemay We dedicate this paper to Phil Scott (1947 -- 2023). Thank you to Ben MacAdam for reminding us about some previous work http://arxiv.org/abs/2502.04440v2 2025-04-15T17:09:51Z 2025-02-06T19:00:01Z

Global invertible symmetries act unitarily on local observables or states of a quantum system. In this note, we aim to generalise this statement to non-invertible symmetries by considering unitary actions of higher fusion category symmetries $\mathcal{C}$ on twisted sector local operators. We propose that the latter transform in $\ast$-representations of the tube algebra associated to $\mathcal{C}$, which we introduce and classify using the notion of higher $S$-matrices of higher braided fusion categories.

Thomas Bartsch 18 pages, citations added http://arxiv.org/abs/2502.06010v2 2025-04-15T16:06:09Z 2025-02-09T20:00:29Z

The purpose of this short note is to fill a gap in the literature: Frobenius reciprocity in the theory of doctrines is closely related to modular connections in projective homological algebra and the notion of a principal element in abstract commutative ideal theory. These concepts are based on particular properties of Galois connections which play an important role also in the abstract study of group-like structures from the perspective of categorical/universal algebra; such role stems from a classical and basic result in group theory: the lattice isomorphism theorem.

Amartya Goswami Zurab Janelidze Graham Manuell 7 pages