https://arxiv.org/api/WyC0UgAxOVm8Qke9mSorzf+91Mg 2026-03-20T09:06:43Z 9991 15 15 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 http://arxiv.org/abs/2501.10672v4 2026-03-13T23:15:32Z

We explore connections between homotopy type theory and information theory through homotopy cardinality. We define probability types and random variable types, prove that homotopy cardinality respects dependent sums under truncation and decidability hypotheses, and show that it does not respect dependent products in general. Using the power series expansion of the logarithm, expressed type-theoretically through deloopings of finite cyclic groups, we formulate Shannon entropy as the homotopy cardinality of a type and derive the chain rule for entropy under a trivial-action hypothesis.

2025-01-18T06:33:11Z v2: Major revision; new title, rigorous proofs, Theorems 3.4 and 5.3, Proposition 5.6, counterexamples in Remarks 3.6--3.7; thanks to Omer Cantor. v3: Corrected Remark 3.8 (figure-eight cardinality is infinitesimal, not -1); added arXiv:1811.07437, arXiv:2104.11399; thanks to N. C. Favier. v4: Added Remark 4.5 on homotopy quotients; added arXiv:2412.16386; updated affiliation. 8 pages Andrés Ortiz-Muñoz http://arxiv.org/abs/2409.16428v2 2026-03-13T21:48:07Z

We define an $S_\bullet$-construction for squares categories, and introduce a class of squares categories we call "proto-Waldhausen" which capture the properties required for the $S_\bullet$-construction to model the K-theory space. The primary question we investigate is when the $S_\bullet$-construction of a squares category produces a 2-Segal space. We show that the answer to this question is affirmative when the squares category satisfies certain "stability" conditions.

2024-09-24T19:47:45Z Appendix removed; examples are now concentrated in a single section to improve readability; a comparison of the various relevant double-categorical structures was added in the last page Maxine E. Calle Maru Sarazola http://arxiv.org/abs/2603.13569v1 2026-03-13T20:17:39Z

This article provides a general framework in the context of category theory where one can recognize as particular instances of the same abstract construction several notions of completion, envelope, and hull, such as the Boolean algebra completion of a Boolean algebra, the Dedekind--MacNeille completion of an ordered set, the multiplier ring of a ring, the multiplier algebra and the von Neumann envelope of a C*-algebra. Towards our goal, we lay the foundations of \emph{polarized} category theory, which is a refinement of classical category theory where categories are endowed with two distinguished classes of \emph{positive} and \emph{negative} arrows. We define in this context the notion of \emph{polarity}, and \emph{voltage}. We explain how a voltage can be created through a \emph{capacitor}, which is essentially a polarized version of the notion of reflective subcategory. In particular, this produces a \emph{completion functor} (which in the classical case is just the reflector) which assigns to each object its completion or hull. These applies even when the completion is not (and cannot be) given by a functor on the whole category, as it is most often the case. In this framework, we obtain a general theorem ensuring the existence and uniqueness of a functorial completion functor. The corresponding completion of each object is characterized by its two universal properties with respect to positive and negative arrows.

2026-03-13T20:17:39Z 27 pages Ivan Di Liberti Martino Lupini