Related papers: Generalized Vietoris Bisimulations
We generalize Hirzebruch's computation of the signature of equal rank homogeneous spaces to a large class of biquotients.
We prove three new versions of Stone Duality. The main version is the following: the category of Kolmogorov locally small spaces and bounded continuous mappings is equivalent to the category of spectral spaces with decent lumps and with…
This article is devoted to the analysis of the gauge-fixed BRST cohomology complex for a matrix model endowed with a $U(2)$-gauge symmetry. After a brief introduction on the BV construction and the gauge-fixing procedure in the setting of…
Given a Banach algebra $ \mathcal{A} $ and a continuous homomorphism $\sigma$ on it, the notion of $\sigma$-biflatness for $ \mathcal{A} $ is introduced. This is a generalization of biflatness and it is shown that they are distinct. The…
This paper introduces the counterpart of strong bisimilarity for labelled transition systems extended with time-out transitions. It supports this concept through a modal characterisation, congruence results for a standard process algebra…
Various topological concepts are often involved in the research of mathematical logic, and almost all of these concepts can be regarded as developing from the Stone representation theorem. In the Stone representation theorem, a Boolean…
We develop a new approach to deformation quantizations of Lie bialgebras and Poisson structures which goes in two steps. In the first step one associates to any Poisson (resp. Lie bialgebra) structure a so called quantizable Poisson (resp.…
This article surveys the Weierstrass representation of surfaces in the three- and four-dimensional spaces, with an emphasis on its relation to the Willmore functional. We also describe an application of this representation to constructing a…
What makes two computational systems equivalent? Topos theory answers with classifying toposes: a system's semantic content is encoded in the geometric theory it classifies, and two presentations are equivalent when their classifying…
Starting with univariate polynomial interpolation we arrive to a natural generalization of fundamental theorem of algebra for certain systems of multivariate algebraic equations.
This paper gives two new categorical characterisations of lenses: one as a coalgebra of the store comonad, and the other as a monoidal natural transformation on a category of a certain class of coalgebras. The store comonad of the first…
We introduce bounded cohomology for (pairs of) groupoids and develop homological algebra to deal with it. We generalise results of Ivanov, Frigerio and Pagliantini to this setting and show that (under topological conditions) the bounded…
We formulate a kinematical extension of Double Field Theory on a $2d$-dimensional para-Hermitian manifold $(\mathcal{P},\eta,\omega)$ where the $O(d,d)$ metric $\eta$ is supplemented by an almost symplectic two-form $\omega$. Together…
Ruscheweyh and Salinas showed in 2004 the relationship of a celebrated theorem of Vietoris (1958) about the positivity of certain sine and cosine sums with the function theoretic concept of stable holomorphic functions in the unit disc. The…
This paper provides the next step towards classification of algebras of generalized quaternion type. Previously algebras with 2-regular Gabriel quiver were classified (a quiver is 2-regular if at each vertex, two arrows start and two arrows…
We prove a categorical duality between a class of abstract algebras of partial functions and a class of (small) topological categories. The algebras are the isomorphs of collections of partial functions closed under the operations of…
We use the techniques of birational algebraic geometry and some combinatorial arguments related to weighted trees to study the structure of resolutions of compactifications of hypothetical counterexamples to the two-dimensional Jacobian…
For a general affine connection with parallel torsion and curvature, we show that a post-Lie algebra structure exists on its space of vector fields, generalizing previous results for flat connections. However, for non-flat connections, the…
Automata learning is a popular technique for inferring minimal automata through membership and equivalence queries. In this paper, we generalise learning to the theory of coalgebras. The approach relies on the use of logical formulas as…
We show explicitly that Boolean inverse semigroups are in duality with what we term Boolean groupoids. This generalizes the classical Stone duality, which we refer to as commutative Stone duality, between generalized Boolean algebras and…