Related papers: A Presheaf Interpretation of the Generalized Freyd…

We prove a new theorem on additive Levy processes and show that this theorem implies several proved theorems and a hard conjectured theorem.

A simple formal recasting of well known arguments concerning the ordering problems of General Relativity allows to obtain in such a context a Gr\"{o}enewald Van Hove like theorem.

In this article, we give a natural geometric interpretation of Kirillov's conjecture for tempered representations in the framework of orbit method. This interpretation can also be considered as a first generalization of Duflo's conjecture…

A criterion for the validity of the Riemann hypothesis reduced the problem to the search for a certain estimate, for a hermitian form associated by means of the Weyl symbolic calculus of operators to a distribution in the plane of an…

We give a detailed and self-contained introduction to the theory of $\lambda $-toposes and prove the following: 1) A $\lambda $-separable $\lambda $-topos has enough $\lambda $-points. 2) The classifying $\lambda $-topos of a $\kappa $-site…

Covering theory is an important tool in representation theory of algebras, however, the results and the proofs are scattered in the literature. We give an introduction to covering theory at a level as elementary as possible.

In this paper, we intend to revisit Theorem 2 of [3] formulating it in a way that, weakening the hypotheses and, at the same time, highlighting the richer conclusion allowed by the proof, it can potentially be applicable to a broader range…

As the first part of the treatise on A General Theory of Concept Lattice (I-V), this work develops the general concept lattice for the problem concerning categorization of objects according to their properties. Unlike the conventional…

In this paper we characterize the congruence associated to the direct sum of all irreducible representations of a finite semigroup over an arbitrary field, generalizing results of Rhodes for the field of complex numbers. Applications are…

The general theory of Grothendieck categories is presented. We systemize the principle methods and results of the theory, showing how these results can be used for studying rings and modules.

There is a relation between the generalized Property R Conjecture and the Schoenflies Conjecture that suggests a new line of attack on the latter. The approach gives a quick proof of the genus 2 Schoenflies Conjecture and suffices to prove…

We prove a generalization of the well known Routh's triangle theorem. As a consequence, we get a unification of the theorems of Ceva and Menelaus. A connection to Feynman's triangle is also given.

This is the first of a series of papers on enriched infinity categories, seeking to reduce enriched higher category theory to the higher algebra of presentable infinity categories, which is better understood and can be approached via…

We prove a fixed-point theorem that generalises and simplifies a number of results in the theory of $F$-contractions. We show that all of the previously imposed conditions on the operator can be either omitted or relaxed. Furthermore, our…

A theory of graded manifolds can be viewed as a generalization of differential geometry of smooth manifolds. It allows one to work with functions which locally depend not only on ordinary real variables, but also on $\mathbb{Z}$-graded…

Several results about the union-closed sets conjecture are presented.

Frege's theorem says that second-order Peano arithmetic is interpretable in Hume's Principle and full impredicative comprehension. Hume's Principle is one example of an abstraction principle, while another paradigmatic example is Basic Law…

We introduce a general context involving a presheaf A and a subpresheaf B of A. We show that all previously considered cases of local analysis of generalized functions (defined from duality or algebraic techniques) can be interpretated as…

We present a topos-theoretic interpretation of (a categorical generalization of) Fraisse's construction in model theory, with applications to countably categorical theories.

We provide a generalization of the Phragm\'en-Lindel\"of principal of Rademacher with the aim of correcting, or at least provide a pathway to correcting, several errors appearing in the literature.