Related papers: Constructing balleans
We entirely classify definable sets up to definable bijections in $\mathbb{Z}$-groups, where the language is the one of ordered abelian groups. From this, we deduce, among others, a classification of definable families of bounded definable…
We study bounded domains with certain smoothness conditions and the properties of their squeezing functions in order to prove that the domains are biholomorphic to the ball.
A collection of thin structures buckle, bend, and bump into each-other when confined. This contact can lead to the formation of patterns: hair will self-organize in curls; DNA strands will layer into cell nuclei; paper, when crumpled, will…
We provide a structural analysis for McCarthy algebras, the variety generated by the three-element algebra defining the logic of McCarthy (the non-commutative version of Kleene three-valued logics). Our analysis will be conducted in a very…
Bobbin lace is a fibre art form in which threads are braided together to form a fabric, often with a very detailed and complex design. In traditional practice, each region of the fabric is filled with a periodic texture. We establish the…
This is the second paper in a series on representations over diagrams of abelian categories. We show that, under certain conditions, a compatible family of abelian model categories indexed by a skeletal small category can be amalgamated…
In this work we study the topology of holomorphic rank two bundles over complex surfaces. We consider bundles that are constructed by glueing and show that under certain conditions the topology of the bundle does not depend on the glueing.…
We study an abstract notion of tree structure which lies at the common core of various tree-like discrete structures commonly used in combinatorics: trees in graphs, order trees, nested subsets of a set, tree-decompositions of graphs and…
We give the classification of 3-dimensional Bol algebras associated to the trilinears operations $(e_2,e_3, e_2)=e_1, (e_2, e_3, e_3)=\pme_2$. It turn that for such trilinears operation there exist up to isomorphism and isotopy one family…
Bayes' rule tells us how to invert a causal process in order to update our beliefs in light of new evidence. If the process is believed to have a complex compositional structure, we may ask whether composing the inversions of the component…
The aim of the present paper is to extend the concept of a congruence from lattices to posets. We use an approach different from that used by the first author and V. Sn\'a\v{s}el. By using our definition we show that congruence classes are…
Lagrangian cobordisms between Legendrian knots arise in Symplectic Field Theory and impose an interesting and not well-understood relation on Legendrian knots. There are some known "elementary" building blocks for Lagrangian cobordisms that…
The idea of transversality is explored in the construction of cohomology theory associated to regularized sequences of multiple products of rational functions associated to vertex algebra cohomology of codimension one foliations on complex…
We study the concordance and bordism of decompositions associated with defining sequences and we relate them to some invariants of toroidal decompositions and to the cobordism of homology manifolds. These decompositions are often wild…
A tangle of order $k$ in a matroid or graph may be thought of as a "$k$-connected component". For a tangle of order $k$ in a matroid or graph that satisfies a certain robustness condition, we describe a tree decomposition of the matroid or…
A combinatorial construction is used to analyze the properties of polyhedral products and generalized moment-angle complexes with respect to certain operations on CW pairs including exponentiation. This allows for the construction of…
We characterize the order of principal congruences of a bounded lattice (also of a complete lattice and of a lattice of length 5) as a bounded ordered set. We also state a number of open problems in this new field.
A blender is a closed convex cone of real homogeneous polynomials that is also closed under linear changes of variable. Non-trivial blenders only occur in even degree. Examples include the cones of psd forms, sos forms, convex forms and…
We describe the ordering of a class of clones by minion homomorphisms, also known as minor preserving maps or height 1 clone homomorphisms. The class consists of all clones on finite sets determined by binary relations whose projections to…
Coorbit theory is a powerful machinery that constructs a family of Banach spaces, the so-called coorbit spaces, from well-behaved unitary representations of locally compact groups. A core feature of coorbit spaces is that they can be…