https://arxiv.org/api/MEV7hmdgRr0FmAU/F9+rthABx+8 2026-03-20T12:29:34Z 9991 45 15 http://arxiv.org/abs/2603.11005v1 2026-03-11T17:27:17Z

We consider $(\infty,d)$-categories in the limit $d\to \infty$ via the core or localization functors that forget or invert higher non-invertible arrows, respectively. We compare the two resulting $(\infty,1)$-categories of $(\infty,\infty)$-categories and exhibit the localization-limit as a reflective localization of the core-limit. On the side, we study intermediate localizations that arise from notions of invertibility that only emerge at $d=\infty$ such as the one defined by coinduction.

2026-03-11T17:27:17Z 53 pages; comments welcome Viktoriya Ozornova Martina Rovelli Tashi Walde http://arxiv.org/abs/2601.19772v2 2026-03-11T16:11:25Z

We record a folklore theorem that says a partial group embeds in a group if and only if each word has at most one possible multiplication, regardless of choice of parenthesization. We further investigate the partial groups which are exemplars of non-embeddability. Finally we show that a partial groupoid embeds in a groupoid if and only if its reduction embeds in a group.

2026-01-27T16:36:07Z 13 pages. v2: add alternate characterization of degree of universal counterexamples to section 3 (and other minor adjustments) Philip Hackney Justin Lynd Edoardo Salati http://arxiv.org/abs/2409.10991v2 2026-03-11T12:02:46Z

Motivated by applications to spaces of embeddings and automorphisms of manifolds, we consider a tower of $\infty$-categories of truncated right-modules over a unital $\infty$-operad $\mathcal{O}$. We study monoidality and naturality properties of this tower, identify its layers, describe the difference between the towers as $\mathcal{O}$ varies, and generalise these results to the level of Morita $(\infty,2)$-categories. Applied to the ${\rm BO}(d)$-framed $E_d$-operad, this extends Goodwillie-Weiss' embedding calculus and its layer identification to the level of bordism categories. Applied to other variants of the $E_d$-operad, it yields new versions of embedding calculus, such as one for topological embeddings, based on ${\rm BTop}(d)$, or one similar to Boavida de Brito-Weiss' configuration categories, based on ${\rm BAut}(E_d)$. In addition, we prove a delooping result in the context of embedding calculus, establish a convergence result for topological embedding calculus, improve upon the smooth convergence result of Goodwillie, Klein, and Weiss, and deduce an Alexander trick for homology 4-spheres.

2024-09-17T08:50:05Z 98 pages, 3 figures, to appear in Journal of Topology Manuel Krannich Alexander Kupers http://arxiv.org/abs/2603.04856v2 2026-03-11T09:25:22Z

Let $\mathscr{A}$ be an abelian category and let $\mathscr{C}$ and $\mathscr{D}$ be additive subcategories of $\mathscr{A}$. As a generalization of Gorenstein categories, we introduce one-sided $n$-$(\C,\D)$-Gorenstein categories with $n\geq 0$. Under certain conditions, we give some equivalent characterizations of one-sided $n$-$(\C,\D)$-Gorenstein categories in term of the finiteness of projective and injective dimensions relative to one-sided Gorenstein subcategories, which induce some new equivalent characterizations of Gorenstein categories. Then we apply these results to categories of interest. In particular, a necessary condition is obtained for the validity of the Wakamatsu tilting conjecture.

2026-03-05T06:25:42Z 31 pages; accepted for publication in Journal of Algebra; typos corrected when proofreading Zhaoyong Huang http://arxiv.org/abs/2210.13387v3 2026-03-10T22:59:17Z

