Related papers: The Abstract Lace Expansion
We give a unified direct proof of the lifting of PIE limits to the 2-category of algebras and (pseudo) morphisms, which specifies precisely which of the projections of the lifted limit are strict and detect strictness. In the literature,…
Automated deduction seeks to enable machines to reason with mathematical precision and logical completeness. Classical resolution-based systems, such as Prover9, E, and Vampire, rely on binary inference, which inherently limits multi-clause…
There is constructed and considered the extension of classical Diriclet operator corresponding to uniformly log-concave measure in the space of symmetric differential forms. Sufficient conditions for its essential self-adjointness in…
When finding an original proof to a known result describing expansive mappings on compact metric spaces as surjective isometries, we reveal that relaxing the condition of compactness to total boundedness preserves the isometry property and…
In order to unify the methods which have been applied to various topics such as BRST theory of constraints, Poisson brackets of local functionals, and certain developments in deformation theory, we formulate a new concept which we call the…
We study the problem of extending an abstract independence notion for types of singletons (what Shelah calls a good frame) to longer types. Working in the framework of tame abstract elementary classes, we show that good frames can always be…
While studying some properties of linear operators in a Euclidean Jordan algebra, Gowda, Sznajder and Tao have introduced generalized lattice operations based on the projection onto the cone of squares. In two recent papers of the authors…
See math-ph/0205036 for an expanded version.
We study extension of scalars for sheaves of vector spaces, assembling results that follow from well-known statements about vector spaces, but also developing some complements. In particular, we formulate Galois descent in this context, and…
Simple extensions of peripheric extended twists, introduced recently by Lyakhovsky and Del Olmo, are presented. Explicit form of twisting elements are given and it is shown that the new twists as well as peripheric extended twists are…
We extend Edmonds' Branching Theorem to locally finite infinite digraphs. As examples of Oxley or Aharoni and Thomassen show, this cannot be done using ordinary arborescences, whose underlying graphs are trees. Instead we introduce the…
Abstract argumentation offers an appealing way of representing and evaluating arguments and counterarguments. This approach can be enhanced by a probability assignment to each argument. There are various interpretations that can be ascribed…
In this paper, we discuss the capable and isoclinic properties of the tensor square in the context of multiplicative Lie algebras. We also developed the concept of isoclinic extensions and proved several results for multiplicative Lie…
This is an informal summary of the main concepts in arXiv:0905.4044, based on notes of various seminars. It gives constructions of higher and derived stacks without recourse to the extensive theory developed by Toen, Vezzosi and Lurie.…
This article presents a natural extension of the tensor algebra. In addition to "left multiplications" by vectors, we can consider "derivations" by covectors as basic operators on this extended algebra. These two types of operators satisfy…
Braided sets which are also spaces with dilations are presented and explored in this paper, in the general frame of emergent algebras arxiv:0907.1520. Examples of such spaces are the sub-riemannian symmetric spaces. Keywords: braided sets,…
There is knowledge. There is belief. And there is tacit agreement.' 'We may talk about objects. We may talk about attributes of the objects. Or we may talk both about objects and their attributes.' This work inspects tacit agreements on…
We give several examples of tilting-discrete symmetric algebras; in particular, one explores which algebra has tilting-discrete trivial extension. We provide a counter example of the conjecture stating any {\tau} -tilting finite symmetric…
We apply the technique of twisted extensions of infinite-dimensional Lie algebras to find new 3D integrable {\sc pde}s related to the deformations of Lie algebra $\mathbb{R}_N[s]\otimes \mathfrak{w}$ with $N=1, 2$ as well as to the Lie…
The aim of this paper is to get some results about ruled surfaces which configure a projective theory of scrolls and ruled surfaces. Our ideas follow the viewpoint of Corrado Segre, but we employ the contemporaneous language of locally free…