Related papers: Yoneda Lemma for Elementary Higher Toposes
In this paper, vector ultrametric spaces are introduced and a fixed point theorem is given for correspondences. Our main result generalizes a known theorem in ordinary ultrametric spaces.
We describe a translation from a fragment of SUMO (SUMO-K) into higher-order set theory. The translation provides a formal semantics for portions of SUMO which are beyond first-order and which have previously only had an informal…
We designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans. The inference rules work on $\beta\eta$-equivalence classes of…
Some occurrences of $n$ can be replaced by $n-1$ in a special case of the Shapley-Folkman lemma.
The notion of local equivalence relation on a topological space is generalised to that of local subgroupoid. The main result is the construction of the holonomy and monodromy groupoids of certain Lie local subgroupoids, and the formulation…
We present a new approach to simple homotopy theory of polyhedra using finite topological spaces. We define the concept of collapse of a finite space and prove that this new notion corresponds exactly to the concept of a simplicial…
We provide elementary proof of several congruences involving single sum and multisums of binomial coefficients.
We prove the existence of a solution of the Yamabe equation on complete manifolds with finite volume and positive Yamabe invariant. In order to circumvent the standard methods on closed manifolds which heavily rely on global (compact)…
In this paper we consider Hopf's Lemma and the Strong Maximum Principle for supersolutions to a class of non elliptic equations. In particular we prove a sufficient condition for the validity of Hopf's Lemma and of the Strong Maximum…
We prove that in conformal classes of metrics near the class of an Einstein metric (other than the standard round metric on a sphere) the Yamabe problem has a unique solution up to scaling. This is a local extension, in the space of…
A generalization of topos theory is proposed giving an abstract realization of such categories as, say, the categories of manifolds and of Grothendieck schemes on the one hand, and permitting one, on the other hand, a view on…
A generalization of metric space is presented which is shown to admit a theory strongly related to that of ordinary metric spaces. To avoid the topological effects related to dropping any of the axioms of metric space, first a new, and…
I used to believe that my conventions for drawing diagrams for categorical statements could be written down in one page or less, and that the only tricky part was the technique for reconstructing objects "from their names"... but then I…
A multidimensional version of the Riesz rising sun lemma is proved by means of a generalized dyadic process.
We generalize Barr's embedding theorem for regular categories to the context of enriched categories.
We extend Deligne's original argument showing that locally coherent topoi have enough points, clarified using collage diagrams. We show that our refinement of Deligne's technique can be adapted to recover every existing result of this kind,…
For a pointed topological space $X$, we use an inductive construction of a simplicial resolution of $X$ by wedges of spheres to construct a "higher homotopy structure" for $X$ (in terms of chain complexes of spaces). This structure is then…
It is shown that traces of mapping classes of finite order may be expressed by Verlinde-like formulae. The 3D topological argument is explained, and the resulting trace identities for modular matrix elements are presented.
We prove the Lorentz-Shimogaki and Boyd theorems for the spaces $\Lambda^p_u(w)$. As a consequence, we give the complete characterization of the strong boundedness of $H$ on these spaces in terms of some geometric conditions on the weights…
We obtain a lower bound for a number of primes in tuples. As applications, we obtain a lower bound for the Romanoff type representation functions.