https://arxiv.org/api/Mj+vHgAAh7MJ+0OpXtdjJVTAKRQ 2026-03-20T10:41:24Z 9991 30 15 http://arxiv.org/abs/2312.06562v4 2026-03-13T18:19:44Z

Modern large language models (LLMs) are capable of interpreting input strings as instructions, or prompts, and carry out tasks based on them. Unlike traditional learners, LLMs cannot use back-propagation to obtain feedback, and condition their output in situ in a phenomenon known as in-context learning (ICL). Many approaches to prompting and pre-training these models involve the automated generation of these prompts, also known as meta-prompting, or prompting to obtain prompts. However, they do not formally describe the properties and behavior of the LLMs themselves. We propose a theoretical framework based on category theory to generalize and describe ICL and LLM behavior when interacting with users. Our framework allows us to obtain formal results around task agnosticity and equivalence of various meta-prompting approaches. Using our framework and experimental results we argue that meta-prompting is more effective than basic prompting at generating desirable outputs.

2023-12-11T17:46:44Z Preprint. Under review Adrian de Wynter Xun Wang Qilong Gu Si-Qing Chen http://arxiv.org/abs/2603.13022v1 2026-03-13T14:31:49Z

For an exact category we provide two constructions of an ambient category in which the initial category is resolving: In the derived category and in the Gabriel--Quillen embedding. For the first construction we describe a pre-aisle and its right orthogonal using different acyclicty conditions. We provide necessary and sufficient conditions when this pair is a t-structure.

2026-03-13T14:31:49Z 35 pages Marianne Lawson Janina C. Letz Julia Sauter http://arxiv.org/abs/2603.13002v1 2026-03-13T14:04:45Z

This paper provides a solution to the open problen formulated in Glotko and Kuzminov article, as well as examples of non-strict universal epimorphisms and monomorphisms.

2026-03-13T14:04:45Z Max Zinchenko http://arxiv.org/abs/2510.00470v5 2026-03-13T11:44:16Z

We introduce the notion of a Calabi--Yau quadruple as a generalization of Iyama--Yang's Calabi--Yau triple. For each $(d+1)$-Calabi--Yau quadruple, we show that the associated Higgs category is a $d$-Calabi--Yau Frobenius extriangulated category, which moreover admits a canonical $d$-cluster-tilting subcategory. Concrete examples arise from the construction of relative cluster categories and Higgs categories in the setting of ice quivers with potentials, as well as from the singularity category of an isolated singularity. As an application, we prove that both the relative Amiot--Guo--Keller's construction and the Higgs construction of a $(d+1)$-Calabi--Yau quadruple take silting reduction to Calabi--Yau reduction.

2025-10-01T03:42:56Z 25 pages; adding references and Corollary 3.25; removing Condition 2.1.;adding Example 3.4, Corollary 3.26(4), Remark 3.27 and Example 4.11 Yilin Wu http://arxiv.org/abs/2602.15726v4 2026-03-13T02:52:42Z

We develop a stability theory for minimal projective resolutions of $\mathbf{P}$-modules, where $\mathbf{P}$ is a finite metric poset. On the module side, we use the Gülen-McCleary distance, a specialization of a metric introduced by Gülen and McCleary, defined by factoring two modules through a common apex poset via pairs of Galois insertions and measuring the maximal displacement in the index poset. This construction generalizes the interleaving distance in both the classical one-parameter and multiparameter settings, and yields an extended metric on isomorphism classes of $\mathbf{P}$-modules. On the homological side, we define a bottleneck distance between minimal projective resolutions by matching indecomposable projectives degreewise, with contractible cones playing the role of diagonal terms. Our main theorem shows that this resolution-level bottleneck distance is always bounded above by the Gülen-McCleary distance, providing a metric stability result formulated entirely at the level of modules and their minimal projective resolutions. We then treat persistence as an application. Passing to the interval poset and a kernel construction, we interpret persistence diagrams as minimal projective resolutions of kernel modules and obtain a corresponding stability inequality. In the one-parameter case this recovers classical bottleneck stability, while in the multiparameter setting it extends naturally to signed diagrams arising from minimal projective resolutions. Via a general relationship between minimal projective resolutions and Möbius inversion, these results can be interpreted as a stability theorem for Möbius homology, while remaining entirely phrased in the language of projective resolutions.

