Related papers: Yoneda Lemma for Elementary Higher Toposes
In the present note a generalization of Borel-Cantelli Lemma is proposed.
Combinatorial categories satisfy a stronger form of Yoneda Lemma, namely, the isomorphism type of an object can be recovered by counting the number of homomorphisms from all other objects into it. In this work, we show that this property…
A prime geodesic theorem for singular geodesics in a locally symmetric space is proved. As an application, an asymptotic formula for units in number fields is given.
An abstract version of Galvin's lemma is proven, within the framework of the theory of Ramsey spaces. Some instances of it are explored.
We prove an explicit inner product formula for vector-valued Yoshida lifts. As a consequence, we obtain the non-vanishing of Yoshida lifts.
We construct bases for the spaces of higher order modular forms of all orders and weights. We also provide a cohomological interpretation of these forms.
In this paper, we present a more complete version of the minimax theorem established in [7]. As a consequence, we get, for instance, the following result: Let $X$ be a compact, not singleton subset of a normed space $(E,\|\cdot\|)$ and let…
This text is dedicated to the development of the theory of $(\infty,\omega)$-categories. We present generalizations of standard results from category theory, such as the lax Grothendieck construction, the Yoneda lemma, lax (co)limits and…
In this note, a generalization of the Thompson transfer lemma and its various extensions, most recently due to Lyons, is proven in the context of saturated fusion systems. A strengthening of Alperin's fusion theorem is also given in this…
Everyone knows that if you have a bivariant homology theory satisfying a base change formula, you get an representation of a category of correspondences. For theories in which the covariant and contravariant transfer maps are in mutual…
The classical Technical Lemma for congruences is not difficult to prove but it is very efficient in its applications. We present here a Technical Lemma for congruences on \emph{finite lattices}. This is not difficult to prove either but it…
The converse of Fortin's Lemma in Banach spaces is established in this Note.
We prove a generalization of classical Montel's theorem for the mixed differences case, for polynomials and exponential polynomial functions, in commutative setting.
We prove the ergodic Closing Lemma for Nonsingular Endomorphisms.
In this article, we use $\lambda$-sequences to derive common fixed points for a family of self-mappings defined on a complete $G$-metric space. We imitate some existing techniques in our proofs and show that the tools emlyed can be used at…
In this paper, we generalize the upper bound in Varadhan's Lemma. The standard formulation of Varadhan's Lemma contains two important elements, namely an upper semicontinuous integrand and a rate function with compact sublevel sets.…
In this paper, we prove a generalization of the Schmidt's subspace theorem for polynomials of higher degree in subgeneral position with respect to a projective variety over a number field. Our result improves and generalizes the previous…
One of the prime motivation for topology was Homotopy theory, which captures the general idea of a continuous transformation between two entities, which may be spaces or maps. In later decades, an algebraic formulation of topology was…
We explain how the notion of homotopy colimits gives rise to that of mapping spaces, even in categories which are not simplicial. We apply the technique of model approximations and use elementary properties of the category of spaces to be…
We present a new and direct proof of Grothendieck's generic freeness lemma in its general form. Unlike the previously published proofs, it does not proceed in a series of reduction steps and is fully constructive, not using the axiom of…