Related papers: A remark on Yoneda's Lemma

If C and D are varieties of algebras in the sense of general algebra, then by a representable functor C --> D we understand a functor which, when composed with the forgetful functor D --> Set, gives a representable functor in the classical…

Let $Q$ be a quiver of $A_n$ type and $\mathbb{K}$ be an algebraically closed field. A nilpotent endomorphism of a quiver representation induces a linear transformation of the vector space at each vertex. Generically among all nilpotent…

We consider the endomorphism operad of a functor, which is roughly the object of natural transformations from (monoidal) powers of that functor to itself. There are many examples from geometry, topology, and algebra where this object has…

The General Curve Lemma is a tool of Infinite-Dimensional Analysis, which enables refined studies of differentiability properties of mappings between real locally convex spaces. In this article, we generalize the General Curve Lemma in two…

We use the complete Segal approach to the theory of Cartesian fibrations to define and study representable Cartesian fibrations, generalizing representable right fibrations which have played a key role in $\infty$-category theory. In…

We construct relative abelian categories in the sense of MacLane for models of algebraic systems in (co)complete abelian categories. As an example, we consider an analogue of Hochschild-Mitchell cohomology for the functor of Yoneda…

We develop a probabilistic approach to the celebrated Jacobian conjecture, which states that any Keller map (i.e. any polynomial mapping $F\colon \mathbb{C}^n \to \mathbb{C}^n$ whose Jacobian determinant is a nonzero constant) has a…

This text gives a rough, but linear summary covering some key definitions, notations, and propositions from Lambda Calculus: Its Syntax and Semantics, the classical monograph by Barendregt. First, we define a theory of untyped extensional…

A formula which only involves a partition number and elementary functions is derived by applying Burnside's Lemma to the set of idempotent maps from a set to itself. One side involves a summation over a set closely related to the partition…

We compare and contrast various relative cohomology theories that arise from resolutions involving semidualizing modules. We prove a general balance result for relative cohomology over a Cohen-Macaulay ring with a dualizing module, and we…

A classical approach to investigate a closed projective scheme $W$ consists of considering a general hyperplane section of $W$, which inherits many properties of $W$. The inverse problem that consists in finding a scheme $W$ starting from a…

We construct N-complexes of non completely antisymmetric irreducible tensor fields on $\mathbb R^D$ generalizing thereby the usual complex (N=2) of differential forms. These complexes arise naturally in the description of higher spin gauge…

The tube category of a modular tensor category is a variant of the tube algebra, first introduced by Ocneanu. As a category, it can be decomposed in two different, but related, senses. Firstly, via the Yoneda embedding, the Hom spaces…

We introduce a notion of bimodule in the setting of enriched $\infty$-categories, and use this to construct a double $\infty$-category of enriched $\infty$-categories where the two kinds of 1-morphisms are functors and bimodules. We then…

Our goal is to derive some families of maps, also known as functions, from injective maps and surjective maps; this can be useful in various fields of mathematics. Let A be a small concrete category. We define a functor F, cometic functor,…

Linear regression is a classical paradigm in statistics. A new look at it is provided via the lens of universal learning. In applying universal learning to linear regression the hypotheses class represents the label $y\in {\cal R}$ as a…

(Completely regular) locales generalize (Tychonoff) spaces; indeed, the passage from a locale to its spatial sublocale is a well understood coreflection. But a locale also possesses an equally important pointless sublocale, and with…

Normality equations describe Newtonian dynamical systems admitting normal shift of hypersurfaces. These equations were first derived in Euclidean geometry. Then very soon they were rederived in Riemannian and in Finslerian geometry.…

We prove an equivalence between cocomplete Yoneda structures and certain proarrow equipments on a 2-category $\mathcal K$. In order to do this, we recognize the presheaf construction of a cocomplete Yoneda structure as a relative, lax…

We give a summary (without proofs) of the main results in the author's thesis entitled ``Construction of biclosed categories'' (University of New South Wales, Australia, 1970). This summary is reprinted directly from Report 81-0030 of the…