2026-02-17T17:02:01Z We have renamed the distance we called "Galois Transport Distance" to "Gülen-McCleary Distance" after Aziz Gülen and Alex McCleary who first introduced the concept. We have also removed our proof of the triangle inequality for this distance as it is already proved by them Hideto Asashiba Amit K. Patel http://arxiv.org/abs/2412.20262v4 2026-03-12T22:35:32Z

Circuit algebras are a symmetric version of Jones's planar algebras. They originated in quantum topology as a framework for encoding virtual crossings. This paper extends existing results for modular operads to construct a graphical calculus and monad for general circuit algebras and prove an abstract nerve theorem. The proof relies on a subtle interplay between distributive laws and abstract nerve theory, and provides extra insights into the underlying structures. Oriented circuit algebras are equivalent to wheeled props and specialisations of the results to wheeled props follow as straightforward corollaries.

2024-12-28T20:31:54Z 57 pages, many figures and diagrams. Cleverref issue in V3 addressed, some other small changes since V3. Comments welcome. This paper and "Circuit algebras, modular operads and invariant theory" supercede "Brauer diagrams, modular operads, and a graphical nerve theorem for circuit algebras" arXiv:2108.04557 Sophie Raynor http://arxiv.org/abs/2603.12323v1 2026-03-12T18:00:02Z

The $(D+1)$-dimensional symmetry topological field theory (SymTFT$_{D+1}$) of a $D$-dimensional absolute quantum field theory (QFT$_D$) provides a topological characterization of symmetry data. In this framework, the SymTFT comes equipped with a physical boundary specifying a relative QFT, and a topological boundary which specifies the global form of symmetries. In general, there need not be a unique bulk theory which encodes this information but it is often helpful to have a more manifest presentation of symmetries in terms of bulk degrees of freedom. For the case of a finite non-Abelian symmetry group $G$, the bulk SymTFT may be described by a Dijkgraaf-Witten TFT with gauge group $G$. This makes manifest the ``electric'' presentation of the symmetry data but can obscure some of the magnetic data as well as non-Abelian structure present in the absolute QFT$_D$ such as symmetry operators which cannot fully detach from the topological boundary. We address these issues for 3D SymTFTs by constructing discrete BF-like theory Lagrangians for finite groups which admit a presentation as an extension by a finite Abelian group and a finite (possibly non-Abelian) group. This enables us to give a streamlined approach to reconstructing the fusion rules of the accompanying Drinfeld center, but also allows us to construct surface-attaching non-genuine line operators associated directly with non-Abelian group elements rather than just their conjugacy classes. We also sketch how our treatment generalizes to higher-dimensional SymTFTs.

2026-03-12T18:00:02Z 58 pages + appendices, 7 figures Oren Bergman Jonathan J. Heckman Max Hübner Daniele Migliorati Xingyang Yu Hao Y. Zhang http://arxiv.org/abs/2512.05232v2 2026-03-12T13:00:05Z

For any category ${\mathcal E}$ and monad $T$ thereon, we introduce the notion of $T$-simplicial object in ${\mathcal E}$. Any $T$-category in the sense of Burroni induces a $T$-simplicial object as its nerve. This nerve construction defines a fully faithful functor from the category $\mathbf{Cat}_T({\mathcal E})$ of $T$-categories to the category $s_T({\mathcal E})$ of $T$-simplicial objects, whose essential image is characterized by a simple condition. We show that the category $s_T({\mathcal E})$ is enriched over the category of simplicial sets, and that this induces the usual 2-category structure on $\mathbf{Cat}_T({\mathcal E})$. We also study enriched limits and colimits in $s_T({\mathcal E})$ and $\mathbf{Cat}_T({\mathcal E})$, and show that if ${\mathcal E}$ is locally finitely presentable and $T$ is finitary, then $\mathbf{Cat}_T({\mathcal E})$ is locally finitely presentable as a 2-category and $s_T({\mathcal E})$ is locally finitely presentable as a simplicially-enriched category.

