https://arxiv.org/api/zS5BUgOZmS1eN8D6+DZ64KifMV4 2026-03-18T08:43:31Z 9987 0 15 http://arxiv.org/abs/2603.16437v1 2026-03-17T12:19:07Z

We present a compilation framework in which dimensional type annotations persist through multi-stage MLIR lowering, enabling the compiler to jointly resolve numeric representation selection and deterministic memory management as coeffect properties of a single program semantic graph (PSG). Dimensional inference determines value ranges; value ranges determine representation selection; representation selection determines word width and memory footprint; and memory footprint, combined with escape classification, determines allocation strategy and cross-target transfer fidelity. The Dimensional Type System (DTS) extends Hindley-Milner unification with constraints drawn from finitely generated abelian groups, yielding inference that is decidable in polynomial time, complete, and principal. Where conventional systems erase dimensional annotations before code generation, DTS carries them as compilation metadata through each lowering stage, making them available where representation and memory placement decisions occur. Deterministic Memory Management (DMM), formalized as a coeffect discipline within the same graph, unifies escape analysis and memory placement with the dimensional framework. Escape analysis classifies value lifetimes into four categories (stack-scoped, closure-captured, return-escaping, byref-escaping), each mapping to a verified allocation strategy. We identify implications for auto-differentiation: the dimensional algebra is closed under the chain rule, and forward-mode gradient computation exhibits a coeffect signature that the framework can verify. The practical consequence is a development environment where escape diagnostics, allocation strategy, representation fidelity, and cache locality estimation are design-time views over the compilation graph.

2026-03-17T12:19:07Z 29 pages, 1 table, 3 appendices with extended examples Houston Haynes http://arxiv.org/abs/2603.16375v1 2026-03-17T11:05:47Z

Effectful categories have two classes of morphisms: pure morphisms, which form a monoidal category; and effectful morphisms, which can only be combined monoidally with central morphisms (such as the pure ones), forming a premonoidal category. This suggests seeing morphisms of an effectful category as carrying a grade that combines under the monoidal product in a partially defined manner. We axiomatize this idea with the notion of monoidal category graded by a partial commutative monoid (PCM). Monoidal categories arise as the special case of grading by the singleton PCM, and effectful categories arise from grading by a two-element PCM. Further examples include grading by powerset PCMs, modelling non-interfering parallelism for programs accessing shared resources, and grading by intervals, modelling bounded resource usage. We show that effectful categories form a coreflective subcategory of PCM-graded monoidal categories; introduce cartesian structure, recovering Freyd categories; and describe PCM-graded monoidal categories as monoids by viewing a PCM as a thin promonoidal category.

2026-03-17T11:05:47Z Matthew Earnshaw Chad Nester Mario Román http://arxiv.org/abs/2603.16274v1 2026-03-17T09:05:13Z

This paper provides a preparatory introduction to sheaves and topoi, written as a conceptual continuation of the author's earlier introduction to torsors and as preparatory background for the author's arXiv paper \emph{Grothendieck Topologies and Sheaf-Theoretic Foundations of Cryptographic Security:\ Attacker Models and $Σ$-Protocols as the First Step}~\cite{InoueSecurity}. Rather than attempting an encyclopedic survey of all of topos theory, the exposition develops those parts of the subject that are most relevant for passing from torsor-based local-to-global reasoning to sheaf-theoretic and topos-theoretic reasoning: Grothendieck topologies, sheaves, torsors over a site, descent, sheaf topoi, elementary topoi, Cartesian closed structure, subobject classifiers, and internal logic. The goal is not merely motivational. We try to develop enough genuine topos theory that the reader can understand, not only heuristically but structurally, why the later cryptographic framework of~\cite{InoueSecurity} uses Grothendieck topologies and sheaf-theoretic language. To make the note more self-contained, we also include substantial appendices on basic category theory, Yoneda's lemma, limits and colimits, equalizers and coequalizers, Kan extensions, the relation between internal logic and intuitionistic logic, and exercises with solutions. In the final part, we explain how these ideas prepare the ground for a conceptual understanding of $Σ$-protocols, especially in connection with local consistency, simulability, and the passage from compatible local data to global structure.

