English
Related papers

Related papers: Density in categorical topology via quantaloid-enr…

200 papers

We prove that every topologically transitive shift of finite type in one dimension is topologically conjugate to a subshift arising from a primitive random substitution on a finite alphabet. As a result, we show that the set of values of…

Dynamical Systems · Mathematics 2020-04-15 Philipp Gohlke , Dan Rust , Timo Spindeler

In this work, we use Ising chain and Kitaev chain to check the validity of an earlier proposal in arXiv:2011.02859 that enriched fusion (higher) categories provide a unified categorical description of all gapped/gapless quantum liquid…

Strongly Correlated Electrons · Physics 2022-03-11 Liang Kong , Xiao-Gang Wen , Hao Zheng

In this work, we define a family of probability densities involving the generalized trigonometric functions defined by Dr\'abek and Man\'asevich [1], which we name Generalized Trigonometric Densities. We show their relationship with the…

Mathematical Physics · Physics 2025-04-01 David Puertas-Centeno , Steeve Zozor

We investigate density of various subalgebras of regular generalized functions in the special Colombeau algebra of generalized functions.

Functional Analysis · Mathematics 2017-05-24 Hans Vernaeve

Quantitative algebras are algebras enriched in the category $\mathsf{Met}$ of metric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka $1$-basic varieties) as classes of quantitative…

Category Theory · Mathematics 2023-01-04 Jiří Adámek , Matěj Dostál , Jiří Velebil

Let $X$ be an Enriques surface defined over a number field $K$. Then there exists a finite extension $K'/K$ such that the set of $K'$-rational points of $X$ is Zariski dense.

Algebraic Geometry · Mathematics 2007-05-23 F. Bogomolov , Yu. Tschinkel

Statistical Topology emerged since topological aspects continue to gain importance in many areas of physics. It is most desirable to study topological invariants and their statistics in schematic models that facilitate the identification of…

Mathematical Physics · Physics 2023-03-22 Thomas Guhr

Classification problems of subcategories have been deeply considered so far. In this paper, we discuss classifying dense (co)resolving subcategories of exact categories via their Grothendieck groups. This study is motivated by the…

Representation Theory · Mathematics 2016-11-08 Hiroki Matsui

We study the categorical entropy and counterexamples to Gromov-Yomdin type conjecture via homological mirror symmetry of K3 surfaces established by Sheridan-Smith. We introduce asymptotic invariants of quasi-endofunctors of dg categories,…

Algebraic Geometry · Mathematics 2022-07-20 Kohei Kikuta , Genki Ouchi

We investigate the geometry of word metrics on fundamental groups of manifolds associated with the generating sets consisting of elements represented by closed geodesics. We ask whether the diameter of such a metric is finite or infinite.…

Differential Geometry · Mathematics 2021-06-28 Bastien Karlhofer , Jarek Kędra , Michał Marcinkowski , Alexander Trost

We give a model-theoretic characterization of the class of geometric theories classified by an atomic topos having enough points; in particular, we show that every complete geometric theory classified by an atomic topos is countably…

Category Theory · Mathematics 2013-04-26 Olivia Caramello

We explore a new connection between synthetic domain theory and Grothendieck topoi related to the distributive lattice classifier. In particular, all the axioms of synthetic domain theory (including the inductive fixed point object and the…

Logic in Computer Science · Computer Science 2025-05-20 Jonathan Sterling , Lingyuan Ye

Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…

Category Theory · Mathematics 2015-01-28 Lukáš Vokřínek

We have generalised the notion of categorical theory in model theory to the context of coherent theories. We prove a duality result between the full sub-2-category of pretopoi which are categorical, and the 2-category of profinite monoids.…

Category Theory · Mathematics 2026-05-22 Lingyuan Ye

We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher Karoubi envelope is the closure for absolute limits. Our…

Category Theory · Mathematics 2025-04-07 Davide Gaiotto , Theo Johnson-Freyd

We prove a number of identities relating the sofic entropy of a certain class of non-expansive algebraic dynamical systems, the sofic entropy of the Wired Spanning Forest and the tree entropy of Cayley graphs of residually finite groups. We…

Dynamical Systems · Mathematics 2011-08-23 Lewis Bowen , Hanfeng Li

We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an S-indexed monoidal category V. This includes classical enriched categories, indexed and fibered…

Category Theory · Mathematics 2014-06-10 Michael Shulman

Let $G$ be a finitely presented group. A new complexity called \textit{Karoubi-Weibel complexity} or \textit{covering type}, is defined for $G$. The construction is inspired by recent work of Karoubi and Weibel \cite{KW}, initially applied…

Group Theory · Mathematics 2021-11-02 Ivan Babenko , Thiziri Moulla

We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We…

Category Theory · Mathematics 2024-08-07 Morgan Rogers

We examine configurations of finite subsets of manifolds within the homotopy-theoretic context of $\infty$-categories by way of stratified spaces. Through these higher categorical means, we identify the homotopy types of such configuration…

Algebraic Topology · Mathematics 2024-09-02 Anna Cepek
‹ Prev 1 3 4 5 6 7 10 Next ›