https://arxiv.org/api/w1M4qRG2IJ///sIwFD0dU7gKQBY 2026-03-20T14:26:33Z 9991 60 15 http://arxiv.org/abs/2603.09429v1 2026-03-10T09:43:29Z

The study of convex functions - in particular, of their optimization (really minimization) is one of the most important fields of applied mathematics. Convexity seems to be one of those incredibly well-chosen hypotheses which is just specific enough to admit a wealth of theorems, just general enough to produce a nontrivial theory (and a large amount of important examples). Convex optimization, possibly because it has an "analytical" rather than "algebraic" feel, has not been very thoroughly studied by applied category theorists. The one notable exception is [4], which studies the decomposition of optimization problems by categorical means. This paper takes a different approach, attempting to define a category with optimization problems as the objects, and to prove theorems about optimization by categorical means. As an illustration, we show how to use our methods to rederive some existing results: A minimax-type theorem, Theorem 5.5, and the fact that for convex functions, (f*)*=f (where f* is the Legendre dual), Proposition 6.6.

2026-03-10T09:43:29Z In Proceedings ACT 2025, arXiv:2603.07595 EPTCS 442, 2026, pp. 1-14 Eigil Fjeldgren Rischel 10.4204/EPTCS.442.1 http://arxiv.org/abs/2508.12545v3 2026-03-10T04:01:53Z

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

2025-08-18T00:46:01Z 22 pages, comments welcome Li Wang http://arxiv.org/abs/2410.00853v4 2026-03-09T22:34:07Z

Given a support variety theory defined on the compact part of a monoidal triangulated category, we define an extension to the non-compact part following the blueprint of Benson--Carlson--Rickard, Benson--Iyengar--Krause, Balmer--Favi, and Stevenson. We generalize important aspects of the theory of extended support varieties to the noncommutative case, and give characterizations of when an extended support theory detects the zero object, under certain assumptions. In particular, we show that when the original support variety theory is based on a Noetherian topological space, detects the zero object, satisfies a generalized tensor product property, and comes equipped with a comparison map, then the extended support variety also detects the zero object. In the case of stable categories of finite tensor categories, this gives conditions under which the central cohomological support admits an extension that detects the zero object, confirming part of a recent conjecture made by the second author together with Nakano and Yakimov.

2024-10-01T16:39:49Z 31 pages, uniqueness of the extension of the Balmer support added, to appear in J. Algebra Merrick Cai Kent B. Vashaw http://arxiv.org/abs/2502.14134v3 2026-03-09T15:13:23Z

Differential linear categories provide the categorical semantics of the multiplicative and exponential fragments of Differential Linear Logic. Briefly, a differential linear category is a symmetric monoidal category that is enriched over commutative monoids (called additive enrichment) and has a monoidal coalgebra modality that is equipped with a codereliction. The codereliction is what captures the ability of differentiating non-linear proofs via linearization in Differential Linear Logic. The additive enrichment plays an important role since it allows one to express the famous Leibniz rule. However, the axioms of a codereliction can be expressed without any sums or zeros. Therefore, it is natural to ask if one can consider a possible non-additive enriched version of differential linear categories. In this paper, we show that even if a codereliction can technically be defined in a non-additive setting, it nevertheless induces an additive enrichment via bialgebra convolution. Thus, we obtain a novel characterization of a differential linear category as a symmetric monoidal category with a monoidal bialgebra modality equipped with a codereliction. Moreover, we also show that coderelictions are, in fact, unique. We also introduce monoidal Hopf coalgebra modalities and discuss how antipodes relate to enrichment over Abelian groups.

2025-02-19T22:30:49Z Logical Methods in Computer Science, Volume 22, Issue 1 (March 10, 2026) lmcs:15271 Jean-Simon Pacaud Lemay 10.46298/lmcs-22(1:23)2026 http://arxiv.org/abs/2303.08000v5 2026-03-09T11:39:24Z