2025-12-04T20:13:54Z 43 pages, final journal version Advances in Mathematics, 491, 110862, 2026 Soichiro Fujii Stephen Lack 10.1016/j.aim.2026.110862 http://arxiv.org/abs/2603.11833v1 2026-03-12T11:59:24Z

This paper provides a preparatory introduction to torsors, written with a view toward later applications in the author's work. Rather than aiming at a comprehensive survey, the exposition focuses on those aspects of torsors that are most useful for understanding torsor-based reasoning: group actions, orbits, free transitive actions, the absence of a canonically chosen origin, and the interpretation of group elements as transports between points. After developing the basic definition and several elementary examples, we emphasize a central theme: torsors are not only characterized abstractly by free transitive group actions, but also arise naturally as objects obtained by gluing local trivial pieces by means of transition data satisfying cocycle conditions. A brief optional section indicates a sheaf- and topos-theoretic perspective. In the final part, we explain how these ideas prepare the ground for later conceptual applications, including aspects of $Σ$-protocols.

2026-03-12T11:59:24Z 49 pages. Lecture notes / expository article. Preparatory introduction to torsors with emphasis on affine spaces, local triviality, gluing data, cocycle descriptions, and sheaf torsors; includes a conceptual bridge toward $Σ$-protocols in cryptography Takao Inoué http://arxiv.org/abs/2410.24077v3 2026-03-12T10:40:53Z

A classical result, the Stone embedding, characterizes profinite sets as totally disconnected, compact Hausdorff spaces. Building on "Pyknotic objects, I. Basic notions", which introduced a derived Stone embedding of the pro-category of $π$-finite spaces into pyknotic spaces, this paper uses the $\infty$-topoi machinery to partially characterize the essential image of this embedding, extending the classical characterization to the derived setting.

2024-10-31T16:15:07Z Amos Kaminski http://arxiv.org/abs/2511.10454v2 2026-03-12T07:30:20Z

We prove that the homological and Balmer spectra in tensor-triangular geometry are functorial in certain definable functors, thereby providing an alternative perspective on functoriality in tensor-triangular geometry from the viewpoint of purity, and generalising current results in the literature.

2025-11-13T16:19:09Z v1: 11pp. The results are an improved and generalised version of results that appeared in the original version of arXiv:2310.02159. v2: minor changes. Version accepted in Pacific J. Math Pacific J. Math. 341 (2026) 33-44 Isaac Bird Jordan Williamson 10.2140/pjm.2026.341.33 http://arxiv.org/abs/2603.12302v1 2026-03-12T05:45:21Z

Decorated cospans provide a categorical framework for composing open systems along shared interfaces. This paper is a computational proof of concept: we show that the framework produces a working coupled dynamical system when the decorations are quantitative models from different mathematical traditions. Specifically, we couple a linearised New Keynesian DSGE, a stochastic compartmental epidemic (multi-strain SEIR), and a nonlinear vaccine adoption model with hysteresis into a single sequential Monte Carlo sampler. Each model is a decorated cospan -- interior dynamics as decoration, exposed variables as interfaces. The composite system is the pushout along variable identifications, with coupling functions encoded as factor graph constraints. The coupled system produces a rejection bifurcation: some trajectories escape via vaccination, others enter a self-reinforcing cycle of mandate backlash, vaccine refusal, sustained infection, and recession. This is a structural property of the coupling, not an input assumption. Coupling shifts the output gap by 0.78 pp and rejection by 22 pp relative to the uncoupled system. A fourth narrative -- fiscal/political dynamics, calibrated to the US COVID fiscal response -- attaches via a second pushout and introduces the first positive coupling channel. With pandemic-scale spending parameters, 14% of trajectories overshoot into positive output gap territory; the bearish bias shrinks, but persists. A computable bias decomposition separates three sources of this asymmetry -- sampling, structural, and observational -- and localises the structural component to specific coupling functions whose directional asymmetry can be tested against historical analogues.