2026-03-17T09:05:13Z 27 pages. Introductory but substantial note on torsors, sheaves, topoi, and internal logic, written as preparatory background for the author's sheaf-theoretic approach to cryptographic security and Σ-protocols. Includes appendices on category theory, Yoneda lemma, limits and colimits, Kan extensions, and exercises with solutions Takao Inoué http://arxiv.org/abs/2603.16123v1 2026-03-17T05:08:30Z

Neural networks systematically fail at compositional generalization -- producing correct outputs for novel combinations of known parts. We show that this failure is architectural: compositional generalization is equivalent to functoriality of the decoder, and this perspective yields both guarantees and impossibility results. We compile Higher Inductive Type (HIT) specifications into neural architectures via a monoidal functor from the path groupoid of a target space to a category of parametric maps: path constructors become generator networks, composition becomes structural concatenation, and 2-cells witnessing group relations become learned natural transformations. We prove that decoders assembled by structural concatenation of independently generated segments are strict monoidal functors (compositional by construction), while softmax self-attention is not functorial for any non-trivial compositional task. Both results are formalized in Cubical Agda. Experiments on three spaces validate the full hierarchy: on the torus ($\mathbb{Z}^2$), functorial decoders outperform non-functorial ones by 2-2.7x; on $S^1 \vee S^1$ ($F_2$), the type-A/B gap widens to 5.5-10x; on the Klein bottle ($\mathbb{Z} \rtimes \mathbb{Z}$), a learned 2-cell closes a 46% error gap on words exercising the group relation.

2026-03-17T05:08:30Z 20 pages, 10 tables. Code and Cubical Agda formalization: https://github.com/karsar/hott_neuro Karen Sargsyan http://arxiv.org/abs/2504.18065v2 2026-03-17T02:32:34Z

Let $G$ be a finite group. In this paper, we first introduce a new notion, so-called the Mackey double category of $G$. Then we prove that the category of Mackey double categories and the category of Mackey functors of $G$ are equivalent.

2025-04-25T04:32:28Z There are some problems with the definition of Mackey double categories (Section 3.1) Mawei Wu http://arxiv.org/abs/2601.21052v2 2026-03-16T22:51:38Z

The classical Rees construction (of common use in commutative algebra and Hodge theory) interpolates between filtrations, viewed as ${\mathbb G}_m$-equivariant vector bundles on the affine line, and their associated gradings. Various non-abelian versions have been proposed, where the multiplicative group ${\mathbb G}_m$ is replaced by an arbitrary reductive group. Building on a construction due to P. O'Sullivan, we present a Galois correspondence between quasi-homogeneous spaces and certain monoidal categories, and apply it to monoidal categories of motives with concrete applications to algebraic cycles. In particular, we give a new proof and generalization of the Clozel-Deligne theorem about numerical equivalence on abelian varieties over finite fields.

2026-01-28T21:15:38Z Improved exposition Yves André http://arxiv.org/abs/2202.02591v3 2026-03-16T20:05:00Z

For an atomic orbital base category in the sense of Barwick-Dotto-Glasman-Nardin-Shah, we introduce the category of parametrised perfect-stable categories and use it to construct the parametrised version of noncommutative motives in which algebraic K-theory is corepresented. Furthermore, we initiate a rudimentary theory of parametrised cubes which could be of independent interest, generalising some of the elements in Dotto's theory of equivariant Goodwillie calculus beyond the equivariant case. Using this cubical theory, we show that in the equivariant case for finite 2-groups G, the parametrised noncommutative motives canonically refine to G-symmetric monoidal categories. Consequently, this endows the equivariant algebraic K-theory spectra for these groups with the structure of E-infinity-ring spectra equipped with multiplicative norms in the sense of Hill-Hopkins-Ravenel. Along the way, we will also provide a machine to manufacture G-symmetric monoidal categories from symmetric monoidal categories equipped with G-actions and elucidate how the aforementioned parametrised perfect-stable categories relate to Mackey functors valued in perfect-stable categories.

2022-02-05T16:17:14Z 58 pages; v3 minor corrections and changes in exposition, addition of Hypotheses 2.2.17 and 4.2.1 Kaif Hilman http://arxiv.org/abs/2603.15858v1 2026-03-16T19:41:27Z

