Related papers: Topological duality for orthomodular lattices
We regard the classification of rational homotopy types as a problem in algebraic deformation theory: any space with given cohomology is a perturbation, or deformation, of the "formal" space with that cohomology. The classifying space is…
In this paper we consider topological spaces as generalised orders and characterise those spaces which satisfy a (suitably defined) topological distributive law. Furthermore, we show that the category of these spaces is dually equivalent to…
We present a new flavor of TAF-type (co)homology theories, which are p-local of height two and based on the isometry group of the odd unimodular hermitian lattice of signature (1,1) over the Gaussian integers. Using a suitable family of…
We show in this paper that a certain class of normed modules over the algebra of all bounded operators on a Hilbert space possesses a homological property which is a kind of a functional-analytic version of the standard algebraic property…
We compute the rational homology of the moduli stack $\mathcal{M}$ of objects in the derived category of certain smooth complex projective varieties $X$ including toric varieties, flag varieties, curves, surfaces, and some 3- and 4-folds.…
In this paper we define the coarse (co)homology of the complement of a subspace in a metric space, generalizing the coarse (co)homology of Roe. We give a model space which encodes coarse geometric structure of the complement. We also…
Modular forms appear in many facets of mathematics, and have played important roles in geometry, mathematical physics, number theory, representation theory, topology, and other areas. Around 1994, motivated by technical issues in homotopy…
We give an account of lax orthogonal factorisation systems on order-enriched categories. Among them, we define and characterise the KZ-reflective ones, in a way that mirrors the characterisation of reflective orthogonal factorisation…
We introduce a new `Thom class' formulation of topological T-duality for principal torus bundles. This definition is equivalent to the established one of Bunke, Rumpf, and Schick but has the virtue of removing the global assumptions on the…
The theory of finitary biframes as order-theoretical duals of bitopological spaces is explored. The category of finitary biframes is a coreflective subcategory of that of biframes. Some of the advantages of adopting finitary biframes as a…
We develop basic homological machinery for Z-algebras in order to prove a version of local duality for Ext-finite connected Z-algebras. As an application, we compare two notions of regularity for such algebras.
We present a contravariant reflection of the compact $T_1$-spaces with arrows given by closed continuous functions into the category of bounded distributive lattices with arrows given by closed subfit morphisms. This reflection extends both…
Quantum duality principle is applied to study classical limits of quantum algebras and groups. For a certain type of Hopf algebras the explicit procedure to construct both classical limits is presented. The canonical forms of quantized…
In this paper, we study three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Plo\v{s}\v{c}ica. The standard representations of complete ortholattices and complete perfect Heyting…
In this paper we introduce a new kind of topological space, called 'structured space', which locally resembles various kinds of algebraic structures. This can be useful, for instance, to locally study a space that cannot be globally endowed…
In this chapter we study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove completeness for the following classes: all spaces,…
The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial…
We initiate a study of topological orthoalgebras (TOAs), concentrating on the compact case. Examples of TOAs include topological orthomodular lattices, and also the projection lattice of a Hilbert space. As the latter example illustrates, a…
Fitting's Heyting-valued logic and Heyting-valued modal logic have already been studied from an algebraic viewpoint. In addition to algebraic axiomatizations with the completeness of Fitting's Heyting-valued logic and Heyting-valued modal…
We compute the homotopy type of the moduli space of flat, unitary connections over aspherical surfaces, after stabilizing with respect to the rank of the underlying bundle. Over the orientable surface M^g, we show that this space has the…