I discuss possible definitions of categories of vector spaces enriched with a notion of formal infinite linear combination in the likes of the formal infinite linear combinations one has in the context of generalized power series, I call these \emph{reasonable categories of strong vector spaces} (r.c.s.v.s.). I show that, in a precise sense, the more general possible definition for a strong vector space is that of a small $\mathrm{Vect}$-enriched endofunctor of $\mathrm{Vect}$ that is right orthogonal for every cardinal $λ$, to the cokernel of the canonical inclusion of the $λ$-th copower in the $λ$-th power of the identity functor: these form the objects for a universal r.c.s.v.s. I call $Σ\mathrm{Vect}$. I show this is equivalent to the category of \emph{ultrafinite summability spaces} defined independently in arXiv:2403.05827. I relate this category to what could be understood to be the obvious category of strong vector spaces $BΣ\mathrm{Vect}$ and to the r.c.s.v.s. $K\mathrm{TVect}_s$ of separated linearly topologized spaces that are generated by linearly compact spaces. I analyze the monoidal closed structures on various r.s.v.s. induced by the natural one on $\mathrm{Ind}(\mathrm{Vect}^{\mathrm{op}})$. In particular with respect to the problem of closure under the tensor product of $\mathrm{Ind}(\mathrm{Vect}^{\mathrm{op}})$. Most of the technical results apply to a more general class of orthogonal subcategories of $\mathrm{Ind}(\mathrm{Vect}^{\mathrm{op}})$ and we work with that generality as it's cost-free.

2023-01-30T13:42:16Z 55 pages, appeared in Appl Categor Struct, replacement of the previous erroneous version upload Appl Categor Struct 34, 15 (2026) Pietro Freni 10.1007/s10485-025-09844-w http://arxiv.org/abs/2503.23871v2 2026-03-09T10:23:34Z

We construct a finite-dimensional higher Lie groupoid integrating a singular foliation $\mathcal{F}$, under the mild assumption that the latter admits a geometric resolution. More precisely, a recursive use of bi-submersions, a tool coming from non-commutative geometry and invented by Androulidakis and Skandalis, allows us to integrate any universal Lie $ \infty$-algebroid of a singular foliation to a Kan simplicial manifold, where all components are made of non-connected manifolds which are all the same finite dimension that can be chosen to be equal to the ranks of a given geometric resolution. Its $1$-truncation is the Androulidakis-Skandalis holonomy groupoid.

2025-03-31T09:20:32Z Camille Laurent-Gengoux IECL Ruben Louis UIUC http://arxiv.org/abs/2603.08039v1 2026-03-09T07:26:22Z

Operads often arise from geometry. The standard $A_\infty$ operad can be derived from the cellular chains on the Stasheff associahedra, and an $A_\infty$ algebra is an algebra over this operad. The notion of an $\mathbf{fc}$-multicategory, also called a virtual double category, is a two-dimensional generalization of operads and multicategories. Here $\mathbf{fc}$ stands for the free category monad. We establish a natural $\mathbf{fc}$-multicategory structure on the collection of moduli spaces of pseudo-holomorphic polygons with boundary on sequences of Lagrangian submanifolds in a symplectic manifold. These moduli spaces are known to underlie the construction of Fukaya categories. Based on this, we develop the theory of differential graded (dg) variants of $\mathbf{fc}$-multicategories and show that a broad range of $A_\infty$-type structures, such as $A_\infty$ algebras, $A_\infty$ (bi)modules, and $A_\infty$ categories (possibly curved), admit a uniform operadic formulation as algebras over dg $\mathbf{fc}$-multicategories.

2026-03-09T07:26:22Z 47 pages Hang Yuan http://arxiv.org/abs/2603.07840v1 2026-03-08T23:11:19Z

We develop the basic theory of covers and envelopes in proto-exact categories. As an application, we prove the existence of enough injectives for categories of Banach modules over arbitrary Banach rings.

