English
Related papers

Related papers: A Presheaf Interpretation of the Generalized Freyd…

200 papers

The Littlewood Conjecture in Diophantine approximation can be thought of as a problem about covering the plane by a union of hyperbolas centered at rational points. In this paper we consider the problem of translating the center of each…

Number Theory · Mathematics 2016-10-28 Alan Haynes , Henna Koivusalo

We generalize the concept of disjunction.

General Mathematics · Mathematics 2010-07-21 Kerry M. Soileau

In this paper, we show that the Character Triple Conjecture holds for all finite groups once assumed for all quasi-simple groups. This answers the question on the existence of a self-reducing form of Dade's conjecture, a problem that was…

Representation Theory · Mathematics 2024-02-27 Damiano Rossi

We present an overview of some recent developments in the theory of generalized formal series, grounded in diffeological geometric framework. These constructions aim to offer new tools for understanding infinite-dimensional phenomena in…

History and Overview · Mathematics 2025-08-25 Jean-Pierre Magnot

We give a reformuation of the Tate conjecture for a surface over a finite field in terms of suitable affine open subsets. We then present three attempts to prove this reformulation, each of them falling short. Interestingly, the last two…

Number Theory · Mathematics 2025-05-13 Bruno Kahn

The goal of this paper is to demystify the role played by the Reedy category axioms in homotopy theory. With no assumed prerequisites beyond a healthy appetite for category theoretic arguments, we present streamlined proofs of a number of…

Category Theory · Mathematics 2014-06-17 Emily Riehl , Dominic Verity

In this paper we adopt a geometric point of view regarding a famous conjecture due to Littlewood in diophantine approximation of real numbers. Following the spirit of the geometric theory of continued fractions, we give a sufficient…

Number Theory · Mathematics 2020-05-14 Youssef Lazar

Precategories generalize both the notions of strict $n$-category and sesquicategory: their definition is essentially the same as the one of strict $n$-categories, excepting that we do not require the various interchange laws to hold. Those…

Category Theory · Mathematics 2022-11-30 Simon Forest , Samuel Mimram

The purpose of this article is to formulate a number of probabilistic hidden-variable theorems, to provide proofs in some cases, and counterexamples to some conjectured relationships. The first theorem is the fundamental one. It asserts the…

Quantum Physics · Physics 2008-02-03 Patrick Suppes , J. Acacio de Barros , Gary Oas

It is known that Plotkin's reduction theorem is very important for his theory of universal algebraic geometry [arXiv:math. GM/0210187], [arXiv:math. GM/0210194]. It turns out that this theorem can be generalized to arbitrary categories…

Category Theory · Mathematics 2007-05-23 Grigori Zhitomirski

We introduce a generalized notion of inference system to support more flexible interpretations of recursive definitions. Besides axioms and inference rules with the usual meaning, we allow also coaxioms, which are, intuitively, axioms which…

Logic in Computer Science · Computer Science 2023-06-22 Francesco Dagnino

In this survey we present the relatively new concept of \emph{approximable triangulated categories.} We will show that the definition is natural, that it leads to powerful new results, and that it throws new light on old, familiar objects.…

Category Theory · Mathematics 2021-06-28 Amnon Neeman

We survey most of the known results concerning the Eisenbud-Green-Harris Conjecture. Our presentation includes new proofs of several theorems, as well as a unified treatment of many results which are otherwise scattered in the literature.…

Commutative Algebra · Mathematics 2022-01-19 Giulio Caviglia , Alessandro De Stefani , Enrico Sbarra

We study right exact tensor products on the category of finitely presented functors. As our main technical tool, we use a multilinear version of the universal property of so-called Freyd categories. Furthermore, we compare our constructions…

Category Theory · Mathematics 2021-11-02 Martin Bies , Sebastian Posur

We prove an abstract Nyquist criterion in a general set up. As applications, we recover various versions of the Nyquist criterion, some of which are new.

Optimization and Control · Mathematics 2011-11-11 Amol Sasane

Normal surface theory, a tool to represent surfaces in a triangulated 3-manifold combinatorially, is ubiquitous in computational 3-manifold theory. In this paper, we investigate a relaxed notion of normal surfaces where we remove the…

Geometric Topology · Mathematics 2016-05-04 Benjamin A. Burton , Éric Colin de Verdière , Arnaud de Mesmay

We introduce some generalized topological concepts to deal with union-closed families, and show that one can reduce the proof of Frankl's conjecture to some families of so-called supratopological spaces. We prove some results on the…

Combinatorics · Mathematics 2025-09-18 André Carvalho , António Machiavelo

We give a very simple proof of a strengthened version of Chernoff's Inequality. We derive the same conclusion from much weaker assumptions.

Probability · Mathematics 2014-04-01 Nathan Linial , Zur Luria

In [1], Theorem 3, the authors proved, in one dimension, a generalization of the Hopf Lemma, and the question arose if it could be extended to higher dimensions. In this paper we present two conjectures as possible extensions, and give a…

Analysis of PDEs · Mathematics 2009-10-05 YanYan Li , Louis Nirenberg

We study torsion torsionfree(=TTF) triples in abelian and triangulated categories. (Notice that TTF triples in a triangulated category are essentially in bijection with recollement data for this triangulated category.) In particular, we…

Representation Theory · Mathematics 2008-01-04 Pedro Nicolas