English
Related papers

Related papers: Perfectoid Diamonds and n-Awareness. A Meta-Model …

200 papers

Modern categories of spectra such as that of Elmendorf et al equipped with strictly symmetric monoidal smash products allows the introduction of symmetric monoids providing a new way to study highly coherent commutative ring spectra. These…

Algebraic Topology · Mathematics 2022-11-09 Andrew Baker

This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…

Algebraic Geometry · Mathematics 2007-05-23 Bertrand Toen , Gabriele Vezzosi

We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…

Representation Theory · Mathematics 2017-03-09 Zhi-Wei Li

The purpose of this work is to give a definition of a topological K-theory for dg-categories over C and to prove that the Chern character map from algebraic K-theory to periodic cyclic homology descends naturally to this new invariant. This…

K-Theory and Homology · Mathematics 2019-02-20 Anthony Blanc

This paper introduces a mathematical framework for defining and quantifying self-identity in artificial intelligence (AI) systems, addressing a critical gap in the theoretical foundations of artificial consciousness. While existing…

Computation and Language · Computer Science 2024-11-28 Minhyeok Lee

We present an abstract unifying framework for interpreting Stone-type dualities; several known dualities are seen to be instances of just one topos-theoretic phenomenon, and new dualities are introduced. In fact, infinitely many new…

Category Theory · Mathematics 2011-04-06 Olivia Caramello

We introduce materiomusic as a generative framework linking the hierarchical structures of matter with the compositional logic of music. Across proteins, spider webs and flame dynamics, vibrational and architectural principles recur as…

Machine Learning · Computer Science 2026-01-06 Markus J. Buehler

While the classification of non-interacting crystalline topological insulator phases by equivariant K-theory has become widely accepted, its generalization to anyonic interacting phases -- hence to phases with topologically ordered ground…

High Energy Physics - Theory · Physics 2024-05-30 Hisham Sati , Urs Schreiber

A new analytic framework is first formalized via the usage of the Monadology (Leibniz 1898), to expand the understanding of Zermelo-Fraenkel-choice set theory (ZFC) and Von Neumann-Bernays-Godel set theory (NBG). Implicitly, the framework…

Information Theory · Computer Science 2024-04-02 Xiangjun Peng

Responsive, adaptive and intelligent are widely used but inconsistently defined descriptors of soft matter. A conceptual framework is proposed in which the three classes are information channels of increasing architectural complexity: a…

Soft Condensed Matter · Physics 2026-05-29 George S. Attard

Based on the intuitive notion of convexity, we formulate a universal property defining interval objects in a category with finite products. Interval objects are structures corresponding to closed intervals of the real line, but their…

Category Theory · Mathematics 2025-05-01 Martin Escardo , Alex Simpson

This thesis consolidates, improves and extends the smooth entropy framework for non-asymptotic information theory and cryptography. We investigate the conditional min- and max-entropy for quantum states, generalizations of classical R\'enyi…

Quantum Physics · Physics 2015-03-20 Marco Tomamichel

Based on the monoid classifier, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and…

Category Theory · Mathematics 2007-05-23 Claudio Hermida , Paulo Mateus

We use Kan injectivity to axiomatise concepts in the 2-category of topoi. We showcase the expressivity of this language through many examples, and we establish some aspects of the formal theory of Kan extension in this 2-category (pointwise…

Logic · Mathematics 2025-05-22 Ivan Di Liberti , Lingyuan Ye

Applied category theory often studies symmetric monoidal categories (SMCs) whose morphisms represent open systems. These structures naturally accommodate complex wiring patterns, leveraging (co)monoidal structures for splitting and merging…

Category Theory · Mathematics 2025-09-03 Marius Furter , Yujun Huang , Gioele Zardini

Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this information. Homotopy coherent category theory arose out of a desire to…

Category Theory · Mathematics 2023-01-12 Emily Riehl

We study ideals in, and continuity of, quantaloid-enriched categories (Q-categories for short) as a 'many-valued and many-typed' generalization of domain theory. Abstractly, for any (saturated) class Phi of presheaves, we define and study…

Category Theory · Mathematics 2023-04-28 Min Liu , Shengwei Han , Isar Stubbe

New Foundations ($\mathrm{NF}$) is a set theory obtained from naive set theory by putting a stratification constraint on the comprehension schema; for example, it proves that there is a universal set $V$. $\mathrm{NFU}$ ($\mathrm{NF}$ with…

Logic · Mathematics 2018-07-30 Paul K. Gorbow

Embedded topic models are able to learn interpretable topics even with large and heavy-tailed vocabularies. However, they generally hold the Euclidean embedding space assumption, leading to a basic limitation in capturing hierarchical…

Information Retrieval · Computer Science 2022-10-20 Yishi Xu , Dongsheng Wang , Bo Chen , Ruiying Lu , Zhibin Duan , Mingyuan Zhou

Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all…

Algebraic Topology · Mathematics 2007-05-23 A. Chigogidze , A. Karasev