Results 11 to 20 of about 166,072,092 (74)
Algebras for parameterised monads [PDF]
, 2009 Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monads. We identify the Eilenberg-Moore category of algebras for parameterised monads and
Atkey, Robert
core +4 more sources
Linear maps on real C* - algebras and related structures [PDF]
, 2010 PhDIn this thesis we obtain new results on the structures of real C*-algebras and nonsurjective isometries between them. Some of the results have been published in [1].
Apazoglou, Maria
core +4 more sources
Monoids with tests and the algebra of possibly non-halting programs [PDF]
, 2015 We study the algebraic theory of computable functions, which can be viewed as arising from possibly non-halting computer programs or algorithms, acting on some state space, equipped with operations of composition, if-then-else and while-do defined in ...
Marcel Jackson +3 more
core +1 more source
Overlap algebras: A constructive look at complete boolean algebras [PDF]
, 2020 The notion of a complete Boolean algebra, although completely legitimate in constructive mathematics, fails to capture some natural structures such as the lattice of subsets of a given set.
Contente, M. +7 more
core +1 more source
Atom structures of cylindric algebras and relation algebras [PDF]
, 1997 Accepted ...
Hodkinson, I, Hodkinson, Ian
core +1 more source
Quantum Boolean algebras [PDF]
, 2017 We introduce quantum Boolean algebras which are the analogue of the Weyl algebras for Boolean affine spaces.
Diaz, R.
core +1 more source
On Semi-Boolean-Like Algebras [PDF]
, 2013 summary:In a previous paper, we introduced the notion of Boolean-like algebra as a generalisation of Boolean algebras to an arbitrary similarity type. In a nutshell, a double-pointed algebra $\mathbf {A}$ with constants $0,1$ is Boolean-like in case for ...
Ledda, Antonio +7 more
core +1 more source
Filters, Ideals and Congruences on Double Boolean Algebras
, 2021 Double Boolean algebras (dBas) are algebras D––:=(D;⊓, ⊔,¬,┘,⊥,⊤) of type (2, 2, 1, 1, 0, 0), introduced by R. Wille to capture the equational theory of the algebra of protoconcepts. Boolean algebras form a subclass of dBas. Our goal is an algebraic
Alomo Temgoua, Etienne Romuald +1 more
core
Semi-Cohen Boolean algebras [PDF]
, 1997 . We investigate classes of Boolean algebras related to the notion of forcing that adds Cohen reals. A Cohen algebra is a Boolean algebra that is dense in the completion of a free Boolean algebra. We introduce and study generalizations of Cohen algebras:
Thomas Jech +5 more
core +1 more source
Golod-Shafarevich algebras, free subalgebras and Noetherian images [PDF]
, 2012 It is shown that Golod–Shafarevich algebras of a reduced number of defining relations contain noncommutative free subalgebras in two generators, and that these algebras can be homomorphically mapped onto prime, Noetherian algebras with linear growth.
Agata Smoktunowicz, Smoktunowicz, Agata
core +1 more source