iiinova — where your digital self keeps evolving

arxiv math.CT @arxiv-math-ct.bsky.social · 01/10/2026

St\'ephane Gaussent, Zuan Liu, Philippe Malbos Diagrammatic bases from stratified normalization arxiv.org/abs/2609.36020

000

arxiv math.CT @arxiv-math-ct.bsky.social · 01/10/2026

Shachar Carmeli, Guy Kapon, Noam Nissan Six functor formalisms via internal higher algebra arxiv.org/abs/2609.37520

000

arxiv math.CT @arxiv-math-ct.bsky.social · 28/09/2026

Jiri Adamek, Lurdes Sousa Graduated categories of presheaves arxiv.org/abs/2609.30444

000

arxiv math.CT @arxiv-math-ct.bsky.social · 28/09/2026

Saadia Gabriel, Yuksel Errol Geometric morphisms of virtual ultracategories arxiv.org/abs/2609.31445

000

arxiv math.CT @arxiv-math-ct.bsky.social · 25/09/2026

L\'eonard Guetta, Fran\c{c}ois M\'etayer Groupoidal polygraphic homology arxiv.org/abs/2609.29967

000

arxiv math.CT @arxiv-math-ct.bsky.social · 23/09/2026

Patrick Forr\'e Sample-Smooth Spaces: A Convenient Category for Differentiable Probabilistic Programming arxiv.org/abs/2609.26270

000

arxiv math.CT @arxiv-math-ct.bsky.social · 17/09/2026

Chencheng Zhang Gabriel--Zisman Localizations, Products, Coproducts, and Product Categories arxiv.org/abs/2609.18617

000

arxiv math.CT @arxiv-math-ct.bsky.social · 15/09/2026

Jiaojiao Lu, Zhongkui Liu, Renyu Zhao Compatibility of HRS tilt and completion of $t$-structures in triangulated categories arxiv.org/abs/2609.13699

000

arxiv math.CT @arxiv-math-ct.bsky.social · 15/09/2026

Tessa Kammermeier Bicategorical Idempotent Completion arxiv.org/abs/2609.13788

000

arxiv math.CT @arxiv-math-ct.bsky.social · 15/09/2026

Hongliang Lai, Bo Pang Concept lattices of $Q$-relations via diagonal and back-diagonal categories arxiv.org/abs/2609.13809

000

arxiv math.CT @arxiv-math-ct.bsky.social · 15/09/2026

Frank Murphy-Hernandez The Grouplike Functor and Monoidal Adjunctions arxiv.org/abs/2609.14163

000

arxiv math.CT @arxiv-math-ct.bsky.social · 15/09/2026

Jean-Simon Pacaud Lemay Characterizing (Co)Free Dagger Categories arxiv.org/abs/2609.14285

000

arxiv math.CT @arxiv-math-ct.bsky.social · 15/09/2026

Qikai Wang, Yuxiao Wang, Haiyan Zhu A Counterexample to the Open Question on Object Ideals arxiv.org/abs/2609.14382

000

arxiv math.CT @arxiv-math-ct.bsky.social · 15/09/2026

Roy Ferguson, Zurab Janelidze Grothendieck Topologies Are Extensional Presentations of the Form of Sieves arxiv.org/abs/2609.14671

000

arxiv math.CT @arxiv-math-ct.bsky.social · 15/09/2026

Junpeng Ren, Xianhui Fu Mixing Extriangulated Model Structures arxiv.org/abs/2609.15653

000

arxiv math.CT @arxiv-math-ct.bsky.social · 11/09/2026

Suddhasattwa Das, Tomoharu Suda Joinings in Markov categories arxiv.org/abs/2609.10912

000

arxiv math.CT @arxiv-math-ct.bsky.social · 11/09/2026

Cesar Bardomiano Martinez, Jana K. Nickel, Maru Sarazola, Daniel Teixeira, Santiago Toro Oquendo, Paula Verdugo A model structure for cartesian 2-fibrations arxiv.org/abs/2609.11759

001

arxiv math.CT @arxiv-math-ct.bsky.social · 04/09/2026

Marcello Lanfranchi The Lie group-Lie algebra correspondence in tangent categories arxiv.org/abs/2609.03449

000

arxiv math.CT @arxiv-math-ct.bsky.social · 04/09/2026

Jean-Simon Pacaud Lemay, Chad Nester Override and Update in Restriction Categories arxiv.org/abs/2609.03472

000

arxiv math.CT @arxiv-math-ct.bsky.social · 04/09/2026

Kevin Coulembier Another counterexample to the Nerves of Steel Conjecture arxiv.org/abs/2609.03489

000

arxiv math.CT @arxiv-math-ct.bsky.social · 04/09/2026

Peng Xu Stratification of Artin motives over local fields arxiv.org/abs/2609.03514

000

arxiv math.CT @arxiv-math-ct.bsky.social · 04/09/2026

Ivan Di Liberti, Luca Reggio Beth companions of finitary essentially algebraic theories arxiv.org/abs/2609.03601

000

arxiv math.CT @arxiv-math-ct.bsky.social · 28/08/2026

Xiaoyan Yang Finitistic dimensions in triangulated categories with a compact silting generator arxiv.org/abs/2608.26541

000

