Related papers: Morphisms and Duality for Polarities and Lattices …
We consider all Bott-Samelson varieties ${\rm BS}(s)$ for a fixed connected semisimple complex algebraic group with maximal torus $T$ as the class of objects of some category. The class of morphisms of this category is an extension of the…
We introduce new modified Abelian lattice models, with inhomogeneous local interactions, in which a sum over topological sectors are included in the defining partition function. The dual models, on lattices with arbitrary topology, are…
Ordered, linear, and other substructural type systems allow us to expose deep properties of programs at the syntactic level of types. In this paper, we develop a family of unary logical relations that allow us to prove consequences of…
Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on…
In recent work, comonads and associated structures have been used to analyse a range of important notions in finite model theory, descriptive complexity and combinatorics. We extend this analysis to Hybrid logic, a widely-studied extension…
We present generalization of the Bloom variety theorem of ordered algebras in fuzzy setting. We introduce algebras with fuzzy orders which consist of sets of functions which are compatible with particular binary fuzzy relations called fuzzy…
We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological…
In this paper we introduce modules over both left and right Hom-alternative algebras. We give some constructions of left and right Hom-alternative modules and give various properties of both, as well as examples. Then, we prove that…
Binary multirelations can model alternating nondeterminism, for instance, in games or nondeterministically evolving systems interacting with an environment. Such systems can show partial or total functional behaviour at both levels of…
The investigations on higher-order type theories and on the related notion of parametric polymorphism constitute the technical counterpart of the old foundational problem of the circularity (or impredicativity) of second and higher order…
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…
Vertical-arrow fluctuations near the boundaries in the six-vertex model on the two-dimensional $N \times N$ square lattice with the domain wall boundary conditions are considered. The one-point correlation function (`boundary polarization')…
Abelian Gauge Theories are quantized in a geometric representation that generalizes the Loop Representation and treates electric and magnetic operators on the same footing. The usual canonical algebra is turned into a topological algebra of…
Possibilistic logic offers a qualitative framework for representing pieces of information associated with levels of uncertainty of priority. The fusion of multiple sources information is discussed in this setting. Different classes of…
Type theory plays an important role in foundations of mathematics as a framework for formalizing mathematics and a base for proof assistants providing semi-automatic proof checking and construction. Derivation of each theorem in type theory…
We introduce a theory for encoding and manipulating algebraic data on categories via $\textit{concentration structures}$, which are equivalence relations on morphisms that satisfy certain axioms. For any category with a concentration…
Reductions of higher tangent bundles of Lie groupoids provide natural examples of geometric structures which we would like to call higher algebroids. Such objects can be also constructed abstractly starting from an arbitrary almost Lie…
Hybrid logic extends modal logic with special propositions called nominals, each of which is true at only one state in a model. This enables us to describe some properties of binary relations, such as irreflexivity and anti-symmetry, which…
Logical bilateralism challenges traditional concepts of logic by treating assertion and denial as independent yet opposed acts. While initially devised to justify classical logic, its constructive variants show that both acts admit…
In this paper new equivalence relations on the category $Mod(A)$ for any associative algebra $A$ and several related results are given. The new equivalence relations are defined using restrictions to subalgebras and the action of algebra…