We study the structure of an LA-group identifying its underlying VB-group with a representation up to homotopy. We show that the Lie algebroid structure is determined by a complementary action up to homotopy of the Lie algebra of units. We identify the equations that the representation and the action need to verify in order to assemble into an LA-group, establishing an equivalence between LA-groups and LA-matched pairs. As an application, we catalog some extreme examples of representations and actions and comment on their integrability.

2026-03-16T19:41:27Z Camilo Angulo http://arxiv.org/abs/2603.08653v2 2026-03-16T14:23:50Z

In this paper we prove the theorem of the heart for Weibel's homotopy $K$-theory $KH.$ Namely, if $\mathcal{C}$ is a small stable $\infty$-category with a bounded $t$-structure, then the realization functor $D^b(\mathcal{C}^{\heartsuit})\to \mathcal{C}$ induces an equivalence of spectra $KH(\mathcal{C}^{\heartsuit})\xrightarrow{\sim}KH(\mathcal{C}).$ In a certain sense this result is dual to the Dundas-Goodwillie-McCarthy theorem. We deduce the dévissage theorem for $KH$ of abelian categories, also on the level of spectra (in all degrees). More generally, we prove these results for dualizable categories with nice $t$-structures and for the so-called coherently assembled abelian categories. The proof is heavily based on another new result, which is a much stronger version of Barwick's theorem of the heart. Its special case states the following: if $\mathcal{C}$ is a small stable category with a bounded $t$-structure, such that for some $n\geq 1$ the realization functor induces isomorphisms on $\operatorname{Ext}^{\leq n}$ between the objects of $\mathcal{C}^{\heartsuit},$ then the map $K_j(\mathcal{C}^{\heartsuit})\to K_j(\mathcal{C})$ is an isomorphism for $j\geq -n-1,$ and a monomorphism for $j = -n-2.$ Moreover, we prove that these estimates are sharp, even for dg categories over a field. In particular the naive $K$-theoretic theorem of the heart fails for $K_{-3}.$

2026-03-09T17:31:36Z 93 pages; v2: minor changes, typos fixed, references added Alexander I. Efimov http://arxiv.org/abs/2603.15048v1 2026-03-16T09:58:04Z

We consider homomorphisms of complete, separated right or two-sided linear topological rings with countable bases of neighborhoods of zero $\mathfrak f\colon\mathfrak R\to\mathfrak S$. Taut maps of right linear topological rings, strongly right taut maps of two-sided linear topological rings, left proflat continuous ring maps, and topological ring epimorphisms are discussed. For a left proflat topological ring epimorphism $\mathfrak f$, we show that the functor of restriction of scalars on the categories of left contramodules $\mathfrak f_\sharp\colon\mathfrak S{-}\mathsf{Contra}\longrightarrow\mathfrak R{-}\mathsf{Contra}$ is fully faithful. Assuming that the contramodule-to-module forgetful functor $\mathfrak R{-}\mathsf{Contra}\longrightarrow\mathfrak R{-}\mathsf{Mod}$ is fully faithful and the topological ring map $\mathfrak f$ is left proflat, we prove that the commutative square of forgetful functors between the left contramodule and module categories over $\mathfrak S$ and $\mathfrak R$ is a pseudopullback diagram. This provides a description of the essential image of $\mathfrak f_\sharp$ under the conjunction of the respective assumptions. The left adjoint functor to $\mathfrak f_\sharp$ always exists, but is not exact even when $\mathfrak f$ is (pro)flat. A right adjont functor to $\mathfrak f_\sharp$ does not always exist, but for a left proflat map $\mathfrak f$ we construct it explicitly and show that it has good exactness properties. This work is motivated by the theory of contraherent cosheaves of contramodules on formal schemes.

2026-03-16T09:58:04Z LaTeX 2e with mathrsfs and xy-pic; 53 pages, 15 commutative diagrams Leonid Positselski http://arxiv.org/abs/2303.10822v6 2026-03-16T03:28:43Z