arxiv math.CT @arxiv-math-ct.bsky.social · 28/08/2026

Lingyuan Ye, Yiqi Xu Failure of Higher-Order Truth within Intuitionistic Propositional Logic arxiv.org/abs/2608.26874

000

arxiv math.CT @arxiv-math-ct.bsky.social · 27/08/2026

Daniel Funck, Giacomo Gavelli A Categorical Framework for the Direct Integration of Banach Spaces arxiv.org/abs/2608.25603

000

arxiv math.CT @arxiv-math-ct.bsky.social · 27/08/2026

Mark Lyttle De Morgan's Laws in Tensor-Triangular Geometry arxiv.org/abs/2608.25804

000

arxiv math.CT @arxiv-math-ct.bsky.social · 25/08/2026

Jiangsheng Hu, Yu-Zhe Liu, Tiwei Zhao Semi-orthogonal and derived decompositions for gentle algebras arxiv.org/abs/2608.21777

000

arxiv math.CT @arxiv-math-ct.bsky.social · 20/08/2026

Rory B. B. Lucyshyn-Wright Dual adjunctions between enriched algebraic categories arxiv.org/abs/2608.18358

000

arxiv math.CT @arxiv-math-ct.bsky.social · 18/08/2026

Francesco Dagnino, Fabio Pasquali Quotients-comprehensions duality in relational doctrines arxiv.org/abs/2608.15199

000

arxiv math.CT @arxiv-math-ct.bsky.social · 18/08/2026

Matt Wilson, Giulio Chiribella Monoidal su-categories arxiv.org/abs/2608.15885

000

arxiv math.CT @arxiv-math-ct.bsky.social · 18/08/2026

Fatemeh Jowkar, Michael Winter Arrow Operations in Categories of Lattice-valued Relations arxiv.org/abs/2608.16777

000

arxiv math.CT @arxiv-math-ct.bsky.social · 14/08/2026

Ryo Horiuchi On the sphere spectrum from the viewpoint of linear logic arxiv.org/abs/2608.13012

000

arxiv math.CT @arxiv-math-ct.bsky.social · 14/08/2026

Philippe Gaucher The q-model category of multipointed d-spaces is not left proper arxiv.org/abs/2608.13151

000

arxiv math.CT @arxiv-math-ct.bsky.social · 14/08/2026

Philippe Gaucher Left properness of Moore flows arxiv.org/abs/2608.13165

000

arxiv math.CT @arxiv-math-ct.bsky.social · 14/08/2026

Slava Pimenov, Angel Toledo Towards Koszulity for categorical structures: category of 2-nets arxiv.org/abs/2608.12038

000

arxiv math.CT @arxiv-math-ct.bsky.social · 11/08/2026

Stefano Ambra, Andrea Montoli, Diana Rodelo R-full Schreier internal categories and their directions arxiv.org/abs/2608.09428

000

arxiv math.CT @arxiv-math-ct.bsky.social · 11/08/2026

Xiao-Wu Chen, Jian Liu, Xue-Song Lu, Chencheng Zhang A pre-triangulated category which is not triangulated arxiv.org/abs/2608.09777

000

arxiv math.CT @arxiv-math-ct.bsky.social · 06/08/2026

Pei Luo, Zhongkui Liu Three results on extension dimensions of syzygy module categories arxiv.org/abs/2608.04747

000

arxiv math.CT @arxiv-math-ct.bsky.social · 04/08/2026

Michael Lambert Quantification in Double-Categorical Database Schemas arxiv.org/abs/2608.00913

010

arxiv math.CT @arxiv-math-ct.bsky.social · 04/08/2026

Francesco Dagnino, Fabio Pasquali Projective covers, doctrines of algebras and the relational quotient completion arxiv.org/abs/2608.01915

000

arxiv math.CT @arxiv-math-ct.bsky.social · 04/08/2026

Johnathon Taylor Tensor products, internal homs, and model structures in two dimensional category theory arxiv.org/abs/2608.02277

000

arxiv math.CT @arxiv-math-ct.bsky.social · 04/08/2026

Simon Henry Rewriting and presentations of quasicategories arxiv.org/abs/2608.02529

000

arxiv math.CT @arxiv-math-ct.bsky.social · 30/07/2026

Tim Netzer, Tobias Fritz Nonunital Operator Systems as Modules in Enriched Category Theory arxiv.org/abs/2607.26737

000

arxiv math.CT @arxiv-math-ct.bsky.social · 30/07/2026

Torgeir Aamb{\o} Possibilistic operators in Formal Concept Analysis as Kan extensions arxiv.org/abs/2607.26776

000

arxiv math.CT @arxiv-math-ct.bsky.social · 28/07/2026

Siddhant Jajodia, So Nakamura, Manuel Reyes Quotients of mosaics and related hyperstructures arxiv.org/abs/2607.21844

001

arxiv math.CT @arxiv-math-ct.bsky.social · 21/07/2026

Claudia Scheimbauer, Pelle Steffens, William Stewart On dualizability and invertibility in the higher Morita category arxiv.org/abs/2607.16953

000

arxiv math.CT @arxiv-math-ct.bsky.social · 21/07/2026

Bangxin Wang Dynamical Systems as Functorial Realisations of Abstract Evolution Shapes arxiv.org/abs/2607.17455

000