Tootfinder

Quantaloid-enriched categories: Factorization, weak classifiers, and symmetry
Javier Guti\'errez Garc\'ia, Ulrich H\"ohle
https://arxiv.org/abs/2510.10162 https://

Quantaloid-enriched categories: Factorization, weak classifiers, and symmetry
This paper provides a comprehensive overview of some of the foundational properties of categories enriched over quantaloids, along with several new results. We demonstrate that the category whose objects are quantaloid-enriched categories and whose morphisms are left adjoint distributors admits an (epi, extremal mono)--factorization system. Furthermore, we prove that the category of cocomplete quantaloid-enriched categories satisfies the weak subobject classifier axiom, under stability conditio…

Homological epimorphisms in functor categories and singularity categories
Juan Andr\'es Orozco Guti\'errez, Valente Santiago Vargas
https://arxiv.org/abs/2510.09855 http…

Homological epimorphisms in functor categories and singularity categories
Given a homological epimorphism $π:\mathcal{C}\longrightarrow \mathcal{C}/\mathcal{I}$ between $K$-categories, we show that if the ideal $\mathcal{I}$ satisfies certain conditions, then there exists an equivalence between the singularity categories $\mathbf{D}_{sg}(\mathrm{Mod}(\mathcal{C}))$ and $ \mathbf{D}_{sg}(\mathrm{Mod}(\mathcal{C}/\mathcal{I}))$. This result generalizes the one obtained by Xiao-Wu Chen in [6]. We apply our result to the one point extension category and show that there …

arxiv_authors: Arxiv authors (1993-2003)
Scientific collaborations between authors of papers submitted to arxiv.org, under 5 categories: gr-qc, astro-ph, cond-mat, hep-ph, and hep-th categories, spanning January 1993 to April 2003. If an author i co-authored a paper with author j, the graph contains a undirected edge from i to j. If the paper is co-authored by k authors this generates a completely connected (sub)graph on k nodes.
This network has 26197 nodes and 28980 edges.

Derived mapping spaces of $\infty$-categories
Kensuke Arakawa, Daniel Carranza, Chris Kapulkin
https://arxiv.org/abs/2509.10288 https://arxiv.org/pdf/2509.…

Derived mapping spaces of $\infty$-categories
We prove the Derived Mapping Space Lemma, which generalizes the central theorem of Cisinski's work on calculus of fractions for $\infty$-categories, and allows us to provide a unified framework for analyzing mapping spaces in localizations of ($\infty$-)categories. As an application, we give a sufficient condition for when a cubical or simplicial category is the localization of its underlying category at homotopy equivalences.

Semisimple module categories with fusion rules of the compact full flag manifold type
Mao Hoshino
https://arxiv.org/abs/2510.12057 https://arxiv.org/pdf/25…

Semisimple module categories with fusion rules of the compact full flag manifold type
We classify semisimple left module categories over the representation category of a type A quantum group whose fusion rules arise from the maximal torus. The classification is connected to equivariant Poisson structures on compact full flag manifolds in the operator-algebraic setting, and on semisimple coadjoint orbits in the algebraic setting. We also provide an explicit construction based on the BGG categories of deformed quantum enveloping algebras, whose unitarizability corresponds to being…

Regular sequences for triangulated categories
Antonia Kekkou, Janina C. Letz, Marc Stephan
https://arxiv.org/abs/2509.09941 https://arxiv.org/pdf/2509.0994…

Regular sequences for triangulated categories
This paper systematically develops a notion of regular sequences in the context of $R$-linear triangulated categories for a graded-commutative ring $R$. The notion has equivalent characterizations involving Koszul objects and local cohomology. The main examples are in the context of the Hochschild cohomology ring or the group cohomology ring acting on derived or stable categories. As applications, lengths of regular sequences provide lower bounds for level and Rouquier dimension.

Explicitly Computing with Fukaya Categories of Surfaces with Boundary
Chris Grossack
https://arxiv.org/abs/2510.10867 https://arxiv.org/pdf/2510.10867

Explicitly Computing with Fukaya Categories of Surfaces with Boundary
Fukaya categories are deep and rich invariants of symplectic manifolds which are notoriously difficult to compute explicitly. In the case of surfaces, however, the situation is simple, combinatorial,and is very well understood (at least by experts). In this expository paper we will give an introduction with many examples to welcome newcomers to the area and hopefully equip them with the tools to independently compute Fukaya categories of surfaces.

Universal properties of Delannoy categories
Kevin Coulembier, Nate Harman, Andrew Snowden
https://arxiv.org/abs/2510.10317 https://arxiv.org/pdf/2510.10317…

Universal properties of Delannoy categories
Recently, the second and third authors introduced a new symmetric tensor category $\underline{\mathrm{Perm}}(G, μ)$ associated to an oligomorphic group $G$ with a measure $μ$. When $G$ is the group of order preserving self-bijections of the real line there are four such measures, and the resulting tensor categories are called the Delannoy categories. The first Delannoy category is semi-simple, and was studied in detail by Harman, Snowden, and Snyder. We give universal properties for all four …

