http://arxiv.org/api/zS5BUgOZmS1eN8D6+DZ64KifMV4 2025-04-21T00:00:00-04:00 9224 0 15 http://arxiv.org/abs/2502.02284v4 2025-04-21T16:49:35Z 2025-02-04T12:50:56Z

A Lie groupoid principal $\mbbX$ bundle is a surjective submersion $\pi\colon P\to M$ with an action of $\mathbb{X}$ on $P$ with certain additional conditions. This paper offers a suitable definition for the notion of a connection on such bundles. Although every Lie groupoid $\mathbb{X}$ has its associated Lie algebroid $A:=1^*\ker ds\to X_0$, it does not admit a natural action on its Lie algebroid. There is no natural action of $\mathbb{X}$ on $TP$ either. Choosing a connection $\mathbb{H}\subset TX_1$ on the Lie groupoid $\mathbb{X},$ and considering its induced action up to homotopy of $\mathbb{X}$ on graded vector bundle $TX_0\oplus A,$ we prove the existence of a short exact sequence of diffeological groupoids over the discrete category $M$ (with appropriate vector space structures on the fibres) for the $\mbbX$ bundle $\pi\colon P\to M.$ We introduce a notion of connection on $\mbbX$ bundle $\pi\colon P\to M,$ and show that such a connection $\omega$ splits the sequence. Finally, we show that a connection pair $(\omega, \mathbb{H})$ on $\mbbX$ bundle $\pi\colon P\to M$ is isomorphic to any other connection pair.}

Saikat Chatterjee Naga Arjun S J http://arxiv.org/abs/2405.06475v2 2025-04-21T15:08:30Z 2024-05-10T13:44:44Z

In this paper, we deal with two types of representability. The first is a variant of the Brown representability theorem in the spirit of Rouquier and Neeman. The second is a variant of the Brown-Adams representability. If $A$ is a dg-algebra over a commutative noetherian ring $R$, such that $A$ has coherent cohomology, it is shown that every cohomological (contravariant) functor $M:\mathbf{D}_{perf}(A)\to\mathrm{Mod}\textrm{-}R$, also satisfying $M(A[-n])\in\mathrm{mod}\textrm{-}R$, for all $n\in\mathbb{Z}$ is isomorphic to $\mathbf{D}(A)(-,X)|_{\mathbf{D}_{perf}(A)}$, where $X\in\mathbf{D}(A)$ is such that $H^n(X)$ is coherent for all $n\in\mathbb{Z}$.

George Ciprian Modoi Replacement for arXiv:2405.06475. Comments are welcome! http://arxiv.org/abs/2504.14935v1 2025-04-21T07:56:23Z 2025-04-21T07:56:23Z

We propose elementary definitions of opetopes and opetopic sets. We directly define opetopic sets by a simple structure and several axioms. Opetopes are then opetopic sets satisfying one more axiom. We show that our definition is equivalent to the polynomial monad definition given by Kock, Joyal, Batanin, and Mascari. We also show that our category of opetopes is equivalent to the one given by Ho Thanh.

Taichi Uemura http://arxiv.org/abs/2407.00395v2 2025-04-20T12:02:56Z 2024-06-29T10:42:53Z

We prove that for any element in the $\gamma$-completion of the space of smooth compact exact Lagrangian submanifolds of a cotangent bundle, if its $\gamma$-support is a smooth Lagrangian submanifold, then the element itself is a smooth Lagrangian. We also prove that if the $\gamma$-support of an element in the completion is compact, then it is connected.

Tomohiro Asano Stéphane Guillermou Yuichi Ike Claude Viterbo 16 pages, 2 figures. v2: Revised, to appear in J. Math. Soc. Japan http://arxiv.org/abs/2502.04930v2 2025-04-19T12:15:02Z 2025-02-07T13:51:22Z

In this paper we describe a homotopy torsion theory in the category of small symmetric monoidal categories. Thanks to the use of natural isomorphisms as basis for the nullhomotopy structure, this homotopy torsion theory enjoys some interesting 2-dimensional properties which may be the starting point for a definition of "2-dimensional torsion theory". As torsion objects we take symmetric 2-groups, thus generalising a known pointed torsion theory in the category of commutative monoids where abelian groups play the part of torsion objects. In the last part of the paper we carry out an analogous generalisation for the classical torsion theory in the category of abelian groups given by torsion and torsion-free groups.

Mariano Messora 18 pages. Revised and accepted for publication in the Journal of Algebra http://arxiv.org/abs/2503.02260v2 2025-04-19T04:09:13Z 2025-03-04T04:19:42Z

