Related papers: Yoneda structures and KZ doctrines

A conjecture of Huneke and Wiegand claims that, over one-dimensional commutative Noetherian local domains, the tensor product of a finitely generated, non-free, torsion-free module with its algebraic dual always has torsion. Building on a…

We associate to every quandle $X$ and an associative ring with unity $\mathbf{k}$, a nonassociative ring $\mathbf{k}[X]$ following [3]. The basic properties of such rings are investigated. In particular, under the assumption that the inner…

Yoneda'e Lemma is about the canonical isomorphism of all the natural transformations from a given representable covariant (contravariant, reps.) functor (from a locally small category to the category of sets) to a covariant (contravariant,…

We show that Vopenka's Principle and Vopenka cardinals are indestructible under reverse Easton forcing iterations of increasingly directed-closed partial orders, without the need for any preparatory forcing. As a consequence, we are able to…

The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…

Let $H$ be a compact $p$-adic analytic group without torsion element, whose Lie algebra is split semisimple and $\mathfrak{N}_H(G)$ be the full subcategory of the category of finitely generated modules over the Iwasawa algebra $\Lambda_G$…

This paper uses rigid Hecke eigensheaves, building on Yun's work on the construction of motives with exceptional Galois groups, to produce the first robust examples of `generalized Kuga-Satake theory' outside the Tannakian category of…

We present a study on the Yoneda-Dress construction of biset functors of linear representations over a field of characteristic zero. We give a characterization of their lattices of ideals and we provide a criterion of vanishing for their…

In the current paper we attempt to transfer the notion of the projectional entropy, originally defined for multidimensional subshifts, to the case of actions of amenable groups. The main theorem states that if a system is strongly…

We prove that the space of intertwining operators associated with certain admissible modules over vertex operator algebras is isomorphic to a quotient of the vector space of conformal blocks on a three-pointed rational curve defined by the…

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…

Propositional term modal logic is interpreted over Kripke structures with unboundedly many accessibility relations and hence the syntax admits variables indexing modalities and quantification over them. This logic is undecidable, and we…

Frege's Grundgesetze was one of the 19th century forerunners to contemporary set theory which was plagued by the Russell paradox. In recent years, it has been shown that subsystems of the Grundgesetze formed by restricting the comprehension…

We show that every additive category with kernels and cokernels admits a maximal exact structure. Moreover, we discuss two examples of categories of the latter type arising from functional analysis.

There are two ways to turn a categorical model for pure quantum theory into one for mixed quantum theory, both resulting in a category of completely positive maps. One has quantum systems as objects, whereas the other also allows classical…

Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object", "everything can possibly exist, unless it yields contradiction", "the ideal elements correctly determine…

We argue that Godel's completeness theorem is equivalent to completability of consistent theories, and Godel's incompleteness theorem is equivalent to the fact that this completion is not constructive, in the sense that there are some…

In this paper, we deal with the notions of naturality from category theory and definablity from model theory and their interactions. In this regard, we present three results. First, we show, under some mild conditions, that naturality…

This paper extends the notion of Schwinger functions to quantum Yang-Mills theories and proposes the axioms they should satisfy. Two main features of this axiom scheme are that we assume existence of gauge-invariant co-located Schwinger…

For a fixed set $X$, an arbitrary \textit{weight structure} $d \in [0,\infty]^{X \times X}$ can be interpreted as a distance assignment between pairs of points on $X$. Restrictions (i.e. \textit{metric axioms}) on the behaviour of any such…