English
Related papers

Related papers: Real sets

200 papers

State of the art language models return a natural language text continuation from any piece of input text. This ability to generate coherent text extensions implies significant sophistication, including a knowledge of grammar and semantics.…

Category Theory · Mathematics 2021-11-19 Tai-Danae Bradley , John Terilla , Yiannis Vlassopoulos

We classify the twisted tensor products of a finite set algebra with a two elements set algebra using colored quivers obtained through considerations analogous to Ore extensions. This provides also a classification of entwining structures…

Rings and Algebras · Mathematics 2007-06-17 Claude Cibils

Let D\subseteq \mathbb{R} be closed and discrete and f:D^n \to \mathbb{R} be such that f(D^n) is somewhere dense. We show that (\mathbb{R},+,\cdot,f) defines the set of integers. As an application, we get that for every a,b \in \mathbb{R}…

Logic · Mathematics 2010-06-03 Philipp Hieronymi

We develop a theory of enriched categories over a (higher) category M equipped with a class W of morphisms called homotopy equivalences. We call them Segal M_W -categories. Our motivation was to generalize the notion of "up-to-homotopy…

Category Theory · Mathematics 2010-09-21 Hugo V. Bacard

We first study commutative, pointed monoids providing basic definitions and results in a manner similar commutative ring theory. Included are results on chain conditions, primary decomposition as well as normalization for a special class of…

K-Theory and Homology · Mathematics 2015-03-10 Jaret Flores

Pursuing the notions of ambidexterity and higher semiadditivity as developed by Hopkins and Lurie, we prove that the span $\infty$-category of $m$-finite spaces is the free $m$-semiadditive $\infty$-category generated by a single object.…

Algebraic Topology · Mathematics 2020-07-15 Yonatan Harpaz

Let $\mathbf{G}$ be the set of all finite or infinite increasing sequences of positive integers beginning with 1. For a sequence $S=\{s(n)\}, n\geq1,$ from $\mathbf{G},$ a positive number $N$ is called an exponentially $S$-number $(N\in…

Number Theory · Mathematics 2016-02-09 Vladimir Shevelev

We revisit an old assertion due to Rouquier, characterizing the perfect complexes as bounded homological functors on the bounded complexes of coherent sheaves. The new results vastly generalize the old statement---first of all the ground…

Category Theory · Mathematics 2025-05-15 Amnon Neeman

A tensor extriangulated category is an extriangulated category with a symmetric monoidal structure that is compatible with the extriangulated structure. To this end we define a notion of a biextriangulated functor $\mathcal{A} \times…

Category Theory · Mathematics 2025-02-26 Raphael Bennett-Tennenhaus , Isambard Goodbody , Janina C. Letz , Amit Shah

We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…

Category Theory · Mathematics 2007-05-23 D. N. Yetter

The purpose of these notes is to collect in one place some facts on the category of finite totally ordered sets and some related categories. More specifically, we collect some results on them which will be useful for the study of iteratedly…

Category Theory · Mathematics 2025-12-29 Takuo Matsuoka

In this paper we investigate a categorical aspect of $n$-trivial extension of a ring by a family of modules. Namely, we introduce the right (resp., left) $n$-trivial extension of a category by a family of endofunctors. Among other results,…

Category Theory · Mathematics 2020-05-22 Dirar Benkhadra , Driss Bennis , J. R. Garcia Rozas

We endow the homotopy category of well generated (pretriangulated) dg categories with a tensor product satisfying a universal property. The resulting monoidal structure is symmetric and closed with respect to the cocontinuous RHom of dg…

Category Theory · Mathematics 2021-07-23 Wendy Lowen , Julia Ramos González

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…

Category Theory · Mathematics 2025-10-14 Javier Gutiérrez García , Ulrich Höhle

A result of Kaufmann shows that if $L_\alpha$ is countable, admissible and satisfies $\Pi_n\textsf{-Collection}$, then $\langle L_\alpha, \in \rangle$ has a proper $\Sigma_{n+1}$-elementary end extension. This paper investigates to what…

Logic · Mathematics 2022-01-14 Zachiri McKenzie

A new approach is suggested to the problem of quantising causal sets, or topologies, or other such models for space-time (or space). The starting point is the observation that entities of this type can be regarded as objects in a category…

General Relativity and Quantum Cosmology · Physics 2007-05-23 C. J. Isham

The main purpose of this paper is to prove that the positive real numbers can be decomposed into finitely many disjoint pieces which are also closed under addition and multiplication. As a byproduct of the argument we determine all the…

Number Theory · Mathematics 2023-03-30 Gergely Kiss , Gábor Somlai , Tamás Terpai

In a survey paper in 2011, Amiot proposed a conjectural characterisation of the cluster categories which were conceived in the mid 2000s to lift the combinatorics of Fomin-Zelevinsky's cluster algebras to the categorical level. This paper…

Representation Theory · Mathematics 2024-09-04 Bernhard Keller , Junyang Liu

We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…

Category Theory · Mathematics 2018-08-29 John D. Berman

The notion of left (resp. right) regular object of a tensor C*-category equipped with a faithful tensor functor into the category of Hilbert spaces is introduced. If such a category has a left (resp. right) regular object, it can be…

Operator Algebras · Mathematics 2007-05-23 Claudia Pinzari , John E. Roberts