Category Theory

• New submissions
• Replacements

See recent articles

Showing new listings for Friday, 18 April 2025

New submissions (showing 2 of 2 entries)

[1] arXiv:2504.12846 [pdf, other]

Title: Timing via Pinwheel Double Categories

Elena Di Lavore, Mario Román

Comments: 10 pages, uses formulations from 'Monoidal Context Theory' (arXiv:2404.06192) and 'String Diagrams for Physical Duoidal Categories' (arXiv:2406.19816)

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)

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.

[2] arXiv:2504.12965 [pdf, html, other]

Title: Topological lax comma categories

Maria Manuel Clementino, Dirk Hofmann, Rui Prezado

Comments: 26p + 3p refs

Subjects: Category Theory (math.CT); General Topology (math.GN)

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.

Replacement submissions (showing 5 of 5 entries)

[3] arXiv:2303.13865 (replaced) [pdf, html, other]

Title: Compositionality in algorithms for smoothing

Moritz Schauer, Frank van der Meulen, Andi Q. Wang

Subjects: Category Theory (math.CT)

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.

[4] arXiv:2304.04382 (replaced) [pdf, other]

Title: Birkhoff's variety theorem for relative algebraic theories

Yuto Kawase

Comments: 34 pages; A better alternative is available arXiv:2403.19661

Subjects: Category Theory (math.CT)

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.

[5] arXiv:2309.05304 (replaced) [pdf, html, other]

Title: Filtered colimit elimination from Birkhoff's variety theorem

Yuto Kawase

Comments: 23 pages; v3: final journal version

Journal-ref: J. Pure Appl. Algebra 229 (1) (2025) 107794

Subjects: Category Theory (math.CT)

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}$.

[6] arXiv:2411.09685 (replaced) [pdf, html, other]

Title: The Higher Structure of Symmetries of Axion-Maxwell Theory

Michele Del Zotto, Matteo Dell'Acqua, Elias Riedel Gårding

Comments: 62 pages, 17 figures. v2: minor clarifications, corrections and formatting for submission

Subjects: High Energy Physics - Theory (hep-th); Mathematical Physics (math-ph); Category Theory (math.CT)

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.

[7] arXiv:2502.16304 (replaced) [pdf, other]

Title: Polygraphic resolutions for operated algebras

Zuan Liu, Philippe Malbos

Subjects: Rings and Algebras (math.RA); Formal Languages and Automata Theory (cs.FL); Category Theory (math.CT)

This paper introduces the structure of operated polygraphs as a categorical model for rewriting in operated algebras, generalizing Gröbner-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.