The first word in the title is intended in a sense suggested by Lawvere and Schanuel whereby finite sets are objective natural numbers. At the objective level, the axioms defining abstract Mackey and Tambara functors are categorically familiar. The first step was taken by Harald Lindner in 1976 when he recognized that Mackey functors, defined as pairs of functors, were single functors with domain a category of spans. We define objective Mackey and objective Tambara functors as parametrized categories which have local finite products and satisfy some parametrized completeness and cocompleteness restriction. However, we can replace the original parametrizing base for objective Mackey functors by a bicategory of spans while the replacement for objective Tambara functors is a bicategory obtained by iterating the span construction; these iterated spans are polynomials. There is an objective Mackey functor of ordinary Mackey functors. We show that there is a distributive law relating objective Mackey functors to objective Tambara functors analogous to the distributive law relating abelian groups to commutative rings. We remark on hom enrichment matters involving the 2-category $\mathrm{Cat}_{+}$ of categories admitting finite coproducts and functors preserving them, both as a closed base and as a skew-closed base.

Ross Street 33 pages. Some typos corrected and some examples added in this version http://arxiv.org/abs/2503.00511v2 2025-04-19T02:59:46Z 2025-03-01T14:29:39Z

The internal model principle, originally proposed in the theory of control of linear systems, nowadays represents a more general class of results in control theory and cybernetics. The central claim of these results is that, under suitable assumptions, if a system (a controller) can regulate against a class of external inputs (from the environment), it is because the system contains a model of the system causing these inputs, which can be used to generate signals counteracting them. Similar claims on the role of internal models appear also in cognitive science, especially in modern Bayesian treatments of cognitive agents, often suggesting that a system (a human subject, or some other agent) models its environment to adapt against disturbances and perform goal-directed behaviour. It is however unclear whether the Bayesian internal models discussed in cognitive science bear any formal relation to the internal models invoked in standard treatments of control theory. Here, we first review the internal model principle and present a precise formulation of it using concepts inspired by categorical systems theory. This leads to a formal definition of ``model'' generalising its use in the internal model principle. Although this notion of model is not a priori related to the notion of Bayesian reasoning, we show that it can be seen as a special case of possibilistic Bayesian filtering. This result is based on a recent line of work formalising, using Markov categories, a notion of ``interpretation'', describing when a system can be interpreted as performing Bayesian filtering on an outside world in a consistent way.

Manuel Baltieri Martin Biehl Matteo Capucci Nathaniel Virgo 14 pages, no figures http://arxiv.org/abs/2407.01203v3 2025-04-18T20:58:50Z 2024-07-01T11:50:51Z

Let $\mathcal{A}$ be an abelian category and let $F$ be a subbifunctor of the additive bifunctor $\text{Ext}_{\mathcal{A}}^{1}(-,-)\colon \mathcal{A}^{\text{op}}\times \mathcal{A}\to \mathsf{Ab}$. Buan proved in [4] that $F$ is closed if, and only if, $F$ has the $3\times 3$-lemma property, a certain diagrammatic property satisfied by the class of $F$-exact sequences. The proof of this result relies on the theory of exact categories and on the Freyd--Mitchell embedding theorem, a very well-known overpowered result. In this paper we provide a proof of Buan's result only by means of elementary methods in abelian categories. To achieve this we survey the required theory of subfunctors leading us to a self-contained exposition of this topic.

Juan Camilo Cala 17 pages. v2: font size reduced, minor typos fixed. v3: 21 pages. Language refined; the Introduction now includes Organization of the Paper and Conventions; Lemma 2.12 has been removed; the proof of Theorem 3.18 has been expanded with more details; two applications of the main result have been added http://arxiv.org/abs/2504.11760v2 2025-04-18T18:30:24Z 2025-04-16T04:40:12Z

We provide first a categorical exploration of, and then completion of the mapping of the relationships among, three fundamental perspectives on binary relations: as the incidence matrices of hypergraphs, as the formal contexts of concept lattices, and as specifying topological cosheaves of simplicial (Dowker) complexes on simplicial (Dowker) complexes. We provide an integrative, functorial framework combining previously known with three new results: 1) given a binary relation, there are order isomorphisms among the bounded edge order of the intersection complexes of its dual hypergraphs and its concept lattice; 2) the concept lattice of a context is an isomorphism invariant of the Dowker cosheaf (of abstract simplicial complexes) of that context; and 3) a novel Dowker cosheaf (of chain complexes) of a relation is an isomorphism invariant of the concept lattice of the context that generalizes Dowker's original homological result. We illustrate these concepts throughout with a running example, and demonstrate relationships to past results.

Robert E. Green Cliff A. Joslyn Audun Myers Michael G. Rawson Michael Robinson http://arxiv.org/abs/2412.16386v2 2025-04-18T16:00:45Z 2024-12-20T22:45:54Z

If we treat the symmetric group $S_n$ as a probability measure space where each element has measure $1/n!$, then the number of cycles in a permutation becomes a random variable. The Cycle Length Lemma describes the expected values of products of these random variables. Here we categorify the Cycle Length Lemma by showing that it follows from an equivalence between groupoids.

John C. Baez 6 pages http://arxiv.org/abs/2504.13708v1 2025-04-18T14:12:40Z 2025-04-18T14:12:40Z

