Tootfinder

Doy por inaugurada una nueva sección en mi blog «Pixeblog», que serš el reemplazo de lo que hasta ahora hacía en Pixelfed, o sea, publicar fotos casuales de conciertos, lugares y otras cosas que considero que vale la pena ser registradas. Como esto estš federado, sigue siendo visible por acš y en Pixelfed.
🔗 https://altgr.xyz/category/pixeb…

BAFTA changes its rules to let all 6,000 members vote in the international TV category; the 2026 TV awards are set for May 10, and the craft awards for April 26 (Max Goldbart/Deadline)
https://deadline.com/2025/08/bafta-voting-rules-internat…

BAFTA Tweaks Voting Rules For International TV Category & Reveals 2026 Awards Dates
BAFTA has unveiled the dates for the 2026 TV Awards and tweaked the international voting category.

Difference-restriction algebras with operators
C\'elia Borlido, Ganna Kudryavtseva, Brett McLean
https://arxiv.org/abs/2508.03432 https://arxiv.org/pdf…

Difference-restriction algebras with operators
We exhibit an adjunction between a category of abstract algebras of partial functions that we call difference-restriction algebras and a category of Hausdorff étale spaces. Difference-restriction algebras are those algebras isomorphic to a collection of partial functions closed under relative complement and domain restriction. Our adjunction generalises the adjunction between the category of generalised Boolean algebras and the category of Hausdorff spaces. We define the finitary compatible co…

On the equivalence invariance of formal category theory
Paula Verdugo
https://arxiv.org/abs/2509.04255 https://arxiv.org/pdf/2509.04255

On the equivalence invariance of formal category theory
We prove a result of equivalence invariance of formal category theory for statements that can be expressed within an equipment. To do this, we exploit Henry and Bardomiano Martínez's link between Makkai's FOLDS (first order logic with dependent sorts) and abstract homotopy theory. In the process, we construct a model structure on the category DblCat of double categories and double functors, whose trivial fibrations are the double functors that are surjective on objects, full on horizontal and …

MICACL: Multi-Instance Category-Aware Contrastive Learning for Long-Tailed Dynamic Facial Expression Recognition
Feng-Qi Cui, Zhen Lin, Xinlong Rao, Anyang Tong, Shiyao Li, Fei Wang, Changlin Chen, Bin Liu
https://arxiv.org/abs/2509.04344

MICACL: Multi-Instance Category-Aware Contrastive Learning for Long-Tailed Dynamic Facial Expression Recognition
Dynamic facial expression recognition (DFER) faces significant challenges due to long-tailed category distributions and complexity of spatio-temporal feature modeling. While existing deep learning-based methods have improved DFER performance, they often fail to address these issues, resulting in severe model induction bias. To overcome these limitations, we propose a novel multi-instance learning framework called MICACL, which integrates spatio-temporal dependency modeling and long-tailed contr…

Just released from my RSS-only embargo:
“1.2.5: Adversarial Conformance”
#WCAG

