Related papers: Duality for powerset coalgebras
We extend the $C^{\ast}-$algebraic formalism of Topological T-duality to section algebras of locally trivial bundles of strongly self-absorbing $C^{\ast}-$algebras and to a larger class of String Theoretic dualities. We argue that…
Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive…
Delta lenses are functors equipped with a suitable choice of lifts, generalising the notion of split opfibration. In recent work, delta lenses were characterised as the right class of an algebraic weak factorisation system. In this paper,…
Fix a commutative monoid $(T,+,0)$, a commutative monoid $(\Gamma,+,0_\Gamma)$, and a map \[ (a,\alpha,b,\beta,c)\longmapsto a\,\alpha\,b\,\beta\,c\in T \] which is additive in each variable and associative in the ternary sense. A left…
Generalizing work by Pinzari and Roberts, we characterize actions of a compact quantum group G on C*-algebras in terms of what we call weak unitary tensor functors from Rep G into categories of C*-correspondences. We discuss the relation of…
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…
Over a field of characteristic zero, we show that the forgetful functor from the homotopy category of commutative dg algebras to the homotopy category of dg associative algebras is faithful. In fact, the induced map of derived mapping…
For a cardinal lambda<lambda_{omega_1} we give a ccc forcing notion P which forces that for some Borel subset B of the Cantor space (1) there a sequence (eta_alpha:alpha<lambda) of distinct elements such that |(eta_alpha+B) cap…
The duality between partial actions (partial $H$-module algebras) and co-actions (partial $H$-comodule algebras) of a Hopf algebra $H$ is fully explored in this work. A connection between partial (co)actions and Hopf algebroids is…
We construct relative abelian categories in the sense of MacLane for models of algebraic systems in (co)complete abelian categories. As an example, we consider an analogue of Hochschild-Mitchell cohomology for the functor of Yoneda…
We prove that a connected commutator (or NC) complete associative algebra can be recovered in the derived setting from its abelianization together with its natural induced structure. Specifically, we prove an equivalence between connected…
Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion…
We show that for dually paired bialgebras, every comodule algebra over one of the paired bialgebras gives a comodule algebra over their Drinfeld double via a crossed product construction. These constructions generalize to working with…
We show that the tensor product of two unital C*-algebras, one of which is nuclear and admits a unital *-homomorphism from (the building blocks of) the Jiang-Su algebra, has Kadison's similarity property. As a consequence, we obtain that a…
The duality symmetry of free electromagnetic field is analyzed within an algebraic approach. To this end, the conformal $c(1,3)$ algebra generators are expressed as operators quadratic in some abstract operators $\kappa^\alpha$ and…
We present a category equivalent to that of semi-Nelson algebras. The objects in this category are pairs consisting of a semi-Heyting algebra and one of its filters. The filters must contain all the dense elements of the semi-Heyting…
In this paper we investigate the endomorphism algebras of standard cluster tilting objects in the stably 2-Calabi-Yau categories $\Sub{\Lambda_w}$ with elements $w$ in Coxeter groups in \cite{BIRSc}. They are examples of the 2-Auslander…
Given a complete Heyting algebra we construct an algebraic tensor triangulated category whose Bousfield lattice is the Booleanization of the given Heyting algebra. As a consequence we deduce that any complete Boolean algebra is the…
After two papers on weak cubical categories and {\it collarable} cospans, respectively, we put things together and construct a {\it weak} cubical category of cubical {\it collared} cospans of topological spaces. We also build a second…
In this paper, a subclass of bounded distributive lattices, that is, finitely disjunctive distributive lattices (FDD-lattices) have been introduced. Then we apply it to establish a Stone duality for Lawson compact algebraic L-domains.…