2026-03-12T05:45:21Z 30 pages, 7 figures. Companion paper: "Particle Filters and Factor Graphs for Narrative Space" [in preparation] Wesley Phoa http://arxiv.org/abs/2603.12301v1 2026-03-12T05:33:05Z

We construct a thin double category HS (Hub-and-Spoke) whose objects are closed subsets of standard simplices, horizontal morphisms are continuous maps representing portfolio re-implementation processes, and vertical morphisms are closed relations representing alignment constraints. This framework models industrial portfolio construction pipelines -- hierarchical structures in which a single investment strategy is translated through multiple stages into thousands of client portfolios. We establish four structural theorems: compositionality of alignment (functoriality), a pre-trade safety guarantee (adjunction), an order-independence result for compliance checking (lax Beck--Chevalley), and a filter-commutation law (Frobenius reciprocity). The topological requirement that permissible portfolio spaces be closed and compact -- ruling out ``phantom portfolios'' that arise from open constraint specifications -- is shown to be essential for coherence. Extensions to set-valued re-implementations via the Double Operadic Theory of Systems, stochastic re-implementations via Markov kernels on Polish spaces, and transport-based safety metrics via Wasserstein distances are developed. An abstract axiomatic treatment identifies the equipment axioms sufficient for the main results. The mathematical content is elementary -- no novel category theory is required. The contribution is the modelling claim: that these particular objects and morphisms formalise portfolio re-implementation correctly.

2026-03-12T05:33:05Z 181 pages Wesley Phoa http://arxiv.org/abs/2512.11703v2 2026-03-12T03:55:11Z

Veronese powers of operads were introduced in 2020 By Dotsenko, Markl, and Remm \cite{DMR}. The $m$-th Veronese power of a weight-graded operad $\mathcal{V}$ is the suboperad $\mathcal{V}^{[m]}$ generated by the operations of weight $m$. If $\mathcal{V}$ is generated by binary operations and governs the variety $\mathbf{V}$ of algebras, this gives a natural definition of the concept of $(m{+}1)$-ary $\mathbf{V}$-algebras. In particular, the Veronese square ($m=2$) corresponds to ternary algebras. We choose five generating operations for the Veronese square of the dendriform operad. We represent the dendriform operad as a suboperad of the Rota-Baxter operad, and express the quadratic relations satisfied by the generating operations as the kernel of a rewriting map. We use combinatorics of monomials and computational linear algebra to determine the kernel. We obtain 33 linearly independent quadratic relations satisfied by the Veronese square.

2025-12-12T16:39:12Z 11 pages, 2 figures, 2 tables Murray R. Bremner http://arxiv.org/abs/2603.11221v1 2026-03-11T18:35:59Z

We explore the sense in which the existing constructions for higher-order maps on quantum theory based on causality constraints and compositionality constraints respectively, coincide. More precisely, we construct a functor F : Caus(C) -> StProf(C1) from higher-order causal categories to the category of strong profunctors over first-order causal processes that is lax-lax duoidal, full, faithful, and strongly closed whenever C is additive. When C = CP this embedding is furthermore strong on the sequencer for duoidal categories, expressing the possibility to interpret one-way signalling (but not general non-signalling) constraints in terms of the coend calculus for profunctors. We conclude that insofar as compositional constraints can be used to express causality constraints, the profunctorial approach generalises higher-order quantum theory to a construction over general symmetric monoidal categories.

2026-03-11T18:35:59Z Matt Wilson James Hefford