1.2.5: Adversarial Conformance
This post is part of RSS Club, rewarding those who still use RSS to read and/or share content. These posts are embargoed from my regular post feed and the socials for an arbitrary period of time. You can see all the RSS-only posts at AdrianRoselli.com/category/RSS. Tell your friends (to get…

We have a contender for leaf blowers in the category of stupid, harmful and pointless appliances. Using oil-powered string trimmer to cut the single blades of grass from between paving stones on a train platform. Noise, stench and almost zero efficiency.
#ecology

Hawaii issues state of emergency as Hurricane Kiko approaches islands as Category 4
https://thehill.com/homenews/state-watch/5490353-hurricane-kiko-hawaii-storm/

A Dwyer-Rezk classification for polynomial functors in Weiss calculus
David Barnes, Magdalena K\k{e}dziorek, Niall Taggart
https://arxiv.org/abs/2508.03808 https://

A Dwyer-Rezk classification for polynomial functors in Weiss calculus
In Goodwillie calculus, unpublished work of Dwyer and Rezk provides a classification of reduced filtered colimit preserving $d$-excisive functors from pointed spaces to spectra as spectrum-valued functors on the category of finite sets of cardinality at most $d$ and epimorphisms. We prove through different methods the analogous result in Weiss calculus: $d$-polynomial functors are equivalent to spectrum-valued functors on the category of finite-dimensional inner product spaces of dimension at m…

Some programming wisdom from 40 years ago. Exciting to see how many of them are still important advice today.
(aka: @… 's aphorism collection 🦆)
https://

The singularity category as a stable module category
Xiao-Wu Chen, Zhengfang Wang
https://arxiv.org/abs/2509.01056 https://arxiv.org/pdf/2509.01056

The singularity category as a stable module category
We investigate the stabilization $\mathcal{S}$ of the module category over an artinian ring $Λ$ by formally inverting the tensor endofunctor given by the bimodule of relative noncommutative differential $1$-forms. It turns out that $\mathcal{S}$ is a Frobenius abelian category, which is equivalent to the category of finitely presented modules over the zeroth component $L_0$ of the Leavitt ring $L$. It follows that $L_0$ is an FC ring in the sense of Damiano, which is usually not quasi-Frobeniu…

Invariants for isomorphism classes in the category $\bcalNT$
Diego Lobos Maturana
https://arxiv.org/abs/2508.00084 https://arxiv.org/pdf/2508.00084

Invariants for isomorphism classes in the category $\bcalNT$
The category $\bcalNT$ is a category of certain commutative graded algebras over a field. It was introduced in \cite{Lobos2} as a generalization of algebras generated by Jucys-Murphy elements in the many \textbf{End} algebras of the diagrammatic Soergel category of Elias and Williamson. In the first part of this article we define certain \emph{Invariants} for the isomorphism classes in $\bcalNT,$ following in the same spirit of \cite{Lobos3}, where a series of \emph{Isomorphism criteria} were f…

from my link log —
Hask is not a category.
https://math.andrej.com/2016/08/06/hask-is-not-a-category/
saved 2025-06-22

Dagger categories of relations: the equivalence of dilatory dagger categories and epi-regular independence categories
Matthew Di Meglio, Chris Heunen, Jean-Simon Pacaud Lemay, Paolo Perrone, Dario Stein
https://arxiv.org/abs/2508.01146

Dagger categories of relations: the equivalence of dilatory dagger categories and epi-regular independence categories
Several categories look like categories of relations, but do not fit the established theory of relations in regular categories. They include the category of surjective multivalued functions, the category of injective partial functions, the category of finite probability spaces and stochastic matrices, and the category of Hilbert spaces and linear contractions. To explain these anomalous examples, we develop a parallel theory of relations in epi-regular independence categories. Just as regular c…

Isolate Trigger: Detecting and Eradicating Evade-Adaptive Backdoors
Chengrui Sun, Hua Zhang, Haoran Gao, Zian Tian, Jianjin Zhao, qi Li, Hongliang Zhu, Zongliang Shen, Shang Wang, Anmin Fu
https://arxiv.org/abs/2508.04094

Isolate Trigger: Detecting and Eradicating Evade-Adaptive Backdoors
All current detection of backdoor attacks on deep learning models fall under the category of a non essential features(NEF), which focus on fighting against simple and efficient vertical class backdoor -- trigger is small, few and not overlapping with the source. Evade-adaptive backdoor (EAB) attacks have evaded NEF detection and improved training efficiency. We introduces a precise, efficient and universal detection and defense framework coined as Isolate Trigger (IsTr). IsTr aims to find the h…

Quantum Cluster State Spin Chain with Ising Fusion Category Symmetry: A Perspective from Weak Hopf SymTFT
Zhian Jia
https://arxiv.org/abs/2508.02424 https://

Quantum Cluster State Spin Chain with Ising Fusion Category Symmetry: A Perspective from Weak Hopf SymTFT
In this work, we present a construction of a cluster state lattice Hamiltonian that exhibits the symmetry of the Ising fusion algebra. This construction is formulated within the framework of weak Hopf symmetry topological field theory (SymTFT), where we assign smooth and rough boundaries to the weak Hopf quantum double model, thereby extending the conventional cluster state model. Central to our construction is the weak Hopf Ising boundary tube algebra $\mathcal{T}_{\mathsf{Ising}}$, whose repr…

I've been remiss in posting Toy Camera photos but I've added some new ones!
➡️ http://photos.rasterweb.net/index.php?/category/33
#ShittyCameraChallenge…

Crime down in every category in 2024, FBI report says (Anna Schecter/CBS News)
https://www.cbsnews.com/news/fbi-crime-report-2025/
http://www.memeorandum.com/250805/p103#a250805p103

High-Order Deep Meta-Learning with Category-Theoretic Interpretation
David H. Mguni
https://arxiv.org/abs/2507.02634 https://arxiv.or…

High-Order Deep Meta-Learning with Category-Theoretic Interpretation
We introduce a new hierarchical deep learning framework for recursive higher-order meta-learning that enables neural networks (NNs) to construct, solve, and generalise across hierarchies of tasks. Central to this approach is a generative mechanism that creates \emph{virtual tasks} -- synthetic problem instances designed to enable the meta-learner to learn \emph{soft constraints} and unknown generalisable rules across related tasks. Crucially, this enables the framework to generate its own infor…

Finite 2-group gauge theory and its 3 1D lattice realization
Mo Huang
https://arxiv.org/abs/2508.04693 https://arxiv.org/pdf/2508.04693

Finite 2-group gauge theory and its 3+1D lattice realization
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 t…

Pullbacks and intersections in categories of graphs of groups
Jordi Delgado, Marco Linton, Jone Lopez de Gamiz Zearra, Mallika Roy, Pascal Weil
https://arxiv.org/abs/2508.04362 …

Pullbacks and intersections in categories of graphs of groups
We develop a categorical framework for studying graphs of groups and their morphisms, with emphasis on pullbacks. More precisely, building on classical work by Serre and Bass, we give an explicit construction of the so-called $\mathbb{A}$-product of two morphisms into a graph of groups $\mathbb{A}$ -- a graph of groups which, within the appropriate categorical setting, captures the intersection of subgroups of the fundamental group of $\mathbb{A}$. We show that, in the category of pointed graph…

TEn-CATS: Text-Enriched Audio-Visual Video Parsing with Multi-Scale Category-Aware Temporal Graph
Yaru Chen, Faegheh Sardari, Peiliang Zhang, Ruohao Guo, Yang Xiang, Zhenbo Li, Wenwu Wang
https://arxiv.org/abs/2509.04086

TEn-CATS: Text-Enriched Audio-Visual Video Parsing with Multi-Scale Category-Aware Temporal Graph
Audio-Visual Video Parsing (AVVP) task aims to identify event categories and their occurrence times in a given video with weakly supervised labels. Existing methods typically fall into two categories: (i) designing enhanced architectures based on attention mechanism for better temporal modeling, and (ii) generating richer pseudo-labels to compensate for the absence of frame-level annotations. However, the first type methods treat noisy segment-level pseudo labels as reliable supervision and the…

The derivator of a dg-category
Francesco Genovese, Chiara Sava, Jan \v{S}\v{t}ov\'i\v{c}ek
https://arxiv.org/abs/2508.02612 https://arxiv.org/pdf/2508.…

The derivator of a dg-category
In this work, we construct the stable derivator associated to a homotopically complete and cocomplete dg-category by explicitly defining homotopy Kan extensions via suitable weighted homotopy limits and colimits in dg-categories. By restricting the domain of the derivator to finite direct categories, we obtain a well-defined derivator even for pretriangulated dg-categories. This definition enables an explicit description of the derivator associated to a weakly idempotent complete Frobenius exac…

Welp, looks like I'll need to file a bill to require that if the state is going to assert copyright over its historical markers, it's gotta be under a copyleft license: https://commons.wikimedia.org/wiki/Commons:Deletion_requests/Files_in_Category:Historical_markers_in_New_Hampshire
(that is, assuming something can't be worked out independently without one...)

Commutative Quantale and Localization
Bangzheng Li, Yichen Xiao
https://arxiv.org/abs/2508.02991 https://arxiv.org/pdf/2508.02991

Commutative Quantale and Localization
In this paper we introduce the localization construction for quantales. A quantale is a complete semilattice combined with a multiplication. We mimic the notion of filter in a lattice to define multiplicative filters in a quantale, and construct the localization of the quantale at a multiplicative filter. We prove theorems with similar structure as "$\Spec R$ is a sheaf" and use them to obtain several results in algebra and geometry, including the Baire Category Theorem and some of its generali…

GÉANT’s GN4-3N project is a finalist in the European Digital Connectivity Awards 2025 🎉
We’re honoured to be nominated in the “Cross-border and international connectivity” category, recognising the GN4-3N project’s role in building a more inclusive, resilient, and future-proof network infrastructure for the European #Research &

CMRAG: Co-modality-based document retrieval and visual question answering
Wang Chen, Guanqiang Qi, Weikang Li, Yang Li
https://arxiv.org/abs/2509.02123 https://

CMRAG: Co-modality-based document retrieval and visual question answering
Retrieval-Augmented Generation (RAG) has become a core paradigm in document question answering tasks. However, existing methods have limitations when dealing with multimodal documents: one category of methods relies on layout analysis and text extraction, which can only utilize explicit text information and struggle to capture images or unstructured content; the other category treats document segmentation as visual input and directly passes it to visual language models (VLMs) for processing, ye…

Berlin-based Synthflow, a no-code service letting enterprises build and deploy customized voice AI customer service agents, raised a $20M Series A led by Accel (Rebecca Szkutak/TechCrunch)
https://techcrunch.com/2025/06/24/how-

How Synthflow AI is cutting through the noise in a loud AI voice category | TechCrunch
Synthflow AI was founded in 2023 and has amassed more than 1,000 customers and handled more than 45 million calls.

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 31163 nodes and 120029 edges.
Tags: Social, Collaborati…

2-cabling and tangle operators in Khovanov theory
Mihai Marian
https://arxiv.org/abs/2508.00644 https://arxiv.org/pdf/2508.00644

2-cabling and tangle operators in Khovanov theory
We describe an operator on 4-ended tangles that is induced by 2-cabling of a strongly invertible knot. By passing to the 4-ended tangle Khovanov theory of Kotelskiy-Watson-Zibrowius, this induces an operator on the category of type D structures over the Bar-Natan algebra $\mathcal{B}$, as well as on a Fukaya category of the 4-punctured 2-sphere. We provide a full description of this operator's restriction to cap-trivial tangles. Finally, we extract geography results that are inspired by a recen…

The TSA is in the same category as ICE in terms of what fucking cruel shit it pulls.
https://unionrayo.com/en/tsa-ban-children-toys-flight/

Goodbye to children's toys on flights - the TSA bans these common items in carry-on luggage
The Transportation Security Administration (TSA) has started confiscating one of the most common items in the carry-on luggage of young children: stuffed

Looking for reading recommendations for your Northern Hemisphere's summer break? Our Library section can help.
https://deprogrammaticaipsum.com/category/library/

About 9 million years ago, a natural inbreeding in the wild between tomato plants and a potato-like plant species in present-day South America gave way to what we know as the potato.
This new (and nutritious) plant arose from an evolutionary event that triggered the formation of the tuber–the underground structure that plants like potatoes, yams, and taros use to store food.
The findings are detailed in a study published July 31 in the journal Cell.

How the tomato created the potato
The starchy staple evolved from the tomato about 9 million years ago.

Semi-infinite parabolic IC-sheaf II: the Ran space version
Gurbir Dhillon, Sergey Lysenko
https://arxiv.org/abs/2508.01527 https://arxiv.org/pdf/2508.01527…

Semi-infinite parabolic IC-sheaf II: the Ran space version
This paper is a sequel to arXiv:2310.0638. Let G be a split reductive group. We define the parabolic semi-infinite category on the Ran version of the affine Grassmanian Gr_{G,Ran}. We study the semi-infinite parabolic IC-sheaf in this category. We provide several descriptions of this object, one as certain colimit, another as an intermediate extension in certain category. We relate the global and local semi-infinite categories of sheaves. We also relate the intersection cohomology sheaf of the …

An algorithm to determine LS-category and Ginsburg invariant of any rationally elliptic space
M. T. K. Abassi, A. Acharqy, K. Boutahir, Y. Rami
https://arxiv.org/abs/2507.02590

An algorithm to determine LS-category and Ginsburg invariant of any rationally elliptic space
Let $X$ be a rationally elliptic space. Utilizing the Gorenstein algebra structure of $X$, we present three algorithms that together induce a generating class of $Ext^N_{(ΛV,d)}(\mathbb{Q},(ΛV,d))$ with $N$ being the formal dimension of $X$. From these algorithms, we derive an algorithm to compute the rational Lusternik-Schnirelmann category $cat_0(X)$. Furthermore, by applying a spectral sequence argument based on the {\it Eilenberg-Moore spectral sequence}, we compute the rational Ginsburg …

Category-Aware 3D Object Composition with Disentangled Texture and Shape Multi-view Diffusion
Zeren Xiong, Zikun Chen, Zedong Zhang, Xiang Li, Ying Tai, Jian Yang, Jun Li
https://arxiv.org/abs/2509.02357

Category-Aware 3D Object Composition with Disentangled Texture and Shape Multi-view Diffusion
In this paper, we tackle a new task of 3D object synthesis, where a 3D model is composited with another object category to create a novel 3D model. However, most existing text/image/3D-to-3D methods struggle to effectively integrate multiple content sources, often resulting in inconsistent textures and inaccurate shapes. To overcome these challenges, we propose a straightforward yet powerful approach, category+3D-to-3D (C33D), for generating novel and structurally coherent 3D models. Our method…

Replaced article(s) found for math.CT. https://arxiv.org/list/math.CT/new
[1/1]:
- Orbifold completion of 3-categories
Nils Carqueville, Lukas M\"uller
htt…

Polynomial Bridgeland Stability Conditions on the Category of Coherent Sheaves
R\'emi Delloque
https://arxiv.org/abs/2506.21939 https://

Polynomial Bridgeland Stability Conditions on the Category of Coherent Sheaves
In this short note, we give a wide class of examples of stability conditions on the category of coherent sheaves which generalise Gieseker stability. They are referred to as "adapted to coherent sheaves" and they admit Harder-Narasimhan and Jordan-Hölder filtrations. We also study the particular case of Bayer's polynomial Bridgeland stability conditions, and their relation to the gauge theoretical counterpart introduced by Dervan-McCarthy-Sektnan.

The Gauss-Markov Adjunction: Categorical Semantics of Residuals in Supervised Learning
Moto Kamiura
https://arxiv.org/abs/2507.02442 https://

The Gauss-Markov Adjunction: Categorical Semantics of Residuals in Supervised Learning
Enhancing the intelligibility and interpretability of machine learning is a crucial task in responding to the demand for Explicability as an AI principle, and in promoting the better social implementation of AI. The aim of our research is to contribute to this improvement by reformulating machine learning models through the lens of category theory, thereby developing a semantic framework for structuring and understanding AI systems. Our categorical modeling in this paper clarifies and formalize…

Topological charge and black hole photon spheres in massive gravity
Pavan Kumar Yerra, Chandrasekhar Bhamidipati
https://arxiv.org/abs/2509.04261 https://a…

Topological charge and black hole photon spheres in massive gravity
In this paper, we investigate the existence and nature of the photon spheres (PS) in the background of four dimensional static and spherically symmetric black holes in the de Rham-Gabadadze-Tolley (dRGT) massive gravity theory. Apart from the known case of one PS, there are regions in the parameter space of massive gravity where either two or no PS's exist outside the event horizon. Topological arguments show that, the case of one PS falls in the category of Einstein gravity (with topological c…

Rapidly intensifying Hurricane Erin becomes historic storm due to strengthening https://arstechnica.com/science/2025/08/hurricane-erin-sets-early-season-intensification-record-becomes-category-5-storm/

Hurricane Erin sets early season intensification record, becomes Category 5 storm
The good news is that, for now, Erin appears unlikely to directly strike land.

Cartier integration of infinitesimal 2-braidings via 2-holonomy of the CMKZ 2-connection, I: Hexagonators and the Breen polytope
Cameron James Deverall Kemp
https://arxiv.org/abs/2508.01944

Cartier integration of infinitesimal 2-braidings via 2-holonomy of the CMKZ 2-connection, I: Hexagonators and the Breen polytope
This paper follows on from "Syllepses from 3-shifted Poisson structures and second-order integration of infinitesimal 2-braidings". Given a symmetric strict infinitesimal 2-braiding on a symmetric strict monoidal cochain 2-category, we construct a candidate hexagonator series as a 2-holonomy with respect to the Cirio-Martins-Knizhnik-Zamolodchikov (CMKZ) fake flat 2-connection over the configuration space of 3 distinguishable particles on the complex line, $Y_3$. The second-order term of the he…

Order in Partial Markov Categories
Elena Di Lavore, Mario Rom\'an, Pawe{\l} Soboci\'nski, M\'ark Sz\'eles
https://arxiv.org/abs/2507.19424 https://

Order in Partial Markov Categories
Partial Markov categories are a recent framework for categorical probability theory, providing an abstract account of partial probabilistic computation. In this article, we discuss two order relations on the morphisms of a partial Markov category. In particular, we prove that every partial Markov category is canonically enriched over the category of preordered sets and monotone maps. We show that our construction recovers several well-known order enrichments. We also demonstrate that the existe…

Well, the weather forecast now includes "possible wildfires." If you go out in those wildfires, drink a lot of water and don't forget your bowler hat ->
Адска жега днес - Новини СЕГА
https://www.segabg.com/hot/category-bulgaria/adska-zhega-dnes…

Адска жега днес - Новини СЕГА
Пикът на горещата вълна от последните няколко дни се очаква да бъде днес. Червен код е издаден за областите Видин, Монтана, Враца, Плевен, Ловеч, Велико Търново, Русе, Ямбол, Хасково, Стара Загора, Пловдив, Благоевград. Там температурите ще прехвърлят 41 градуса.

Group schemes and their Lie algebras over a symmetric tensor category
Dave Benson, Julia Pevtsova
https://arxiv.org/abs/2507.02031 https://

Group schemes and their Lie algebras over a symmetric tensor category
We investigate the theory of affine group schemes over a symmetric tensor category, with particular attention to the tangent space at the identity. We show that this carries the structure of a restricted Lie algebra, and can be viewed as the degree one distributions on the group scheme, or as the right invariant derivations on the coordinate ring. In the second half of the paper, we illustrate the theory in the particular case of the symmetric tensor category $\mathsf{Ver}_4^+$ in characteristi…

On morphisms of topological quivers
Mariusz Tobolski
https://arxiv.org/abs/2506.23913 https://arxiv.org/pdf/2506.23913

On morphisms of topological quivers
We introduce regular morphisms of topological quivers and show that they give rise to a subcategory of the category of topological quivers and quiver morphisms. Our regularity conditions render the topological quiver C*-algebra construction a contravariant functor from the category of topological quivers and regular morphisms into the category of C*-algebras and $*$-homomorphisms.

OmniShape: Zero-Shot Multi-Hypothesis Shape and Pose Estimation in the Real World
Katherine Liu, Sergey Zakharov, Dian Chen, Takuya Ikeda, Greg Shakhnarovich, Adrien Gaidon, Rares Ambrus
https://arxiv.org/abs/2508.03669

OmniShape: Zero-Shot Multi-Hypothesis Shape and Pose Estimation in the Real World
We would like to estimate the pose and full shape of an object from a single observation, without assuming known 3D model or category. In this work, we propose OmniShape, the first method of its kind to enable probabilistic pose and shape estimation. OmniShape is based on the key insight that shape completion can be decoupled into two multi-modal distributions: one capturing how measurements project into a normalized object reference frame defined by the dataset and the other modelling a prior …

[2025-07-07 Mon (UTC), no new articles found for math.CT Category Theory]
toXiv_bot_toot

An Automated, Scalable Machine Learning Model Inversion Assessment Pipeline
Tyler Shumaker, Jessica Carpenter, David Saranchak, Nathaniel D. Bastian
https://arxiv.org/abs/2509.04214

An Automated, Scalable Machine Learning Model Inversion Assessment Pipeline
Machine learning (ML) models have the potential to transform military battlefields, presenting a large external pressure to rapidly incorporate them into operational settings. However, it is well-established that these ML models are vulnerable to a number of adversarial attacks throughout the model deployment pipeline that threaten to negate battlefield advantage. One broad category is privacy attacks (such as model inversion) where an adversary can reverse engineer information from the model, …

CoPS: Conditional Prompt Synthesis for Zero-Shot Anomaly Detection
Qiyu Chen, Zhen Qu, Wei Luo, Haiming Yao, Yunkang Cao, Yuxin Jiang, Yinan Duan, Huiyuan Luo, Chengkan Lv, Zhengtao Zhang
https://arxiv.org/abs/2508.03447

CoPS: Conditional Prompt Synthesis for Zero-Shot Anomaly Detection
Recently, large pre-trained vision-language models have shown remarkable performance in zero-shot anomaly detection (ZSAD). With fine-tuning on a single auxiliary dataset, the model enables cross-category anomaly detection on diverse datasets covering industrial defects and medical lesions. Compared to manually designed prompts, prompt learning eliminates the need for expert knowledge and trial-and-error. However, it still faces the following challenges: (i) static learnable tokens struggle to …

ProxAnn: Use-Oriented Evaluations of Topic Models and Document Clustering
Alexander Hoyle, Lorena Calvo-Bartolom\'e, Jordan Boyd-Graber, Philip Resnik
https://arxiv.org/abs/2507.00828

ProxAnn: Use-Oriented Evaluations of Topic Models and Document Clustering
Topic model and document-clustering evaluations either use automated metrics that align poorly with human preferences or require expert labels that are intractable to scale. We design a scalable human evaluation protocol and a corresponding automated approximation that reflect practitioners' real-world usage of models. Annotators -- or an LLM-based proxy -- review text items assigned to a topic or cluster, infer a category for the group, then apply that category to other documents. Using this p…

On the graded singularity category of Abelian quotient singularities, I. Smooth categorical compactification
Xiaojun Chen, Jieheng Zeng
https://arxiv.org/abs/2507.19815 https://…

On the graded singularity category of Abelian quotient singularities, I. Smooth categorical compactification
Given a singularity which is the quotient of an affine space $V$ by a finite Abelian group $G \subseteq \mathrm{SL}(V)$, we study the DG enhancement $\mathcal{D}^{b}(\mathrm{tails}(k[V]^G))$ of the bounded derived category of the non-commutative projective space $\mathrm{tails}(k[V]^G)$ and the DG enhancement $\mathcal{D}_{sg}^{\mathbb{Z}}(k[V]^G)$ of its graded singularity category. In this paper, we construct smooth categorical compactifications, in the sense of Efimov, of $\mathcal{D}^b(\mat…

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 31163 nodes and 120029 edges.
Tags: Social, Collaborati…

The Rouquier dimension of the category of perfect complexes over a regular ring
Janina C. Letz
https://arxiv.org/abs/2506.24038 https://

The Rouquier dimension of the category of perfect complexes over a regular ring
We show that the Rouquier dimension of the category of perfect complexes over a regular ring is precisely the Krull dimension of the ring. Previously, it was known that the Krull dimension is an upper bound, the lower bound however was not known in general. In particular, for regular local rings this result is new. More generally, we show that a lower bound of the Rouquier dimension is given by the maximal length of a regular sequence.

The Outstanding Talk Series Emmy category will have only three nominations in 2025, down from five in 2023, due to getting just 13 submissions (Peter White/Deadline)
https://deadline.com/2025/06/late-night-talk-emmy-category-three-nominatio…

Late-Night Talk Emmy Category Reduced To Three Nominations
The likes of Jon Stewart, Stephen Colbert, Jimmy Kimmel and Seth Meyers will be battling it out for one of only three Emmy nominations.

Hurricane Erin strengthened into a fearsome Category 5 hurricane with sustained winds of 160 mph for much of the day on Aug. 16
as it traveled west just north of the Virgin Islands, according to the National Hurricane Center.
The hurricane is not expected to make a direct hit on the United States,
but will still drive dangerous surf conditions along the East Coast, said Michael Brennan, hurricane center director.
"The weather can be otherwise pretty nice to be at …

Hurricane Erin a Category 4 after briefly strengthening to fierce Category 5 storm
Hurricane Erin briefly strengthened into a Category 5 storm. It is not expected to make a direct hit on the U.S. but will create dangerous surf.

Cartesian Linearly Distributive Categories: Revisited
Rose Kudzman-Blais, Jean-Simon Pacaud Lemay
https://arxiv.org/abs/2509.04435 https://arxiv.org/pdf/25…

Cartesian Linearly Distributive Categories: Revisited
Linearly distributive categories (LDC) were introduced by Cockett and Seely to provide an alternative categorical semantics for multiplicative linear logic. In contrast to Barr's $\ast$-autonomous categories, LDCs take multiplicative conjunction and disjunction as primitive notions. Thus, a LDC is a category with two monoidal products that interact via linear distributors. A cartesian linearly distributive category (CLDC) is a LDC whose two monoidal products coincide with categorical products a…

Interview with Lovable CEO Anton Osika on competition, staying in Europe, and more; the company now has 2.3M active users, including 180K paying subscribers (Dominic-Madori Davis/TechCrunch)
https://techcrunch.com/2025/09/01/lovables-ceo-is…

Lovable's CEO isn't too worried about the vibe-coding competition | TechCrunch
Lovable specializes in helping people build apps and websites, especially people with no coding experience. It's one of the standouts in the popular AI category known as vibe-coding, which lets users guide AI models as they produce code, websites, or whole applications.

Some conjectures on the quotients of the tensor products in the category $\mathscr{X}$
Junbin Dong
https://arxiv.org/abs/2508.00488 https://arxiv.org/pdf/2…

Some conjectures on the quotients of the tensor products in the category $\mathscr{X}$
Let ${\bf G}$ be a connected reductive algebraic group defined over the finite field $\mathbb{F}_q$ with $q$ elements. We propose some conjectures concerning the simple quotients of $M\otimes N$, where $M,N$ are objects in the representation category $\mathscr{X}({\bf G})$. We provide several pieces of evidence for these conjectures. In particular, we show that these conjectures are valid for ${\bf G}=SL_2(\bar{\mathbb{F}}_q)$.

The category of propositional deductive systems
Ciro Russo
https://arxiv.org/abs/2508.19426 https://arxiv.org/pdf/2508.19426…

The category of propositional deductive systems
We define the category $\mathcal{QM}$ of quantales and their modules and prove the existence of coproducts, and the one of pushout and amalgamated coproducts under certain conditions. Then we define the non-full subcategory $\mathcal{DS}_0$, of propositional deductive systems, show that it is equivalent to the one of ``real'' propositional logics whose morphisms are interpretations (modulo a language translation, when needed), and prove that the coproduct in $\mathcal{DS}_0$ is precisely the de…

On the Definition of Intelligence
Kei-Sing Ng
https://arxiv.org/abs/2507.22423 https://arxiv.org/pdf/2507.22423

On the Definition of Intelligence
To engineer AGI, we should first capture the essence of intelligence in a species-agnostic form that can be evaluated, while being sufficiently general to encompass diverse paradigms of intelligent behavior, including reinforcement learning, generative models, classification, analogical reasoning, and goal-directed decision-making. We propose a general criterion based on sample fidelity: intelligence is the ability, given sample(s) from a category, to generate sample(s) from the same category. …

On generalized morphisms associated to endofunctors of C*-algebras
Georgii S. Makeev
https://arxiv.org/abs/2509.02001 https://arxiv.org/pdf/2509.02001

On generalized morphisms associated to endofunctors of C*-algebras
We introduce a class of good endofunctors of $C^{*}$-algebras, endow it with a structure of a bimonoidal category, and define homotopies of natural transformations between such endofunctors. For every pair of $C^{*}$-algebras and a good endofunctor, we construct a commutative monoid of generalized morphisms, and endow these monoids with a bilinear composition. This construction generalizes the homotopy category of asymptotic homomorphisms used in the definition of the Connes-Higson $E$-theory. …

The tensor triangular geometry of fully faithful functors
Beren Sanders
https://arxiv.org/abs/2508.02105 https://arxiv.org/pdf/2508.02105

The tensor triangular geometry of fully faithful functors
We prove that the map on Balmer spectra induced by a fully faithful geometric functor is a quotient map whose fibers are connected. This is an analogue of the Zariski Connectedness Theorem in algebraic geometry and it can be applied to a plethora of examples in equivariant and motivic mathematics. We isolate a significant source of examples by introducing the "concentration" of a tt-category at a well-behaved chosen set of compact generators. Various categories of cellular objects arise in this…

Intertwining Algebras and Affine Hecke Algebras for Finite Central Extensions of Classical $p$-adic Groups with Application to Metaplectic Groups
Volker Heiermann, Chenyan Wu
https://arxiv.org/abs/2508.04303

Intertwining Algebras and Affine Hecke Algebras for Finite Central Extensions of Classical $p$-adic Groups with Application to Metaplectic Groups
For a finite central extension $\tilde{G}$ of a classical $p$-adic reductive group, we consider the endomorphism algebra of some induced projective generator à la Bernstein of the category of smooth representations of $\tilde{G}$. In the case where the Levi subgroups decompose, we can compute this algebra to get a result similar to the one previously obtained by the first author for classical $p$-adic groups, showing that this intertwining algebra is a twisted semi-direct product of an affine …

Replaced article(s) found for math.CT. https://arxiv.org/list/math.CT/new
[1/1]:
- Polygraphs: From Rewriting to Higher Categories
Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, Fran\c{c}ois M\'etayer, Samuel Mimram

GOP tax bill includes a $6,000 ‘senior deduction.’ Here’s who qualifies.
Under current law, most taxpayers claim the standard deduction of $15,000 (or $30,000 for couples)
to reduce their tax liability,
though the GOP tax bill would increase those amounts slightly.
Additionally, seniors already qualify for an additional deduction of $2,000 (or $3,600 for couples).

The Senate bill would create a third category that gives seniors an additional $6,000 (or $12,000) off…

GOP tax bill includes a $6,000 ‘senior deduction.’ Here’s who qualifies.
The provision emerged from President Donald Trump’s campaign pledge to end taxes on Social Security. But experts say many are excluded.

Crosslisted article(s) found for math.CT. https://arxiv.org/list/math.CT/new
[1/1]:
- An axiomatic approach to analytic $1$-affineness
Matteo Montagnani, Emanuele Pavia

DUDE: Diffusion-Based Unsupervised Cross-Domain Image Retrieval
Ruohong Yang, Peng Hu, Yunfan Li, Xi Peng
https://arxiv.org/abs/2509.04193 https://arxiv.or…

DUDE: Diffusion-Based Unsupervised Cross-Domain Image Retrieval
Unsupervised cross-domain image retrieval (UCIR) aims to retrieve images of the same category across diverse domains without relying on annotations. Existing UCIR methods, which align cross-domain features for the entire image, often struggle with the domain gap, as the object features critical for retrieval are frequently entangled with domain-specific styles. To address this challenge, we propose DUDE, a novel UCIR method building upon feature disentanglement. In brief, DUDE leverages a text-…

On Effective Banach-Mazur Games and an application to the Poincar\'e Recurrence Theorem for Category
Prajval Koul, Satyadev Nandakumar
https://arxiv.org/abs/2506.11118

On Effective Banach-Mazur Games and an application to the Poincaré Recurrence Theorem for Category
The classical Banach-Mazur game characterizes sets of first category in a topological space. In this work, we show that an effectivized version of the game yields a characterization of sets of effective first category. Using this, we give a proof for the effective Banach Category Theorem. Further, we provide a game-theoretic proof of an effective theorem in dynamical systems, namely the category version of Poincaré Recurrence. The Poincaré Recurrence Theorem for category states that for a hom…

Internal languages of locally cartesian closed $(\infty,1)$-categories
El Mehdi Cherradi
https://arxiv.org/abs/2509.03371 https://arxiv.org/pdf/2509.03371

Internal languages of locally cartesian closed $(\infty,1)$-categories
We establish a DK-equivalence between the relative category of $π$-tribes and the relative category of locally cartesian closed quasicategories. From this follows one of the internal languages conjecture: Martin-Löf type theory with dependent sums, intensional identity types, and dependent products satisfying functional extensionality is the internal language of locally cartesian closed $(\infty,1)$-categories.

Rigid Algebras and Cospans
Leor Neuhauser
https://arxiv.org/abs/2506.22072 https://arxiv.org/pdf/2506.22072

Rigid Algebras and Cospans
We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal $(\infty,2)$-categories. We develop their general theory, showing in particular that the a priori $(\infty,2)$-category of rigid algebras is in fact an $(\infty,1)$-category. For the $(\infty,2)$-category of cospans in an $(\infty,1)$-category $\mathcal{C}$, we show that the $(\infty,1)$-category of rigid commutative algebras is canonically identified with $\mathcal{C}$. This identification is used…

Extension category algebras and LHS--spectral sequences
Mawei Wu
https://arxiv.org/abs/2507.20588 https://arxiv.org/pdf/2507.20588

Extension category algebras and LHS--spectral sequences
Let $\mathcal{C}$ be a small category, $\mathfrak{A}$ be a precosheaf of unital $k$-algebras on $\mathcal{C}$ and $\mathfrak{M}$ be an $\mathfrak{A}$-bimodule. We introduce two new notions, namely, the Grothendieck construction $Gr_{\mathcal{C}}(\mathfrak{A}, \mathfrak{M})$ of $\mathfrak{A}$ and $\mathfrak{M}$, as well as the extension category algebra $\mathfrak{A} \ltimes \mathfrak{M}$. The extension category algebra contains the trivial extension algebra and the skew category algebra as spec…

Unital Specker $\ell$-groups and boolean multispaces
Marco Abbadini, Daniele Mundici
https://arxiv.org/abs/2508.21500 https://arxiv.org/pdf/2508.21500

Unital Specker $\ell$-groups and boolean multispaces
As a topological generalization of the notion of multiset, a boolean multispace is a boolean space $X$ with a continuous function $u\colon X\to \mathbb Z_{>0}$, where $\mathbb Z_{>0}=\{1,2,\dots\}$ has the discrete topology. In this paper the category of boolean multispaces and continuous multiplicity-decreasing morphisms with respect to the divisibility order is shown to be dually equivalent to the category of unital Specker $\ell$-groups and unital $\ell$-homomorphisms. This result extends St…

[2025-09-05 Fri (UTC), 2 new articles found for math.CT Category Theory]
toXiv_bot_toot

[2025-08-05 Tue (UTC), 3 new articles found for math.CT Category Theory]
toXiv_bot_toot

A model structure on the category of A$_\infty$-categories with strict morphisms
Mattia Ornaghi
https://arxiv.org/abs/2506.22847 https://

A model structure on the category of A$_\infty$-categories with strict morphisms
We prove that the category of (strictly unital) A$_\infty$-categories, linear over a commutative ring $R$, with strict A$_\infty$-morphisms has a cofibrantly generated model structure. In this model structure every object is fibrant and the cofibrant objects have cofibrant morphisms. As a consequence we prove that the semi-free A$_\infty$-categories (resp. resolutions) are cofibrant objects (resp. resolution) in this model structure.

McKinsey-Tarski algebras and Raney extensions
Guram Bezhanishvili, Ranjitha Raviprakash, Anna Laura Suarez, Joanne Walters-Wayland
https://arxiv.org/abs/2509.01233 https://

McKinsey-Tarski algebras and Raney extensions
We introduce the notion of Raney morphism between MT-algebras and show that the resulting category is equivalent to the category of Raney extensions. This is done by generalizing the construction of the Funayama envelope of a frame. The resulting notion of the $T_0$-hull of a Raney extension generalizes that of the $T_D$-hull of a frame.

Replaced article(s) found for math.CT. https://arxiv.org/list/math.CT/new
[1/1]:
- Interpreting type theory in a quasicategory: a Yoneda approach
El Mehdi Cherradi

Replaced article(s) found for math.CT. https://arxiv.org/list/math.CT/new
[1/1]:
- Multicategories from Symmetric Monoidal Categories
A. D. Elmendorf
https://…

Replaced article(s) found for math.CT. https://arxiv.org/list/math.CT/new
[1/1]:
- Deformations of objects in $n$-categories
Fei Yu Chen
h…

Replaced article(s) found for math.CT. https://arxiv.org/list/math.CT/new
[1/1]:
- Lifting independence along functors
Mark Kamsma, Ji\v{r}\'i Rosick\'y

Crosslisted article(s) found for math.CT. https://arxiv.org/list/math.CT/new
[1/1]:
- Permutation twisted cohomology, remixed
Sam K. Miller
https://

[2025-09-04 Thu (UTC), 2 new articles found for math.CT Category Theory]
toXiv_bot_toot

[2025-08-04 Mon (UTC), 3 new articles found for math.CT Category Theory]
toXiv_bot_toot

[2025-07-04 Fri (UTC), no new articles found for math.CT Category Theory]
toXiv_bot_toot

The nine model category structures on the category of sets
Omar Antol\'in-Camarena, Tobias Barthel
https://arxiv.org/abs/2508.15731 https://arxiv.org/p…

The nine model category structures on the category of sets
We give a proof of the folklore theorem, attributed to Goodwillie, that there are precisely nine model structures on the category $\mathsf{Set}$ of sets. This result is deduced from a complete study of lifting problems and the ensuing classification of all weak factorization systems on $\mathsf{Set}$. Moreover, we determine the Quillen equivalences between these model structures and exhibit an explicit example of equivalent model structures that cannot be realized by a single Quillen adjunction.

Addendum: localization of lax symmetric monoidal categories
Vladimir Hinich, Ieke Moerdijk
https://arxiv.org/abs/2509.03450 https://arxiv.org/pdf/2509.0345…

Addendum: localization of lax symmetric monoidal categories
In this note, we explain in some detail how one can fiberwise localize a (co)lax symmetric monoidal infinity-category. This construction was tacitly used in Section 5 of our recent paper "On the equivalence of the Lurie's infinity-operads and dendroidal infinity-operads".

Locally finitely presented Grothendieck categories with a flat generator
Lorenzo Martini, Carlos E. Parra, Manuel Saor\'in, Simone Virili
https://arxiv.org/abs/2508.00670 ht…

Locally finitely presented Grothendieck categories with a flat generator
A problem raised by Cuadra and Simson in 2007 asks whether a locally finitely presented Grothendieck category with enough flat objects has enough projective objects. We prove that the categories involved in the statement are precisely the locally finitely presented Grothendieck categories with exact product functors. This enables reformulations of the problem that answer the latter in the negative and prove that it is related to a classical problem posed by Miller in 1975 and to the Telescope C…

Dynamics and Coherence for the Free Cornering with Protocol Choice
Chad Nester, Niels Voorneveld
https://arxiv.org/abs/2508.00633 https://arxiv.org/pdf/250…

Dynamics and Coherence for the Free Cornering with Protocol Choice
We present a term rewriting system that models the dynamic aspects of the free cornering with protocol choice of a monoidal category, which has been proposed as a categorical model of process interaction. This term rewriting system is confluent and terminating in an appropriate sense. We use this machinery to prove a coherence theorem for the free cornering with protocol choice.

How to build a Hopf algebra
Theo Johnson-Freyd, David Reutter
https://arxiv.org/abs/2508.16787 https://arxiv.org/pdf/2508.16787

How to build a Hopf algebra
We construct a functor that inputs a retract in an $(\infty,3)$-category satisfying some adjunctibility conditions and outputs a Hopf algebra in a braided monoidal $(\infty,1)$-category. Provided the braided monoidal category is presentable, any Hopf algebra can be obtained in this way. Our functor specializes to - and provides a higher-categorical explanation for - the Tannakian reconstruction of a Hopf algebra from a monoidal category with duals and a fiber functor. Towards this end, we rev…

A pair of monads in Topology
Ando Razafindrakoto
https://arxiv.org/abs/2507.23403 https://arxiv.org/pdf/2507.23403

A pair of monads in Topology
In the article \cite{Sim}, H. Simmons describes two monads of interests arising from the dual adjunction between the category of topological spaces and that of (bounded) distributive lattices. These are the open prime filter monad and the ideal lattice monad. It is known that the ideal lattice monad induces the ideal frame comonad on the category of frames. We show that this ideal frame comonad can be paired with the open prime filter monad via the open set-spectrum adjunction. From this, we gi…

Baues-Wirsching Cohomology and Svarc Genus in Small Categories
Isaac Carcac\'ia-Campos, Enrique Mac\'ias-Virg\'os, David Mosquera-Lois
https://arxiv.org/abs/2508.00727

Baues-Wirsching Cohomology and Svarc Genus in Small Categories
We prove that for a bifibration P between small categories, the lenght of the cup product in the kernel of the induced morphism in the Baues-Wirsching cohomology with coefficients in any natural system is a lower bound for the homotopic sectional category (also called Svarc genus). Our results extend classical Svarc type inequalties to the categorical setting and introduce a computationally efficient method via a reduced cochain complex for Baues-Wirching cohomology.

Characterization of groupoid categories in terms of its category of $\mathcal{C}$-sets
J. Miguel Calder\'on, Alberto Gerardo Raggi-C\'ardenas, Itzel Rosas, Ram\'on H. Ruiz-Medina
https://arxiv.org/abs/2508.10162

Characterization of groupoid categories in terms of its category of $\mathcal{C}$-sets
A $\mathcal{C}$-set is a functor from the category $\mathcal{C}$ to the category of finite sets and functions. The category of $\mathcal{C}$-sets, $\mathcal{C} - \operatorname*{set}$, is defined as the category whose objects are $\mathcal{C}$-sets, and whose morphisms are natural transformations between them. In this document we provide some concise characterizations of groupoids in terms of their category of $\mathcal{C}$-sets.

Replaced article(s) found for math.CT. https://arxiv.org/list/math.CT/new
[1/1]:
- Deformations of objects in $n$-categories
Fei Yu Chen
h…

Annulation (co)homologique pour des repr\'esentations non additives d'une cat\'egorie semi-additive
Benachir El Allaoui
https://arxiv.org/abs/2507.19317 https://

Annulation (co)homologique pour des représentations non additives d'une catégorie semi-additive
We show the vanishing of higher extension groups and torsion groups between linearisation of additive functors from a semi-additive category satisfying some conditions to a category of vector spaces. In particular, we apply our results to the category of correspondences functors of Bouc-Thévenaz.

[2025-09-03 Wed (UTC), 3 new articles found for math.CT Category Theory]
toXiv_bot_toot

[2025-07-03 Thu (UTC), 2 new articles found for math.CT Category Theory]
toXiv_bot_toot

2-dimensional TFTs via modular $\infty$-operads
Jan Steinebrunner
https://arxiv.org/abs/2506.22104 https://arxiv.org/pdf/2506.22104…

2-dimensional TFTs via modular $\infty$-operads
This lecture series is based on joint work in progress with Shaul Barkan, as well as work in progress of the author. The five sections of these notes correspond to the five lectures, but more details have been added. $2$-dimensional topological field theories ($2$D TFTs) valued in vector spaces are commutative Frobenius algebras. The goal of this lecture series is to generalize from the $1$-category of vector spaces to any symmetric monoidal $\infty$-category $\mathcal{C}$, i.e. to study symm…

Temperley-Lieb Categories on Non-Orientable Surfaces
Dionne Ibarra, Gabriel Montoya-Vega, Benjamin Morris
https://arxiv.org/abs/2506.14319 https://

Temperley-Lieb Categories on Non-Orientable Surfaces
In this paper we present the construction of a skeletal diagram category, which we call the square with bands category. This category extends the Temperley-Lieb (TL) category, where morphisms now include diagrams of embedded curves on (possibly) non-orientable bounded surfaces, and involves three parameters associated to simple closed curves. Such diagrams utilise handle decompositions for surfaces and are considered up to a handle slide equivalence. We define a tensor product on this category,…