2026-03-08T23:11:19Z 41 pages, comments very welcome! Jack Kelly http://arxiv.org/abs/2603.07773v1 2026-03-08T19:25:58Z

In this paper, we justify and make precise an elementary approach that establishes the existence of (co)limits in $\mathbf{Cat}$. This approach, while conceptually evident, has not been made fully explicit or systematically described in the literature. We first demonstrate an equivalence between the existence of the homotopy category functor $h : \mathbf{sSet} \rightarrow \mathbf{Cat}$ and the existence of a specific class of weighted colimits in $\mathbf{Cat}$. We then construct these weighted colimits explicitly by using certain properties of simplicial sets and the nerve functor. Consequentially, the embedding $N : \mathbf{Cat} \hookrightarrow \mathbf{sSet}$ is reflective, and can be used to infer the (co)completeness of $\mathbf{Cat}$. Finally, we use this approach to reformulate the construction of coequalizers and localizations in $\mathbf{Cat}$.

2026-03-08T19:25:58Z 34 pages Varinderjit Mann http://arxiv.org/abs/2602.18682v2 2026-03-08T02:26:24Z

We study homotopy decompositions of the classifying spaces $BG$ of compact connected Lie groups obtained by (relative) fiber-cofiber construction. Given a pair of Borel fibrations $ F \to E \to BG $ and $F' \to E' \to BG $, this construction yields a tower (telescope) of spaces $ X_{m}(F,F') $ over $BG$ indexed by $ \mathbb{Z}_+ $ that converges in the sense that $\text{hocolim} \,(X_{m})\,$ is weakly homotopy equivalent to $BG$. We determine cohomological conditions on the fibrations that produce the spaces $X_{m}(F,F')$ with properties similar to those of the spaces of quasi-invariants of Weyl groups constructed by the first and third authors. We prove that, under these conditions, the resulting homotopy decompositions of $BG$ are sharp (over $\mathbb{Q}$), the spaces $X_{m}(F,F')$ are rationally formal and Cohen-Macaulay, their cohomology rings being finite rank free modules over $H^*(BG, \mathbb{Q})$. We construct many examples which include the fundamental (maximal torus) fibration $ G/T \to BT \to BG $ as well as the universal fibration $\, E_{\rm com}G_{\bf 1} \to B_{\rm com}G_{\bf 1} \to BG \,$ for the classifying space $B_{\rm com}G$ of commuting elements in $G$ introduced by Adem and Gómez, as the first fibration in the pair. In most cases, we give an explicit presentation for the (equivariant) cohomology rings in terms of characteristic classes and compute the (equivariant) $K$-theory of the spaces involved. The paper contains an Appendix, where we re-examine the topological fiber-cofiber construction in an abstract setting, proving an $\infty$-categorical extension of the classical Ganea Theorem.

2026-02-21T01:07:05Z Fix compiling issue when using cref in appendix. 47 pages Yuri Berest Yun Liu Ajay C. Ramadoss http://arxiv.org/abs/2406.14031v2 2026-03-07T03:30:10Z

Hovey's correspondence between model structures and cotorsion pairs in the setting of abelian categories, has been generalized by Nakaoka-Palu, using two cotorsion pairs, to the setting of weakly idempotent complete extriangulated categories, and the aim of the paper is to give an analogous correspondence using one (hereditary) cotorsion pair generalizing in this setting work of Beligiannis-Reiten and Cui, Lu and Zhang. Furthermore, we provide methods to construct model structures from silting objects in weakly idempotent complete extriangulated categories and co-$t$-structures on triangulated categories.

2024-06-20T06:51:10Z 31 pages. In this version, we have added the Beligiannis-Reiten correspondence Jiangsheng Hu Dongdong Zhang Pu Zhang Panyue Zhou http://arxiv.org/abs/2602.13695v2 2026-03-07T01:00:03Z

Large language models (LLMs) have recently achieved remarkable success in generating rigorous mathematical proofs, with "AI for Math" emerging as a vibrant field of research (Ju et al., 2026). While these models have mastered competition-level benchmarks like the International Mathematical Olympiad (Huang et al., 2025; Duan et al., 2025) and show promise in research applications through auto-formalization (Wang et al., 2025), their deployment via lightweight, natural-language pipelines for research problems remains underexplored. In this work, we demonstrate that next-generation models (e.g., Gemini 3 Pro, GPT-5.2 Pro), when integrated into a streamlined automated pipeline optimized for citation-based verification, can solve sophisticated research-grade problems. We evaluate our pipeline on two novel datasets: (1) the ICCM (2025) problem sets (comparable to the S.-T. Yau College Student Mathematics Contest) proposed by leading mathematicians (Shanghai Math Challenge, 2026), and (2) the "First Proof" problem set (Abouzaid et al., 2026), consisting of previously unpublished research questions. Our pipeline generated candidate proofs for all problems in the first two ICCM sets and the "First Proof" set. The solutions for the first two ICCM sets and Problem 4 of the "First Proof" set have been fully verified by our team. All generated proofs have been submitted to the official organization, and our generated results are publicly available at https://github.com/ml1301215/question_sets-test_results. We have open-sourced the code and developed a user-friendly UI for this workflow, accessible at https://github.com/ml1301215/research-math-assistant.

2026-02-14T09:36:24Z 9 pages Lve Meng University of Science and Technology of China, Zhongguancun Academy Weilong Zhao Université Paris Cité Yanzhi Zhang Zhongguancun Academy Haoxiang Guan Zhongguancun Academy Jiyan He Zhongguancun Academy http://arxiv.org/abs/2508.07735v3 2026-03-06T22:27:37Z

The filter quotient construction is a particular instance of a filtered colimit of categories. It has primarily been considered in the context of categorical logic, where it has been used effectively to construct non-trivial models, for example new models of set theory. In this work we prove that given a model category and a suitable notion of filter of subterminal objects, the filter quotient construction will preserve the model structure. We also show that this new model structure inherits certain important properties (such as being simplicial or proper), but not all (such as being cofibrantly generated). Finally, we show it is compatible with the construction of filter quotient $\infty$-categories.

2025-08-11T08:14:39Z 19 pages, to appear in Homology, Homotopy and Applications, comments still welcome! Nima Rasekh http://arxiv.org/abs/2603.06355v1 2026-03-06T15:07:58Z

For a set $A$ let ${\mathbf {SC}_A}$ be the poset of simplicial complexes whose vertices are in $A$. For a function $f : A \rightarrow B$ there are functors $ f^{! !}, f^{**}, f^{ii}: {\mathbf {SC}_A} \rightarrow {\mathbf {SC}_B}, \quad f^{!*}, f^{i*} : {\mathbf {SC}_B} \rightarrow {\mathbf {SC}_A}, $ forming a five sequence of adjoints $f^{ !!} \dashv f^{* !} \dashv f^{* *} \dashv f^{*i} \dashv f^{ii}$. We investigate in detail these functors, and use this to give three categorical structures on simplicial complexes on finite sets such that the Stanley-Reisner correspondence to commutative monomial rings gives dualities.

2026-03-06T15:07:58Z 23 pages Gunnar Fløystad http://arxiv.org/abs/2512.19558v2 2026-03-06T14:55:56Z

We show that a large class of non-abelian monoidal categories can be realized as subcategories of tilting objects in abelian monoidal categories with a highest weight structure. The construction relies on a monoidal enhancement of Brundan-Stroppel's semi-infinite Ringel duality and applies to many of Sam-Snowden's triangular categories and Knop's tensor envelopes of regular categories. We also explain how monoidal Ringel duality gives rise to monoidal structures on categories of representations of affine Lie algebras at positive levels.

2025-12-22T16:41:31Z Johannes Flake Jonathan Gruber