This paper considers non-Abelian homology groups of a group diagram introduced as homotopy groups of a simplicial change. We prove a theorem stating that the non-Abelian homology groups of a group diagram are isomorphic to the homotopy groups of the homotopy colimit of a classifying space diagram, with the dimension shifted by 1. Bousfield and Kan proved an isomorphism between the homotopy groups of an Abelian simplicial group and the homology groups of this simplicial group. We generalize this to non-Abelian simplicial groups. We also develop a method for finding a non-zero homotopy group of smallest dimension for the homotopy colimit of classifying spaces. For a group diagram over a free category with a zero colimit, we obtain a criterion for the isomorphism of the first non-Abelian and Abelian homology groups.

2023-03-20T01:37:01Z 26 pages Ahmet A. Husainov http://arxiv.org/abs/2603.13946v1 2026-03-14T13:41:16Z

A quantum channel is defined as being completely positive (CP) and trace preserving (TP). While not every quantum channel is invertible or reversible, every quantum channel admits various kinds of generalized inverses such as the Moore-Penrose inverse and the Drazin inverse. A generalized inverse of a quantum channel may not itself be a quantum channel: it often fails to be CP. However, generalized inverses still play an important role in quantum error mitigation. Here, because it is often desirable for the generalized inverse of a quantum channel to be at least TP, the Drazin inverse, which is TP, is favoured over the Moore-Penrose inverse, which is not in general TP. In this paper, we take a categorical perspective on generalized inverses of quantum channels. This allows us to give a simple proof of the fact that the Drazin inverse of a quantum channel is always TP. It also allows us to show that for unital quantum channels, the Drazin inverse is also unital. We then generalize this result to dagger Drazin inverses, which allows us to show that for unital quantum channels, the Moore-Penrose inverse is both TP and unital as well. This opens the door to new applications of both the Drazin inverse and Moore-Penrose inverse in quantum information theory and, in particular, in quantum error mitigation.

2026-03-14T13:41:16Z Robin Cockett Jean-Simon Pacaud Lemay Priyaa Varshinee Srinivasan http://arxiv.org/abs/2507.07489v2 2026-03-14T12:45:13Z

We prove that the category of McKinsey-Tarski algebras is not equivalent to a variety of algebras, thus answering a question of Peter Jipsen in the negative. More generally, we show that various categories of BAOs (boolean algebras with an operator), Heyting algebras, and frames with appropriate morphisms between them are not cocomplete. As a consequence, none of these categories is equivalent to a prevariety, let alone a variety.

2025-07-10T07:21:59Z Marco Abbadini Guram Bezhanishvili Luca Carai http://arxiv.org/abs/2508.04693v2 2026-03-14T08:23:37Z

In this work, we employ the Tannaka-Krein reconstruction to compute the quantum double $\mathcal D(\mathcal G)$ of a finite 2-group $\mathcal G$ as a Hopf monoidal category. We also construct a 3+1D lattice model from the Dijkgraaf-Witten TQFT functor for the 2-group $\mathcal G$, generalizing Kitaev's 2+1D quantum double model. Notably, the string-like local operators in this lattice model are shown to form $\mathcal D(\mathcal G)$. Specializing to $\mathcal G = \mathbb{Z}_2$, we demonstrate that the topological defects in the 3+1D toric code model are modules over $\mathcal D(\mathbb{Z}_2)$.

2025-08-06T17:56:16Z 42 pages, published version. All comments are welcome J. High Energ. Phys. 2026, 133 (2026) Mo Huang 10.1007/JHEP03(2026)133 http://arxiv.org/abs/2002.01016v2 2026-03-14T07:10:47Z

We introduce a complete set of combinatorial data that encode the category $2\mathfrak{Cob}$ of all $2$-cobordisms. As an application, we show that the local monoids of $2\mathfrak{Cob}$ do not have finitely axiomatizable equational theories. As yet another application, we construct a von-Neumann-regular extension of this category. Similar results are provided for the topological annular category and various quotients of the latter, like the affine Temperley--Lieb category.

2020-02-03T21:06:36Z Version 2 is radically reworked and substantially extended and should therefore be considered essentially a new paper. 95 pages, 13 numbered figures and many unnumbered illustrations, 1 table Karl Auinger Mikhail Volkov