Compositionality proofs in higher-order languages are notoriously involved, and general semantic frameworks guaranteeing compositionality are hard to come by. In particular, Turi and Plotkin's bialgebraic abstract GSOS framework, which has been successfully applied to obtain off-the-shelf compositionality results for first-order languages, so far does not apply to higher-order languages. In the present work, we develop a theory of abstract GSOS specifications for higher-order languages, in effect transferring the core principles of Turi and Plotkin's framework to a higher-order setting. In our theory, the operational semantics of higher-order languages is represented by certain dinatural transformations that we term pointed higher-order GSOS laws. We give a general compositionality result that applies to all systems specified in this way and discuss how compositionality of the SKI calculus and the $λ$-calculus w.r.t. a strong variant of Abramsky's applicative bisimilarity are obtained as instances.

2022-10-24T16:38:55Z Sergey Goncharov Stefan Milius Lutz Schröder Stelios Tsampas Henning Urbat http://arxiv.org/abs/2212.02444v6 2026-03-10T21:56:35Z

We show that certain diagrams of $\infty$-logoses are reconstructed in homotopy type theory extended with some lex, accessible modalities, which enables us to use plain homotopy type theory to reason about not only a single $\infty$-logos but also a diagram of $\infty$-logoses. This also provides a higher dimensional version of Sterling's synthetic Tait computability -- a type theory for higher dimensional logical relations.

2022-12-05T17:41:09Z Logical Methods in Computer Science, Volume 22, Issue 1 (March 12, 2026) lmcs:13215 Taichi Uemura 10.46298/lmcs-22(1:25)2026 http://arxiv.org/abs/2603.09903v1 2026-03-10T16:56:31Z

We show that basic homotopical notions such as homotopy sets and groups, connected and truncated maps, cellular constructions and skeleta, etc., extend to the setting of $(\infty,\infty)$-categories, as well as to presentable categories enriched in $(\infty,\infty)$-categories under the Gray tensor product. The homotopy posets of an $(\infty,\infty)$-category are indexed by boundaries of categorical disks; in particular, there is a fundamental poset for each pair of objects, which we regard as a oriented point where the source and target objects have opposite orientation. In contrast to the situation in topology, weakly contractible geometric building blocks such as oriented polytopes typically have nontrivial homotopy posets. The homotopy posets assemble to form an oriented analogue of the long exact sequence of a fibration and form the layers of a categorical Postnikov tower, which converges for any $(\infty,n)$-category but not for general $(\infty,\infty)$-categories. We show that the full subcategory consisting of the Postnikov complete $(\infty,\infty)$-categories is obtained by inverting the coinductive equivalences and canonically identifies with the limit of the categories of $(\infty,n)$-categories taken along the truncation functors. We also study truncated morphisms in general oriented categories and connected morphisms in presentable oriented categories.

2026-03-10T16:56:31Z David Gepner Hadrian Heine http://arxiv.org/abs/2405.12917v3 2026-03-10T16:54:11Z

Several monads of probability measures have been shown to have presentations as codensity monads over small categories of stochastic maps. This paper studies how three key properties of these probability monads, relevant to categorical approaches to probability, can arise from their codensity presentations. We first derive the existence of a Kleisli law into the Giry monad, which provides a formal connection to measurable probability. In particular, from their codensity presentations, we prove a novel universal property of several probability monads as terminal liftings of the Giry monad. This generalises a result by Van Breugel on the Kantorovich monad, and proves the existence of such Kleisli laws. We additionally provide sufficient conditions for a codensity monad to be lax monoidal and affine, which provides a connection to the theory of Markov categories. In particular, we introduce the condition for a codensity monad to be exactly pointwise monoidal, which is then lax monoidal, and prove a characterisation of this condition in terms of Day convolution. We show that the Radon monad is exactly pointwise monoidal, and use our characterisation to give a description of the tensor product of free algebras of the Radon monad in terms of Day convolution. Finally, we show that the Giry monad is only exactly pointwise monoidal when restricted to standard Borel spaces, due to the existence of probability bimeasures that do not extend to measures.

