Related papers: The Lawvere condition
Unbounded entailment relations, introduced by Paul Lorenzen (1951), are a slight variant of a notion which plays a fundamental r\^ole in logic (see Scott 1974) and in algebra (see Lombardi and Quitt\'e 2015). We call systems of ideals their…
Given a compact metric graph $\Gamma$ and the Laplacian $\Delta_{\Gamma}$ coupled with standard (Kirchhoff) vertex conditions, solutions to fractional elliptic partial differential equations of the form $(\kappa^2 -…
Let $n$-Medvedev's logic $\mathbf{ML}_n$ be the intuitionistic logic of Medvedev frames based on the non-empty subsets of a set of size $n$, which we call $n$-Medvedev frames. While these are tabular logics, after characterizing…
Decomposition classes provide a way of partitioning the Lie algebras of an algebraic group into equivalence classes based on the Jordan decomposition. In this paper, we investigate the decomposition classes of the Lie algebras of connected…
An extended derivation (endomorphism) of a (restricted) Lie algebra $L$ is an assignment of a derivation (respectively) of $L'$ for any (restricted) Lie morphism $f:L\to L'$, functorial in $f$ in the obvious sense. We show that (a) the only…
We give new characterisations of regular Mal'tsev categories with distributive lattice of equivalence relations through variations of the so-called Triangular Lemma and Trapezoid Lemma in universal algebra. We then give new…
We identify a canonical structure J associated to any first-order theory, the {\it space of definability patterns}. It generalizes the imaginary algebraic closure in a stable theory, and the hyperimaginary bounded closure in simple…
This paper examines and strengthens the Cuntz-Thomsen picture of equivariant Kasparov theory for arbitrary second-countable locally compact groups, in which elements are given by certain pairs of cocycle representations between C*-dynamical…
A higher associativity was introduced by Jim Stasheff in [Sta63] with higher coherence conditions and now becomes one of the most important structures on spaces and algebras. He also claims that the condition on unit can be weakened, using…
A long-standing and well-known conjecture (see e.g. Caro, Discrete Math, 1994) states that every $n$-vertex graph $G$ without isolated vertices contains an induced subgraph where all vertices have an odd degree and whose order is linear in…
In this paper, we get a Liouville type theorem for the special Lagrangian equation with a certain 'convexity' condition, where Warren-Yuan first studied the condition in [30]. Based on Warren-Yuan's work, our strategy is to show a global…
We formulate a classification conjecture for conformally invariant families of measures on simple loops that builds on a conjecture of Kontsevich and Suhov. The main example in this class of objects was constructed by Werner as boundaries…
A p-compact group, as defined by Dwyer and Wilkerson, is a purely homotopically defined p-local analog of a compact Lie group. It has long been the hope, and later the conjecture, that these objects should have a classification similar to…
We prove that an arbitrary compact metrizable group can be realized as the automorphism group of a graphing; this is a continuous analogue to Frucht's theorem recovering arbitrary finite groups are automorphism groups of finite graphs. The…
We investigate the algebra of a Hausdorff ample groupoid, introduced by Steinberg, over a commutative semiring S. In particular, we obtain a complete characterization of congruence-simpleness for such Steinberg algebras, extending the…
In this paper we give a geometric condition which ensures that $(q,p)$-Poincar\'e-Sobolev inequalities are implied from generalized $(1,1)$-Poincar\'e inequalities related to $L^1$ norms in the context of product spaces. The concept of…
We formulate and prove a very general relative version of the Dobrushin-Lanford-Ruelle theorem which gives conditions on constraints of configuration spaces over a finite alphabet such that for every absolutely summable relative…
Akbarov's theory of holomorphic reflexivity for topological Hopf algebras has been developed in two directions, namely, by the complication of definitions when expanding the scope and by their simplification when restricting. In the…
We define a natural class of graphs by generalizing prior notions of visibility, allowing the representing regions and sightlines to be arbitrary. We consider mainly the case of compact connected representing regions, proving two results…
We introduce and study a new inverse semigroup associated to a separated graph $(E,C)$, which we call the \emph{Leavitt inverse semigroup}. This semigroup is obtained as a quotient of the separated graph inverse semigroup…