Type Theory with Single Substitutions
Ambrus Kaposi (E\"otv\"os Lor\'and University), Szumi Xie (E\"otv\"os Lor\'and University)
https://arxiv.org/abs/2510.12303

Type Theory with Single Substitutions
Type theory can be described as a generalised algebraic theory. This automatically gives a notion of model and the existence of the syntax as the initial model, which is a quotient inductive-inductive type. Algebraic definitions of type theory include Ehrhard's definition of model, categories with families (CwFs), contextual categories, Awodey's natural models, C-systems, B-systems. With the exception of B-systems, these notions are based on a parallel substitution calculus where substitutions …

arxiv_authors: Arxiv authors (1993-2003)
Scientific collaborations between authors of papers submitted to arxiv.org, under 5 categories: gr-qc, astro-ph, cond-mat, hep-ph, and hep-th categories, spanning January 1993 to April 2003. If an author i co-authored a paper with author j, the graph contains a undirected edge from i to j. If the paper is co-authored by k authors this generates a completely connected (sub)graph on k nodes.
This network has 108300 nodes and 186936 edges.

The Hitchhiker’s Guide to challenges in transport policy research: Towards ANSWERing questions regarding life, mobility, and everything
https://www.sciencedirect.com/science/article/pii/S0965856425002782
Looks interesting, and cool paper title! 🤓

r-charts.com provides example code for a variety of chart types, both in base R and ggplot: #rstats #ggplot…

R CHARTS | A collection of charts and graphs made with the R programming language
Over 1400 graphs with reproducible code divided in 8 big categories and over 50 chart types, in addition of tools to choose and create colors and color palettes

arxiv_authors: Arxiv authors (1993-2003)
Scientific collaborations between authors of papers submitted to arxiv.org, under 5 categories: gr-qc, astro-ph, cond-mat, hep-ph, and hep-th categories, spanning January 1993 to April 2003. If an author i co-authored a paper with author j, the graph contains a undirected edge from i to j. If the paper is co-authored by k authors this generates a completely connected (sub)graph on k nodes.
This network has 68746 nodes and 51971 edges.

FSP-DETR: Few-Shot Prototypical Parasitic Ova Detection
Shubham Trehan, Udhav Ramachandran, Akash Rao, Ruth Scimeca, Sathyanarayanan N. Aakur
https://arxiv.org/abs/2510.09583 ht…

FSP-DETR: Few-Shot Prototypical Parasitic Ova Detection
Object detection in biomedical settings is fundamentally constrained by the scarcity of labeled data and the frequent emergence of novel or rare categories. We present FSP-DETR, a unified detection framework that enables robust few-shot detection, open-set recognition, and generalization to unseen biomedical tasks within a single model. Built upon a class-agnostic DETR backbone, our approach constructs class prototypes from original support images and learns an embedding space using augmented v…

Reconstruction of tensor categories of type $G_2$
Lilit Martirosyan, Hans Wenzl
https://arxiv.org/abs/2510.09922 https://arxiv.org/pdf/2510.09922

Reconstruction of tensor categories of type $G_2$
We prove that any non-symmetric ribbon tensor category $\mathcal{C}$ with the fusion rules of the compact group of type $G_2$ needs to be equivalent to the representation category of the corresponding Drinfeld-Jimbo quantum group for $q$ not a root of unity. We also prove an analogous result for the corresponding finite fusion tensor categories.

Looking at the "deprivation map" of England, most of where I spend time in London seems to have this sort of profile:
https://mhclgdigital.blog.gov.uk/2025/11/13/the-local-deprivation-explorer-mak…

Triangulated Categories Admitting Linear Generators
Marina Godinho, Dave Murphy
https://arxiv.org/abs/2510.12433 https://arxiv.org/pdf/2510.12433

Triangulated Categories Admitting Linear Generators
The main result of this paper is that there is an additive equivalence between $\overline{\mathcal{C}}_n$, the Paquette-Yildirim completion of the discrete cluster categories of Dynkin type $A_{\infty}$, and the perfect derived category of a certain DG algebra. This additive equivalence preserves some of the triangulated structure: it commutes with the suspension functor and preserves triangles with at least two indecomposable terms. In the process, we introduce the notion of a linear generator…

GenCNER: A Generative Framework for Continual Named Entity Recognition
Yawen Yang, Fukun Ma, Shiao Meng, Aiwei Liu, Lijie Wen
https://arxiv.org/abs/2510.11444 https://

GenCNER: A Generative Framework for Continual Named Entity Recognition
Traditional named entity recognition (NER) aims to identify text mentions into pre-defined entity types. Continual Named Entity Recognition (CNER) is introduced since entity categories are continuously increasing in various real-world scenarios. However, existing continual learning (CL) methods for NER face challenges of catastrophic forgetting and semantic shift of non-entity type. In this paper, we propose GenCNER, a simple but effective Generative framework for CNER to mitigate the above dra…

Some Properties of Homology and Exactness of Nomura's Homology Sequences in a Grandis Homological Category
Yaroslav Kopylov, Vadim Leshkov
https://arxiv.org/abs/2510.11672 h…

Some Properties of Homology and Exactness of Nomura's Homology Sequences in a Grandis Homological Category
We consider Lambek's invariants $\text{Ker}$ and $\text{Im}$ for commutative squares in Grandis homological categories. We prove that Nomura's null sequences exist in such categories and find sufficienct conditions for their exactness. We also prove the coincidence of left and right homology in Grandis homological categories.

Adding All Flavors: A Hybrid Random Number Generator for dApps and Web3
Ranjith Chodavarapu, Rabimba Karanjai, Xinxin Fan, Weidong Shi, Lei Xu
https://arxiv.org/abs/2510.12062 h…

Adding All Flavors: A Hybrid Random Number Generator for dApps and Web3
Random numbers play a vital role in many decentralized applications (dApps), such as gaming and decentralized finance (DeFi) applications. Existing random number provision mechanisms can be roughly divided into two categories, on-chain, and off-chain. On-chain approaches usually rely on the blockchain as the major input and all computations are done by blockchain nodes. The major risk for this type of method is that the input itself is susceptible to the adversary's influence. Off-chain…

IMDb adds 12 new professional credit categories, including intimacy coordination, choreography, craft services, puppetry, and voice actor dubbing (Jazz Tangcay/Variety)
https://variety.com/2025/artisans/news/imdb-intimacy-coordination-dubb…

IMDb Adds Intimacy Coordination, Dubbing and More Categories
IMDb adds 12 new professional credit categories including choreography and intimacy coordination.

Between Knowledge and Care: Evaluating Generative AI-Based IUI in Type 2 Diabetes Management Through Patient and Physician Perspectives
Yibo Meng, Ruiqi Chen, Zhiming Liu, Xiaolan Ding, Yan Guan
https://arxiv.org/abs/2510.10048

Between Knowledge and Care: Evaluating Generative AI-Based IUI in Type 2 Diabetes Management Through Patient and Physician Perspectives
Generative AI systems are increasingly adopted by patients seeking everyday health guidance, yet their reliability and clinical appropriateness remain uncertain. Taking Type 2 Diabetes Mellitus (T2DM) as a representative chronic condition, this paper presents a two-part mixed-methods study that examines how patients and physicians in China evaluate the quality and usability of AI-generated health information. Study~1 analyzes 784 authentic patient questions to identify seven core categories of …

Autoequivalences of Fukaya categories of surfaces and graded gentle algebras
Sebastian Opper
https://arxiv.org/abs/2510.11543 https://arxiv.org/pdf/2510.11…

Autoequivalences of Fukaya categories of surfaces and graded gentle algebras
We compute the derived Picard groups of partially wrapped Fukaya categories of surfaces in the sense of Haiden-Katzarkov-Kontsevich and the related graded gentle algebras. An important ingredient in characteristic zero is the exponential map from Hochschild cohomology to the derived Picard group introduced in recent work by the author. To prove our results in positive characteristic, we combine deformation theory and formality results for Hochschild complexes. Along the way we show that the sur…

H-Net Job Guide Weekly Report for H-Adjunct: 2 November - 9 November
https://ift.tt/BmEGXbR
H-Diplo|RJISSF Roundtable Review 15-42 on Selverstone, _The Kennedy Withdrawal_ H-Diplo |…
via Input 4 RELCFP

From Abelianization to Tangent Categories
Sacha Ikonicoff, Jean-Simon Pacaud Lemay, Tim Van der Linden
https://arxiv.org/abs/2510.12324 https://arxiv.org/p…

From Abelianization to Tangent Categories
A tangent category is a category with an endofunctor, called the tangent bundle functor, which is equipped with various natural transformations that capture essential properties of the classical tangent bundle of smooth manifolds. In this paper, we show that, surprisingly, the category of groups is a tangent category whose tangent bundle functor is induced by abelianization and whose differential bundles correspond to abelian groups. We generalize this construction by introducing the concept of…

Beyond 'Templates': Category-Agnostic Object Pose, Size, and Shape Estimation from a Single View
Jinyu Zhang, Haitao Lin, Jiashu Hou, Xiangyang Xue, Yanwei Fu
https://arxiv.org/abs/2510.11687

Beyond 'Templates': Category-Agnostic Object Pose, Size, and Shape Estimation from a Single View
Estimating an object's 6D pose, size, and shape from visual input is a fundamental problem in computer vision, with critical applications in robotic grasping and manipulation. Existing methods either rely on object-specific priors such as CAD models or templates, or suffer from limited generalization across categories due to pose-shape entanglement and multi-stage pipelines. In this work, we propose a unified, category-agnostic framework that simultaneously predicts 6D pose, size, and dense sha…

When you are an Apple security researcher, Christmas comes early on November 2025:
https://security.apple.com/blog/apple-security-bounty-evolved/

A major evolution of Apple Security Bounty, with the industry's top awards for the most advanced research - Apple Security Research
Today we’re announcing the next major chapter for Apple Security Bounty, featuring the industry’s highest rewards — up to $2 million and a maximum payout in excess of $5 million — expanded research categories, and a flag system for researchers to objectively demonstrate vulnerabilities and obtain accelerated awards.

arxiv_authors: Arxiv authors (1993-2003)
Scientific collaborations between authors of papers submitted to arxiv.org, under 5 categories: gr-qc, astro-ph, cond-mat, hep-ph, and hep-th categories, spanning January 1993 to April 2003. If an author i co-authored a paper with author j, the graph contains a undirected edge from i to j. If the paper is co-authored by k authors this generates a completely connected (sub)graph on k nodes.
This network has 26197 nodes and 28980 edges.

Localisation theorems for the connective K-theory of exact categories
Christoph Winges
https://arxiv.org/abs/2510.07170 https://arxiv.org/pdf/2510.07170

Localisation theorems for the connective K-theory of exact categories
We prove a localisation theorem for the K-theory of filtering subcategories of exact $\infty$-categories which subsumes the localisation theorem for stable $\infty$-categories, Quillen's localisation theorem for abelian categories, and Schlichting's localisation theorem for s-filtering subcategories.

"Those who objected could be divided into two categories: people who found the simpler and more flexible game to be bland; and people who didn’t like the game getting “woke.” This is a slippery term, but it often boils down to things not being quite as racist or sexist as they used to be."
https://www.…

Crosslisted article(s) found for math.CT. https://arxiv.org/list/math.CT/new
[1/1]:
- Homological epimorphisms in functor categories and singularity categories
Juan Andr\'es Orozco Guti\'errez, Valente Santiago Vargas

GBA-UBF : A Large-Scale and Fine-Grained Building Function Classification Dataset in the Greater Bay Area
Chunsong Chen, Yichen Hou, Huan Chen, Junlin Li, Rong Fu, Qiushen Lai, Yiping Chen, Ting Han
https://arxiv.org/abs/2510.08921

GBA-UBF : A Large-Scale and Fine-Grained Building Function Classification Dataset in the Greater Bay Area
Rapid urbanization in the Guangdong-Hong Kong-Macao Greater Bay Area (GBA) has created urgent demand for high-resolution, building-level functional data to support sustainable spatial planning. Existing land use datasets suffer from coarse granularity and difficulty in capturing intra-block heterogeneity. To this end, we present the Greater Bay Area Urban Building Function Dataset (GBA-UBF), a large-scale, fine-grained dataset that assigns one of five functional categories to nearly four millio…

Cowboys defense looks to rebound vs league-worst QB in several categories https://cowboyswire.usatoday.com/story/sports/nfl/cowboys/2025/12/09/cowboys-defense-jj-mccarthy-week-15-preview/87687573007/

Window categories for a simple $9$-fold flop of Grassmannian type
Will Donovan, Wahei Hara, Micha{\l} Kapustka, Marco Rampazzo
https://arxiv.org/abs/2510.06184 https://

Window categories for a simple $9$-fold flop of Grassmannian type
The local simple $9$-fold flop of Grassmannian type is a birational transformation between total spaces of vector bundles on the Grassmannians $\mathrm{Gr}(2, 5)$ and $\mathrm{Gr}(3, 5)$. We produce four different derived equivalences which commute with the pushforward functors for the flopping contractions. These equivalences are realized by identifying four different window categories inside the derived category of coherent sheaves on an Artin stack. As an application, our approach provides a…

physics_collab: Multilayer physicist collaborations (2015)
Two multiplex networks of coauthorships among the Pierre Auger Collaboration of physicists (2010-2012) and among researchers who have posted preprints on arXiv.org (all papers up to May 2014). Layers represent different categories of publication, and an edge's weight indicates the number of reports written by the authors. These layers are one-mode projections from the underlying author-paper bipartite network.
This n…

Google says it's working to create two different categories of AI-powered smart glasses: one with screens launching in 2026 and another that's audio-focused (Chris Welch/Bloomberg)
https://www.bloomberg.com/news/articles/20

Replaced article(s) found for nlin.SI. https://arxiv.org/list/nlin.SI/new
[1/1]:
- Temperley-Lieb integrable models and fusion categories
Matthew Blakeney, Luke Corcoran, Marius de Leeuw, Balazs Pozsgay, Eric Vernier
https://arxiv.org/abs/2510.19902 https://mastoxiv.page/@arXiv_condmatstrel_bot/115428147863036430
toXiv_bot_toot

Trump officials review census racial category changes : NPR
https://www.npr.org/2025/12/05/nx-s1-5634897/trump-census-race-categories-ethnicity-middle-east-north-africa

Emotion-Disentangled Embedding Alignment for Noise-Robust and Cross-Corpus Speech Emotion Recognition
Upasana Tiwari, Rupayan Chakraborty, Sunil Kumar Kopparapu
https://arxiv.org/abs/2510.09072

Emotion-Disentangled Embedding Alignment for Noise-Robust and Cross-Corpus Speech Emotion Recognition
Effectiveness of speech emotion recognition in real-world scenarios is often hindered by noisy environments and variability across datasets. This paper introduces a two-step approach to enhance the robustness and generalization of speech emotion recognition models through improved representation learning. First, our model employs EDRL (Emotion-Disentangled Representation Learning) to extract class-specific discriminative features while preserving shared similarities across emotion categories. N…

Added a category manager and category state section to the Exocortex Log app.
Have now organized and cleaned up the categories in my ten year database and so we can get some views of the time spent in each category.
We see that through September and October I was in a routine of work and slack with a bit of social a couple of times a week, until the end of November when I went away for social at a conference all weekend. I saw a demo there of a person using Shakespeare, and then when I got back started doing some vibe-coding, shown in in Red.
A break from that to go away at the weekend to a long social party then finish it off and publish a few days ago, since when Vibe Coding has dropped off a little.
#lifeLog #app #exocortexLog

H-Net Job Guide Weekly Report for H-Adjunct: 28 September - 5 October https://networks.h-net.org/group/announcements/20127731/h-net-job-guide-weekly-report-h-adjunct-28-september-5-october

Crosslisted article(s) found for math.SG. https://arxiv.org/list/math.SG/new
[1/1]:
- Autoequivalences of Fukaya categories of surfaces and graded gentle algebras
Sebastian Opper

"UN honors five climate ‘Champions of the Earth’"
#UN #UnitedNations #Climate #ClimateChange<…

UN honors five climate ‘Champions of the Earth’
The United Nations Environment Programme on Dec. 10 announced its five “2025 Champions of the Earth,” the U.N.’s highest environmental honor. Since 2005, UNEP’s Champions of the Earth has recognized individuals, groups and organizations who have contributed significantly toward transforming the environment for the better. The award celebrates four categories of contribution: policy leadership, inspiration […]

Bi-dendrograms for clustering the categories of a multivariate categorical data set
Michael Greenacre, Maurizio Vichi
https://arxiv.org/abs/2509.15939 https://

Bi-dendrograms for clustering the categories of a multivariate categorical data set
The clustering of categories in a multivariate categorical data set is investigated, where the problem separates into that of merging categories of the same variables (i.e., within-variable categories), and combining categories of different variables (i.e., between-variable categories). For the within-variable problem, the objective is to arrive at fewer categories (and, consequently, lower data dimensionality) without affecting the essential features of the data set, thereby simplifying the in…

Continuing a bit with the #photos from our #schwarzwald #vacations : (unknowingly) we walked along the Western-way. It was pretty cool because the trail was very diverse as you can see on the photo…

NavSpace: How Navigation Agents Follow Spatial Intelligence Instructions
Haolin Yang, Yuxing Long, Zhuoyuan Yu, Zihan Yang, Minghan Wang, Jiapeng Xu, Yihan Wang, Ziyan Yu, Wenzhe Cai, Lei Kang, Hao Dong
https://arxiv.org/abs/2510.08173

NavSpace: How Navigation Agents Follow Spatial Intelligence Instructions
Instruction-following navigation is a key step toward embodied intelligence. Prior benchmarks mainly focus on semantic understanding but overlook systematically evaluating navigation agents' spatial perception and reasoning capabilities. In this work, we introduce the NavSpace benchmark, which contains six task categories and 1,228 trajectory-instruction pairs designed to probe the spatial intelligence of navigation agents. On this benchmark, we comprehensively evaluate 22 navigation agents, in…

"Those who objected could be divided into two categories: people who found the simpler and more flexible game to be bland; and people who didn’t like the game getting “woke.” This is a slippery term, but it often boils down to things not being quite as racist or sexist as they used to be."
https://www.…

Why Elon Musk Needs Dungeons & Dragons to Be Racist
The fantastical roots of “scientific racism”

Closed exact categories of modules over generalized adic rings. Part 1: The bounded case
Francesco Baldassarri
https://arxiv.org/abs/2510.00848 https://arx…

Closed exact categories of modules over generalized adic rings. Part 1: The bounded case
We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining quasi-abelian categories of complete linearly topologized k-modules, which are also closed symmetric monoidal for a suitable choice of tensor product and internal Hom, and have enough projectives or injectives. For k a suitably generalized adic ring, we describe here a few examples of such cat…

Replaced article(s) found for math.GN. https://arxiv.org/list/math.GN/new
[1/1]:
- Infinitely ludic categories
Matheus Duzi, Paul Szeptycki, Walter Tholen
https://arxiv.org/abs/2401.03484 https://mastoxiv.page/@arXiv_mathGN_bot/111724153632157856
- Every group retraction can be realized as a topological retraction
Pedro J. Chocano
https://arxiv.org/abs/2511.03472 https://mastoxiv.page/@arXiv_mathAT_bot/115501820264863765
toXiv_bot_toot

"La vaccination contre la grippe reflète les inégalités sociales, selon un constat des Mutualités libres révélé lundi. Il y a en effet jusqu’Š 20% d’écart de couverture entre les plus et les moins favorisés."
https://bx1.be/categories/news/20-deca…

vAttention: Verified Sparse Attention
Aditya Desai, Kumar Krishna Agrawal, Shuo Yang, Alejandro Cuadron, Luis Gaspar Schroeder, Matei Zaharia, Joseph E. Gonzalez, Ion Stoica
https://arxiv.org/abs/2510.05688

vAttention: Verified Sparse Attention
State-of-the-art sparse attention methods for reducing decoding latency fall into two main categories: approximate top-$k$ (and its extension, top-$p$) and recently introduced sampling-based estimation. However, these approaches are fundamentally limited in their ability to approximate full attention: they fail to provide consistent approximations across heads and query vectors and, most critically, lack guarantees on approximation quality, limiting their practical deployment. We observe that t…

Graded Lawson-Stone Duality
Roozbeh Hazrat, Zachary Mesyan
https://arxiv.org/abs/2510.06497 https://arxiv.org/pdf/2510.06497…

Graded Lawson-Stone Duality
The classical Stone duality associates to each Boolean algebra a topological space consisting of ultrafilters. Lawson's generalisation constructs a dual equivalence of categories of Boolean inverse $\land$-semigroups and Hausdorff ample topological groupoids. We further generalise the duality to the graded analogues of those categories, and provide various illustrations.

Amram is a composer, musician, author, conductor and boundlessly connected collaborator who has been cheerfully ignoring musical categories since the 1940s.
His output includes jazz tunes, symphonies, operas, film scores, theater music, off-the-cuff talking blues and idiom-hopping folk-festival performances where he’s likely to play piano, pennywhistle and percussion.

At 95, David Amram Still Makes Music. And Nobody Can Put Him in a Box.
Jazz, classical, folk, world music — for this composer, categories were never confining.

In November, 57% more 🔋🔌 fully electric passenger cars were registered in 🇵🇱 Poland than ⛽ diesel cars. It's a close call for the full year 2025. Could this be diesel's final year of significance in Poland?
https://www.pzpm.org.pl/pl/Rynek-motoryzac

Just noticed that the 30 themes for the 2025 #30DayMapChallenge are now up!
#GISchat

Natural transformations between braiding functors in the Fukaya category
Yujin Tong
https://arxiv.org/abs/2511.10462 https://arxiv.org/pdf/2511.10462 https://arxiv.org/html/2511.10462
arXiv:2511.10462v1 Announce Type: new
Abstract: We study the space of $A_\infty$-natural transformations between braiding functors acting on the Fukaya category associated to the Coulomb branch $\mathcal{M}(\bullet,1)$ of the $\mathfrak{sl}_2$ quiver gauge theory. We compute all cohomologically distinct $A_\infty$-natural transformations $\mathrm{Nat}(\mathrm{id}, \mathrm{id})$ and $\mathrm{Nat}(\mathrm{id}, \beta_i^-)$, where $\beta_i^-$ denotes the negative braiding functor. Our computation is carried out in a diagrammatic framework compatible with the established embedding of the KLRW category into this Fukaya category. We then compute the Hochschild cohomology of the Fukaya category using an explicit projective resolution of the diagonal bimodule obtained via the Chouhy-Solotar reduction system, and use this to classify all cohomologically distinct natural transformations. These results determine the higher $A_\infty$-data encoded in the braiding functors and their natural transformations, and provide the first step toward a categorical formulation of braid cobordism actions on Fukaya categories.
toXiv_bot_toot

Optimizing for Persuasion Improves LLM Generalization: Evidence from Quality-Diversity Evolution of Debate Strategies
Aksel Joonas Reedi, Corentin L\'eger, Julien Pourcel, Loris Gaven, Perrine Charriau, Guillaume Pourcel
https://arxiv.org/abs/2510.05909

Optimizing for Persuasion Improves LLM Generalization: Evidence from Quality-Diversity Evolution of Debate Strategies
Large Language Models (LLMs) optimized to output truthful answers often overfit, producing brittle reasoning that fails to generalize. While persuasion-based optimization has shown promise in debate settings, it has not been systematically compared against mainstream truth-based approaches. We introduce DebateQD, a minimal Quality-Diversity (QD) evolutionary algorithm that evolves diverse debate strategies across different categories (rationality, authority, emotional appeal, etc.) through tour…

On the geometric Satake equivalence for Kac-Moody groups
Alexis Bouthier, Eric Vasserot
https://arxiv.org/abs/2510.11466 https://arxiv.org/pdf/2510.11466…

On the geometric Satake equivalence for Kac-Moody groups
This article establishes a geometric Satake equivalence for affine Kac-Moody groups as an equivalence of abelian semisimple categories over algebraically closed fields. We define a well-behaved category of equivariant sheaves on the double affine grassmannian \Gr_{G}, seen as a infty-stack, that we equip with a t-structure. We obtain an Braden's hyperbolic localization theorem for such a stack and prove that the constant term functor is t-exact using dimension estimates for affine MV-cycles. We…

Models for rational $(\infty, 1)$-categories
Eleftherios Chatzitheodoridis
https://arxiv.org/abs/2509.22413 https://arxiv.org/pdf/2509.22413

Models for rational $(\infty, 1)$-categories
We introduce rational $(\infty, 1)$-categories, which are $(\infty, 1)$-categories enriched in spaces whose higher homotopy groups are rational vector spaces. We provide two models for rational $(\infty, 1)$-categories, rational complete Segal spaces and rational Segal categories, and we show that they are equivalent.

Google says Gemini 3 Pro sets new vision AI benchmark records, including in complex visual reasoning, beating Claude Opus 4.5 and GPT-5.1 in some categories (Rohan Doshi/The Keyword)
https://blog.google/technology/developers/gemini-3-pro-vision/

Gemini 3 Pro: the frontier of vision AI
Build with Gemini 3 Pro, the best model in the world for multimodal capabilities.

arxiv_authors: Arxiv authors (1993-2003)
Scientific collaborations between authors of papers submitted to arxiv.org, under 5 categories: gr-qc, astro-ph, cond-mat, hep-ph, and hep-th categories, spanning January 1993 to April 2003. If an author i co-authored a paper with author j, the graph contains a undirected edge from i to j. If the paper is co-authored by k authors this generates a completely connected (sub)graph on k nodes.
This network has 26197 nodes and 28980 edges.

Replaced article(s) found for cs.LO. https://arxiv.org/list/cs.LO/new
[1/1]:
- Order in Partial Markov Categories
Elena Di Lavore, Mario Rom\'an, Pawe{\l} Soboci\'nski, M\'ark Sz\'eles

Crosslisted article(s) found for math.RT. https://arxiv.org/list/math.RT/new
[1/1]:
- Reconstruction of tensor categories of type $G_2$
Lilit Martirosyan, Hans Wenzl

Concentration structures on categories and horizontal categorification
Yangxiao Luo, Shunyu Wan
https://arxiv.org/abs/2510.07553 https://arxiv.org/pdf/2510…

Concentration structures on categories and horizontal categorification
We introduce a theory for encoding and manipulating algebraic data on categories via $\textit{concentration structures}$, which are equivalence relations on morphisms that satisfy certain axioms. For any category with a concentration structure we can functorially construct a $\textit{concentration monoid}$, which can be used to give a precise definition of horizontal categorification and decategorification. Moreover, by studying concentration structures on fundamental groupoids, we show that ev…

Weak Hopf algebra actions as fusion category actions
Alexander Betz
https://arxiv.org/abs/2510.07114 https://arxiv.org/pdf/2510.07114

Weak Hopf algebra actions as fusion category actions
This article develops the theory of fusion categories acting on algebras. We will demonstrate that weak Hopf algebra actions on algebras correspond to specific actions of fusion categories. As an application of this theory, we introduce a family of filtered actions of weak Hopf algebras on the path algebra, and for weak Hopf algebras whose representation categories are equivalent to $\text{PSU(2)}_{p-2}$, we describe all of the separable based fusion category actions in terms of weak Hopf algeb…

H-Net Job Guide Weekly Report for H-Adjunct: 28 September - 5 October
https://ift.tt/B5KMDfa
Seeking Book Reviewers for Women and Social Movements in the United States Erica Hayden 10/06/2025 -…
via Input 4 RELCFP …

Simple $B_4$ representations associated to cyclotomic Hecke algebras
Lilit Martirosyan, Hans Wenzl
https://arxiv.org/abs/2510.09928 https://arxiv.org/pdf/2…

Simple $B_4$ representations associated to cyclotomic Hecke algebras
We determine the structure of the cyclotomic Hecke algebra corresponding to the complex reflection group $G_{25}$ also when it is not semisimple, as long as the generators are diagonalizable. In particular, we classify all simple representations of the braid group $B_4$ for which the generators are diagonalizable and satisfy a cubic polynomial. This will be used in the classification of braided tensor categories of type $G_2$.

LLM-Assisted Web Measurements
Simone Bozzolan, Stefano Calzavara, Lorenzo Cazzaro
https://arxiv.org/abs/2510.08101 https://arxiv.org/pdf/2510.08101

LLM-Assisted Web Measurements
Web measurements are a well-established methodology for assessing the security and privacy landscape of the Internet. However, existing top lists of popular websites commonly used as measurement targets are unlabeled and lack semantic information about the nature of the sites they include. This limitation makes targeted measurements challenging, as researchers often need to rely on ad-hoc techniques to bias their datasets toward specific categories of interest. In this paper, we investigate the…

Lightweight and Generalizable Acoustic Scene Representations via Contrastive Fine-Tuning and Distillation
Kuang Yuan, Yang Gao, Xilin Li, Xinhao Mei, Syavosh Zadissa, Tarun Pruthi, Saeed Bagheri Sereshki
https://arxiv.org/abs/2510.03728

Lightweight and Generalizable Acoustic Scene Representations via Contrastive Fine-Tuning and Distillation
Acoustic scene classification (ASC) models on edge devices typically operate under fixed class assumptions, lacking the transferability needed for real-world applications that require adaptation to new or refined acoustic categories. We propose ContrastASC, which learns generalizable acoustic scene representations by structuring the embedding space to preserve semantic relationships between scenes, enabling adaptation to unseen categories without retraining. Our approach combines supervised con…

Adhesive category theory for graph rewriting in Rocq
Samuel Arsac (PLUME, LIP, ENS de Lyon), Russ Harmer (PLUME, LIP), Damien Pous (PLUME, LIP)
https://arxiv.org/abs/2509.17392 …

Adhesive category theory for graph rewriting in Rocq
We design a Rocq library about adhesive categories, using Hierarchy Builder (HB). It is built around two hierarchies. The first is for categories, with usual categories at the bottom and adhesive categories at the top, with weaker variants of adhesive categories in between. The second is for morphisms (notably isomorphisms, monomorphisms and regular monomorphisms). Each level of these hierarchies is equipped with several interfaces to define instances. We cover basic categorical concepts such a…

Abelian quotients of categories of $n$-exangles
Yutong Zhou
https://arxiv.org/abs/2510.06626 https://arxiv.org/pdf/2510.06626

Abelian quotients of categories of $n$-exangles
The notion of $n$-exangulated categories was introduced by Herschend-Liu-Nakaoka, which is a simultaneous generalization of $n$-exact categories in the sense of Jasso and $(n+2)$-angulated categories in the sense of Geiss-Kelier-Oppermann. Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an $n$-exangulated category with enough projectives $\mathcal{P}$ and $\mathcal{M}$ a full subcategory of $\mathscr{C}$ containing $\mathcal{P}$. In the present paper, It is proved that a certian quotient categor…

Pretorsion theories in prenormal categories
Sandra Mantovani, Mariano Messora
https://arxiv.org/abs/2510.07040 https://arxiv.org/pdf/2510.07040

Pretorsion theories in prenormal categories
In this paper we extend several classical results on pointed torsion theories -- also known as torsion pairs -- to the setting of non-pointed torsion theories defined via kernels and cokernels relative to a fixed class of trivial objects (often referred to as pretorsion theories). Our results are developed in the recently introduced framework of (non-pointed) prenormal categories and other related contexts. Within these settings, we recover some characterisations of torsion and torsion-free sub…

arxiv_citation: arXiv citation networks (1993-2003)
Citations among papers posted on arxiv.org under the hep-ph and hep-th categories, between 1993 and 2003. This time begins a few months after axiv was launched. If a paper i cites a paper j also in this data set, then a directed edge connects i to j. (Papers not in the data set are excluded.) These data were originally released as part of the 2003 KDD Cup.
This network has 34546 nodes and 421578 edges.
Tags: Informational,…

Cluster theory of topological Fukaya categories. Part II: Higher Teichm\"uller theory
Merlin Christ
https://arxiv.org/abs/2510.05925 https://arxiv.org…

Cluster theory of topological Fukaya categories. Part II: Higher Teichmüller theory
We construct relative $3$-Calabi--Yau categories related with higher Teichmüller theory. We further study their corresponding cosingularity categories and the additive categorification of the corresponding cluster algebras. The input for our constructions is a marked surface with boundary and a Dynkin quiver $I$. In the case of the triangle, these categories have been described in recent work of Keller--Liu. For general surfaces, the categories are constructed via gluing along a perverse sch…

An Enriched Approach to the Strictification of $(\infty,1)$-Categories
Kimball Strong
https://arxiv.org/abs/2510.04254 https://arxiv.org/pdf/2510.04254

An Enriched Approach to the Strictification of $(\infty,1)$-Categories
We define a functor which takes in an $(\infty,1)$-category and outputs an $(ω,1)$-category, the natural maximally "strict" version of an $(\infty,1)$-category. We do this by modeling $(\infty,1)$-categories as categories enriched in $\infty$-groupoids, and then "locally strictifying" (applying the strictification of $\infty$-groupoids to each hom space) to obtain a category enriched in $ω$-groupoids with respect to the Gray tensor product, followed by "globally strictifying" (strictifying th…

arxiv_authors: Arxiv authors (1993-2003)
Scientific collaborations between authors of papers submitted to arxiv.org, under 5 categories: gr-qc, astro-ph, cond-mat, hep-ph, and hep-th categories, spanning January 1993 to April 2003. If an author i co-authored a paper with author j, the graph contains a undirected edge from i to j. If the paper is co-authored by k authors this generates a completely connected (sub)graph on k nodes.
This network has 68746 nodes and 51971 edges.

Instances of models of double-categorical theories
Kevin Carlson, Evan Patterson
https://arxiv.org/abs/2510.08861 https://arxiv.org/pdf/2510.08861

Instances of models of double-categorical theories
We contribute a chapter in common to categorical database theory and to the study of higher morphisms between double categories. The common thread here is the notion of instance, or right module, which we generalize from functors from a plain category into Set to the models of a (cartesian) double theory. This provides a concept of instance for such objects as a category equipped with a monad, or a (symmetric) multicategory, recovering the multifunctors into Set in the latter case. We also show…

On syzygy categories over Iwanaga-Gorenstein algebras: Reduction, minimality and finiteness
Ralf Schiffler, Khrystyna Serhiyenko
https://arxiv.org/abs/2510.07405 https://…

On syzygy categories over Iwanaga-Gorenstein algebras: Reduction, minimality and finiteness
We study 2-Calabi-Yau tilted algebras which are non-commutative Iwanaga-Gorenstein algebras of Gorenstein dimension 1. In particular, we are interested in their syzygy categories or equivalently the stable categories of Cohen-Macauley modules $\underline{\text{CMP}}$. First we show that if an algebra $A$ is Iwanaga-Gorenstein of Gorenstein dimension 1 then its stable category is generated under extensions by its radical $\text{rad}\,A$. Next, for a 2-Calabi-Yau tilted algebra $A$ we provide an …

Pointed Hopf algebras revisited, with a view from tensor categories
Iv\'an Angiono
https://arxiv.org/abs/2510.03124 https://arxiv.org/pdf/2510.03124

Pointed Hopf algebras revisited, with a view from tensor categories
Hopf algebras appear in connection with various problems in Pure Mathematics and Theoretical Physics, mainly through their categoriesof representations, which are examples of tensor categories. In recent years, there have been major advances in the classification of finite-dimensional Hopf algebras over the complex numbers, especially when restricted to the pointed case. In this survey, we aim to review the main results in this direction, stating the classification theorems recently obtained an…

H-Net Job Guide Weekly Report for H-Buddhism: 30 November - 7 December
https://ift.tt/JnvilfW
Mining the Logs: Sources on Blue Humor URL …
via Input 4 RELCFP https://if…

H-Net Job Guide Weekly Report for H-AmIndian: 30 November - 7 December
https://ift.tt/VGDU81P
Mining the Logs: Sources on Blue Humor URL …
via Input 4 RELCFP https://if…

Reverse Fa\`a di Bruno's Formula for Cartesian Reverse Differential Categories
Aaron Biggin (Macquarie University), Jean-Simon Pacaud Lemay (Macquarie University)
https://arxiv.org/abs/2509.20931

Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories
Reverse differentiation is an essential operation for automatic differentiation. Cartesian reverse differential categories axiomatize reverse differentiation in a categorical framework, where one of the primary axioms is the reverse chain rule, which is the formula that expresses the reverse derivative of a composition. Here, we present the reverse differential analogue of Faa di Bruno's Formula, which gives a higher-order reverse chain rule in a Cartesian reverse differential category. To prop…

physics_collab: Multilayer physicist collaborations (2015)
Two multiplex networks of coauthorships among the Pierre Auger Collaboration of physicists (2010-2012) and among researchers who have posted preprints on arXiv.org (all papers up to May 2014). Layers represent different categories of publication, and an edge's weight indicates the number of reports written by the authors. These layers are one-mode projections from the underlying author-paper bipartite network.
This n…

A functorial approach to $0$-abelian categories
Vitor Gulisz
https://arxiv.org/abs/2509.24810 https://arxiv.org/pdf/2509.24810

A functorial approach to $0$-abelian categories
We use functorial methods to define and study $0$-abelian categories, which we propose to be the case $n = 0$ of Jasso's $n$-abelian categories. In particular, we define a bifunctor for $0$-abelian categories with enough injectives or projectives, which is analogous to the extension bifunctor for an abelian category. We prove a few results concerning this bifunctor, including $0$-abelian versions of the long exact sequence involving the extension bifunctors, of a conjecture due to Auslander on …

Cohomology of Small Cartesian Closed Categories
Mirai Ikebuchi
https://arxiv.org/abs/2510.00488 https://arxiv.org/pdf/2510.00488

Cohomology of Small Cartesian Closed Categories
We show the isomorphism between the Quillen cohomology and the Baues-Wirsching cohomology of a cartesian closed category (CCC). This is an extension of the results of Dwyer-Kan for small categories and Jibladze-Pirashvili for small categories with finite products. These results implies that The Quillen cohomology of a CCC C coincides with that of C as a category with finite products, and also that of C as a small category

arxiv_authors: Arxiv authors (1993-2003)
Scientific collaborations between authors of papers submitted to arxiv.org, under 5 categories: gr-qc, astro-ph, cond-mat, hep-ph, and hep-th categories, spanning January 1993 to April 2003. If an author i co-authored a paper with author j, the graph contains a undirected edge from i to j. If the paper is co-authored by k authors this generates a completely connected (sub)graph on k nodes.
This network has 108300 nodes and 186936 edges.

H-Net Job Guide Weekly Report for H-HOAC: 23 November - 30 November
https://ift.tt/K6Ttg5f
Mining the Logs: Sources on Blue Humor URL …
via Input 4 RELCFP https://ift.t…

Homotopy Languages
C\'esar Bardomiano Mart\'inez, Simon Henry
https://arxiv.org/abs/2510.02607 https://arxiv.org/pdf/2510.02607

Homotopy Languages
We attach to each weak model category $\mathcal{M}$ a class of first order formulas about the fibrant objects of $\mathcal{M}$ whose validity is invariant under homotopies and weak equivalences. This is a generalization of the classical Blanc-Freyd Language of categories -- which involves formula avoiding equality on objects and which are invariant under isomorphism and equivalences of categories. In particular, we obtain similar homotopy invariant languages for $2$-categories, bicategories, ch…

H-Net Job Guide Weekly Report for H-Buddhism: 30 November - 7 December
https://ift.tt/N9FyrKE
Mining the Logs: Sources on Blue Humor URL …
via Input 4 RELCFP https://if…

Double Categories of Open Systems: the Cospan Approach
John C. Baez
https://arxiv.org/abs/2509.22584 https://arxiv.org/pdf/2509.22584

Double Categories of Open Systems: the Cospan Approach
This is an overview of double categories of "open systems": systems that can interact with their environment. We focus on the variable sharing paradigm, where we compose open systems by identifying variables. This paradigm is often implemented using structured or decorated cospans. We explain this approach using three main examples: open Petri nets, open dynamical systems, and open Petri nets with rates. We compare the virtues of structured and decorated cospan double categories, and study thei…

physics_collab: Multilayer physicist collaborations (2015)
Two multiplex networks of coauthorships among the Pierre Auger Collaboration of physicists (2010-2012) and among researchers who have posted preprints on arXiv.org (all papers up to May 2014). Layers represent different categories of publication, and an edge's weight indicates the number of reports written by the authors. These layers are one-mode projections from the underlying author-paper bipartite network.
This n…

H-Net Job Guide Weekly Report for H-AmIndian: 30 November - 7 December
https://ift.tt/fD3GJ7o
Mining the Logs: Sources on Blue Humor URL …
via Input 4 RELCFP https://if…

Construction of $d$-abelian categories via derived categories
Peter Jorgensen, Emre Sen
https://arxiv.org/abs/2509.17922 https://arxiv.org/pdf/2509.17922…

Construction of $d$-abelian categories via derived categories
In this work, we provide a simple way to construct $d$-abelian categories via bounded derived categories for certain values of $d$. Namely, let ${\mathcal C}$ be an abelian category, and let ${\mathcal C}[0,m]$ denote the full subcategory of the bounded derived category of ${\mathcal C}$ whose objects $X$ satisfy that $H_*(X)$ is concentrated in degrees $j$ where $0 \leq j \leq m$. We prove that if ${\mathcal C}$ is hereditary, then ${\mathcal C}[0,m]$ is a $d$-abelian category where $d = 3m + …

Galois Connections and Preradicals in Abelian Categories
Rogelio Fern\'andez-Alonso, Janeth Maga\~na, Martha Lizbeth Shaid Sandoval-Miranda, Valente Santiago-Vargas
https://arxiv.org/abs/2509.21564

Galois Connections and Preradicals in Abelian Categories
In this paper we define operations of preradicals of any abelian category. We define idempotent preradicals and radicals. We prove that every adjoint pair between abelian categories induces a Galois connection between the corresponding ordered collections of preradicals. If the abelian categories are bicomplete, we construct alpha and omega preradicals and study their respective preservation under the Galois connection. If a bicomplete abelian category is in addition locally small, then the cor…

From Hopf Algebras in Model Categories to Hopf Algebras in $\infty$-categories
Inbar Klang, Josefien Kuijper, Cary Malkiewich, David Mehrle, Thor Wittich
https://arxiv.org/abs/2509.13602

From Hopf Algebras in Model Categories to Hopf Algebras in $\infty$-categories
We show that algebra objects in model categories can be transferred to algebra objects in $\infty$-categories, without any cofibrancy or fibrancy assumptions on the algebra. We furthermore show under some mild extra assumptions that this correspondence extends to commutative bialgebras and to commutative Hopf algebras.

arxiv_citation: arXiv citation networks (1993-2003)
Citations among papers posted on arxiv.org under the hep-ph and hep-th categories, between 1993 and 2003. This time begins a few months after axiv was launched. If a paper i cites a paper j also in this data set, then a directed edge connects i to j. (Papers not in the data set are excluded.) These data were originally released as part of the 2003 KDD Cup.
This network has 34546 nodes and 421578 edges.
Tags: Informational,…

arxiv_collab: Scientific collaborations in physics (1995-2005)
Collaboration graphs for scientists, extracted from the Los Alamos e-Print arXiv (physics), for 1995-1999 for three categories, and additionally for 1995-2003 and 1995-2005 for one category. For copyright reasons, the MEDLINE (biomedical research) and NCSTRL (computer science) collaboration graphs from this paper are not publicly available.
This network has 16726 nodes and 47594 edges.
Tags: Social, Collaboratio…

Double Orthogonal Factorization Systems
C. B. Aberl\'e, Elena Caviglia, Matthew Kukla, Rub\'en Maldonado, Luca Mesiti, Dorette Pronk, Tanjona Ralaivaosaona
https://arxiv.org/abs/2509.26343

Double Orthogonal Factorization Systems
We define strict and lax orthogonal factorization systems on double categories. These consist of an orthogonal factorization system on arrows and one on double cells that are compatible with each other. Our definitions are motivated by several explicit examples, including factorization systems on double categories of spans, relations and bimodules. We then prove monadicity results for orthogonal factorization systems on double categories in order to justify our definitions. For fibrant double c…

webkb: WebKB graphs (1998)
Web graphs crawled from four Computer Science departments in 1998, with each page manually classified into one of 7 categories: course, department, faculty, project, staff, student, or other. All graphs included in a single .zip; also included are 'co-citation' graphs, which links i and j if they both point to some k. Edge weights count the number of links from i to j.
This network has 433 nodes and 1941 edges.
Tags: Informational, Web gra…

Notions of Cauchy completeness for normed categories
Dirk Hofmann, Walter Tholen
https://arxiv.org/abs/2510.00912 https://arxiv.org/pdf/2510.00912

Notions of Cauchy completeness for normed categories
As already mentioned by Lawvere in his 1973 paper, the characterisation of Cauchy completeness of metric spaces in terms of representability of adjoint distributors amounts to the idempotent-split property of an ordinary category when the governing symmetric monoidal-closed category is changed from the extended real half-line to the category of sets. In this paper, for any commutative quantale \(\mathcal{V}\), we extend these two characterisations of Lawvere-style completeness to \(\mathcal{V}\…