2024-05-21T16:39:26Z 40 pages. Version published in Theory and Applications of Categories Theory and Applications of Categories. 45 (2026), No. 14, 461-500 Zev Shirazi http://arxiv.org/abs/2503.02839v2 2026-03-10T16:29:47Z

We show that the $\infty$-category of normed algebras in genuine $G$-spectra, as introduced by Bachmann-Hoyois, is modelled by strictly commutative algebras in $G$-symmetric spectra for any finite group $G$. We moreover provide an analogous description of Schwede's ultra-commutative global ring spectra in higher categorical terms. Using these new descriptions, we exhibit the $\infty$-category of ultra-commutative global ring spectra as a partially lax limit of the $\infty$-categories of genuine $G$-spectra for varying $G$, in analogy with the non-multiplicative comparison of Nardin, Pol, and the second author. Along the way, we establish various new results in parametrized higher algebra, which we hope to be of independent interest.

2025-03-04T18:04:52Z Minor revision in response to a referee report. 107 pages Tobias Lenz Sil Linskens Phil Pützstück http://arxiv.org/abs/2503.21031v2 2026-03-10T12:58:41Z

We give a local treatment of finite alignment by identifying the finitely aligned part of any (not necessarily finitely aligned) higher-rank graph. We show the finitely aligned part is itself a constellation and forms a finitely aligned relative category of paths together with the original higher-rank graph. We show that the elements of the finitely aligned part are precisely those whose cylinder sets are compact, which allows us to give novel definitions of locally compact path and boundary-path spaces for nonfinitely aligned higher-rank graphs. We extend a semigroup action and the associated semidirect product groupoid developed by Renault and Williams to define ample Hausdorff path and boundary-path groupoids. The groupoids are amenable for nonfinitely aligned k-graphs by a result of Renault and Williams. In the finitely aligned case, the path groupoids coincide with Spielberg's groupoids, and the boundary-path groupoid has an inverse semigroup model via a result of Ortega and Pardo.

2025-03-26T22:40:24Z Final version as has appeared in Semigroup Forum. Comments welcome! Malcolm Jones 10.1007/s00233-026-10626-6 http://arxiv.org/abs/2603.09618v1 2026-03-10T12:58:26Z

We construct a fractured structure, in the sense of Lurie, on the $\infty$-topos of condensed anima. This fractured structure allows us to better comprehend various properties of condensed anima - we use it to exhibit an explicit collection of jointly conservative points for condensed anima. To rule out further candidates for fractured structures, we analyze limits in the category of extremally disconnected spaces. In particular, we show that it does not admit all fibers, answering a question from Clausen.

2026-03-10T12:58:26Z 17 pages, comments very welcome! Nima Rasekh Qi Zhu http://arxiv.org/abs/2603.07595v2 2026-03-10T12:47:17Z

The Eighth International Conference on Applied Category Theory took place at the University of Florida on June 2-6 2025. The conference consisted of 2 plenary invited talks, 28 contributed talks, an online community meeting, a general community meeting, and 4 talks by junior researchers who attended the Adjoint School to present the results of their research at the school. Information regarding the conference may be found at https://gataslab.org/act2025/act2025.html. Submission to ACT2025 had three tracks: extended abstracts, software demonstrations, and proceedings. Accepted proceedings track submissions are included in this volume. The contributions to ACT2025 ranged from pure to applied and included contributions in a wide range of disciplines. ACT2025 included talks related to computer science, probability theory, chemistry, string diagrams, game semantics, quantum computation, and more.

2026-03-08T11:41:37Z EPTCS 442, 2026 Amar Hadzihasanovic Tallinn University of Technology Jean-Simon Pacaud Lemay Macquarie University 10.4204/EPTCS.442 http://arxiv.org/abs/2603.09433v1 2026-03-10T09:45:04Z