Gelfand duality is a fundamental result that justifies thinking of general unital $C^*$-algebras as noncommutative versions of compact Hausdorff spaces. Inspired by this perspective, we investigate what noncommutative measurable spaces should be. This leads us to consider categories of monotone $\sigma$-complete $C^*$-algebras as well as categories of Boolean $\sigma$-algebras, which can be thought of as abstract measurable spaces. Motivated by the search for a good notion of noncommutative measurable space, we provide a unified overview of these categories, alongside those of measurable spaces, and formalize their relationships through functors, adjunctions and equivalences. This includes an equivalence between Boolean $\sigma$-algebras and commutative monotone $\sigma$-complete $C^*$-algebras, as well as a Gelfand-type duality adjunction between the latter category and the category of measurable spaces. This duality restricts to two equivalences: one involving standard Borel spaces, which are widely used in probability theory, and another involving the more general Baire measurable spaces. Moreover, this result admits a probabilistic version, where the morphisms are $\sigma$-normal cpu maps and Markov kernels, respectively. We hope that these developments can also contribute to the ongoing search for a well-behaved Markov category for measure-theoretic probability beyond the standard Borel setting - an open problem in the current state of the art.

Tobias Fritz Antonio Lorenzin 61 pages http://arxiv.org/abs/2404.18693v5 2025-04-18T12:45:44Z 2024-04-29T13:42:15Z

We identify Grandis' directed spaces as a full reflective subcategory of the category of multipointed $d$-spaces. When the multipointed $d$-space realizes a precubical set, its reflection coincides with the standard realization of the precubical set as a directed space. The reflection enables us to extend the construction of the natural system of topological spaces in Baues-Wirsching's sense from directed spaces to multipointed $d$-spaces. In the case of a cellular multipointed $d$-space, there is a discrete version of this natural system which is proved to be bisimilar up to homotopy. We also prove that these constructions are invariant up to homotopy under globular subdivision. These results are the globular analogue of Dubut's results. Finally, we point the apparent incompatibility between the notion of bisimilar natural systems and the q-model structure of multipointed $d$-spaces and we give some suggestions for future works.

Philippe Gaucher 41 pages, 9 figures http://arxiv.org/abs/2212.14494v3 2025-04-18T11:42:55Z 2022-12-30T00:25:12Z

We introduce monoidal streams. Monoidal streams are a generalization of causal stream functions, which can be defined in cartesian monoidal categories, to arbitrary symmetric monoidal categories. In the same way that streams provide semantics to dataflow programming with pure functions, monoidal streams provide semantics to dataflow programming with theories of processes represented by a symmetric monoidal category. Monoidal streams also form a feedback monoidal category. In the same way that we can use a coinductive stream calculus to reason about signal flow graphs, we can use coinductive string diagrams to reason about feedback monoidal categories. As an example, we study syntax for a stochastic dataflow language, with semantics in stochastic monoidal streams.

Elena Di Lavore Giovanni de Felice Mario Román Expanded version of Monoidal Streams for Dataflow Programming, arXiv:2202.02061. We thank the reviewers at LMCS for multiple suggestions that have improved this version. 55 pages, 35 figures http://arxiv.org/abs/2408.16102v2 2025-04-17T19:48:29Z 2024-08-28T19:13:34Z

We propose an interpretation for disjunctions in the presence of parallel and sum operators in both the parallel lambda calculus and the algebraic lambda calculus. Unlike conventional approaches that treat disjunction as a coproduct, we introduce a set-theoretic interpretation based on the union of the disjoint union and the Cartesian product, which does not form a coproduct in our proposed models. This leads to concrete models in the category ${\mathbf{Mag}_{\mathbf{Set}}}$, whose objects are magmas and whose arrows are those of Set, and in the category ${\mathbf{AMag}^{\mathcal{S}}_{\mathbf{Set}}}$, whose objects are action magmas and whose arrows are also those of Set. This framework enables a refined treatment of parallelism and algebraic structure. We define two lambda calculi: (i) a parallel lambda calculus where the parallel operator is a constructor of collections, and (ii) an algebraic lambda calculus incorporating scalars. Each calculus is given a formal interpretation in a corresponding category, ensuring soundness and adequacy. Our results provide a novel approach to integrating parallelism and algebraic structure within propositional logic while preserving key proof-theoretic properties.

Alejandro Díaz-Caro Octavio Malherbe 16 pages plus appendix http://arxiv.org/abs/2301.12989v4 2025-04-17T17:48:17Z 2023-01-30T15:31:08Z

We introduce partial Markov categories. In the same way that Markov categories encode stochastic processes, partial Markov categories encode stochastic processes with constraints, observations and updates. In particular, we prove a synthetic Bayes theorem and we apply it to define a syntactic partial theory of observations on any Markov category, whose normalisations can be computed in the original Markov category. Finally, we formalise Evidential Decision Theory in terms of partial Markov categories, and provide implemented examples.

Elena Di Lavore Mario Román 22 pages. Presented at LiCS'23. This version repairs a problem with Proposition 5.2 without major changes; we thank Mark Szeles for pointing it out. This version substitutes 'probability of success' for 'probability of failure' in multiple places; we thank Paolo Perrone for noticing this typo