Related papers: Yoneda Lemma for Elementary Higher Toposes

This note is a survey on the basic aspects of moduli theory along with some examples. In that respect, one of the purposes of this current document is to understand how the introduction of stacks circumvents the non-representability problem…

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 generalize Luna's fundamental lemma to smooth morphisms between stacks with good moduli spaces. We also give a precise condition for when it holds for non-smooth morphisms and versions for coherent sheaves and complexes. This generalizes…

We explain the use of category theory in describing certain sorts of anyons. Yoneda's lemma leads to a simplification of that description. For the particular case of Fibonacci anyons, we also exhibit some calculations that seem to be known…

We show that, for a right exact functor from an abelian category to abelian groups, Yoneda's isomorphism commutes with homology and, hence, with functor derivation. Then we extend this result to semiabelian domains. An interpretation in…

We prove a version of Linnik's basic lemma uniformly over the base field using theta-series and geometric invariant theory in the spirit of Khayutin's approach (Duke Math. J., 168(12), 2019). As an application, we establish entropy bounds…

We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…

Formalized $1$-category theory forms a core component of various libraries of mathematical proofs. However, more sophisticated results in fields from algebraic topology to theoretical physics, where objects have "higher structure," rely on…

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…

We prove a common slot lemma for symbols in top cohomology classes over semiglobal fields. Furthermore, we prove that period and index agree for general top cohomology classes over such fields. We discuss applications to quadratic forms and…

Here we present a partial generalization to higher order osculating spaces of the classical Lemma of Terracini on ordinary tangent spaces. As an application, we investigate the secant varieties to the osculating varieties to the Veronese…

We prove a result that enables us to calculate the rational homotopy of a wide class of spaces by the theory of minimal models.

We introduce the classical Jung theorem and fixed point theorems and prove similar ones for $p$-uniformly convex spaces.

The prime geodesic theorem for regular geodesics in a higher rank locally symmetric space is proved. An application to class numbers is given. The proof relies on a Lefschetz formula that is based on work of Andreas Juhl.

We give some details about the stationary phase lemma. We first prove a special case where the high order terms are derived explicitly. Based on that, we prove a more general case by using Morse lemma.

In this survey article some classical results concerning real interpolation between Hardy spaces are briefly presented and then it is explained how those results can be used to establish Yano-type extrapolation theorems for Hardy spaces.…

We provide an elementary proof of Y. Peres' lemma on the existence in certain dynamical systems of what we term heavy points, points whose ergodic averages consistently dominate the expected value of the ergodic averages. We also derive…

A general Lefschetz formula for the geodesic action on locally symmetric spaces is proven.

A new proof of Oka's lemma is given for smoothly bounded, pseudoconvex domains $D\subset\mathbb{C}^n$. The method of proof is then also applied to other convexity-like hypotheses on the boundary of $D$.

A theorem of Keller states that the Yoneda algebra of the simple modules over a finite-dimensional algebra is generated in cohomological degrees $0$ and $1$ as a minimal $A_\infty$-algebra. We provide a proof of an extension of Keller's…