Critical pair analysis provides a convenient and computable criterion of confluence, which is a fundamental property in rewriting theory, for a wide variety of rewriting systems. Bonchi et al. showed validity of critical pair analysis for rewriting on string diagrams in symmetric monoidal categories. This work aims at automation of critical pair analysis for string diagram rewriting, and develops an algorithm that implements the core part of critical pair analysis. The algorithm enumerates all critical pairs of a given left-connected string diagram rewriting system, and it can be realised by concrete manipulation of hypergraphs. We prove correctness and exhaustiveness of the algorithm, for string diagrams in symmetric monoidal categories without a Frobenius structure.

2026-03-10T09:45:04Z In Proceedings ACT 2025, arXiv:2603.07595 EPTCS 442, 2026, pp. 91-105 Anna Matsui Johns Hopkins University, USA Innocent Obi University of Washington, USA Guillaume Sabbagh University of Technology of Compiègne, France Leo Torres Universidad Nacional de Còrdoba, Argentina Diana Kessler Tallinn University of Technology, Estonia Juan F. Meleiro University of São Paulo, Brazil Koko Muroya National Institute of Informatics, Japan and Ochanomizu University, Japan 10.4204/EPTCS.442.7 http://arxiv.org/abs/2603.09430v1 2026-03-10T09:44:01Z

Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging wires, or compact closed structures for feedback. A key example is the compact closed SMC of design problems (DP), which enables a compositional approach to co-design in engineering. However, in practice, the systems of interest may not be fully known. Recently, Markov categories have emerged as a powerful framework for modeling uncertain processes. In this work, we demonstrate how to integrate this perspective into the study of open systems while preserving consistency with the underlying SMC structure. To this end, we employ the change-of-base construction for enriched categories, replacing the morphisms of a symmetric monoidal V-category C with parametric maps A to C(X,Y) in a Markov category induced by a symmetric monoidal monad. This results in a symmetric monoidal 2-category N*C with the same objects as C and reparametrization 2-cells. By choosing different monads, we capture various types of uncertainty. The category underlying C embeds into N*C via a strict symmetric monoidal functor, allowing (co)monoidal and compact closed structures to be transferred. Applied to DP, this construction leads to categories of practical relevance, such as parametrized design problems for optimization, and parametrized distributions of design problems for decision theory and Bayesian learning.

2026-03-10T09:44:01Z In Proceedings ACT 2025, arXiv:2603.07595. An extended version of this paper, containing detailed definitions and proofs, appears at arXiv:2503.17274 EPTCS 442, 2026, pp. 30-44 Marius Furter University of Zurich Yujun Huang Massachusetts Institute of Technology Gioele Zardini Massachusetts Institute of Technology 10.4204/EPTCS.442.3 http://arxiv.org/abs/2503.05457v2 2026-03-10T09:43:45Z

Directed wiring diagrams can be used as a composition pattern for composing input/output systems such as Moore machines. In a Moore machine, the input parametrizes an internal state and the internal state defines the output. Because the value of the output is shielded from the input by the internal state, Moore machines can compose by connecting the output of any machine to the input of any other machine. These connections are defined by the trace wires in a directed wiring diagram. Unlike Moore machines, Mealy machines allow the output to be directly and instantaneously affected by the input. In order to compose such machines via directed wiring diagrams, it is necessary to avoid cycles between trace wires in the wiring digram and dependencies of outputs on inputs. To capture these patterns of composition, we introduce an operad of dependent directed wiring diagrams. We then define an algebra of Mealy machines on this operad and an algebra of stock and flow diagrams in which the values of auxiliary variables are parameterized by inputs. Finally, we give a semantics for this algebra of stock and flow diagrams by giving a morphism of algebras from stock and flow diagrams into Mealy machines.

2025-03-07T14:30:10Z In Proceedings ACT 2025, arXiv:2603.07595 EPTCS 442, 2026, pp. 15-29 Keri D'Angelo Cornell University Sophie Libkind Topos Institute 10.4204/EPTCS.442.2