Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Borlido, Célia"'
Autor:
Borlido, Célia
We consider monoids equipped with a compatible quantale valued relation, to which we call quantale enriched monoids, and study semidirect products of such structures. It is well-known that semidirect products of monoids are closely related to Schreie
Externí odkaz:
http://arxiv.org/abs/2405.06844
The category of compact Hausdorff locales is a pretopos which is filtral, meaning that every object is covered by one whose subobject lattice is isomorphic to the lattice of filters of complemented elements. We show that any filtral pretopos satisfyi
Externí odkaz:
http://arxiv.org/abs/2306.11169
Autor:
Borlido, Célia, Suarez, Anna Laura
A Pervin space is a set equipped with a bounded sublattice of its powerset, while its pointfree version, called Frith frame, consists of a frame equipped with a generating bounded sublattice. It is known that the dual adjunction between topological s
Externí odkaz:
http://arxiv.org/abs/2303.00443
Autor:
Borlido, Célia, Suarez, Anna Laura
We lay down the foundations for a pointfree theory of Pervin spaces. A Pervin space is a set equipped with a bounded sublattice of its powerset, and it is known that these objects characterize those quasi-uniform spaces that are transitive and totall
Externí odkaz:
http://arxiv.org/abs/2201.06266
Autor:
Borlido, Célia, Gehrke, Mai
In the classical theory of regular languages the concept of recognition by profinite monoids is an important tool. Beyond regularity, Boolean spaces with internal monoids (BiMs) were recently proposed as a generalization. On the other hand, fragments
Externí odkaz:
http://arxiv.org/abs/2106.12525
Autor:
Borlido, Célia, McLean, Brett
Publikováno v:
Algebra Universalis, Volume 83, Issue 3 (August 2022)
We investigate the representation and complete representation classes for algebras of partial functions with the signature of relative complement and domain restriction. We provide and prove the correctness of a finite equational axiomatisation for t
Externí odkaz:
http://arxiv.org/abs/2011.15108
Difference-restriction algebras of partial functions with operators: discrete duality and completion
Autor:
Borlido, Célia, McLean, Brett
Publikováno v:
Journal of Algebra, Volume 604, (August 2022) 760-789
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative complement and doma
Externí odkaz:
http://arxiv.org/abs/2012.00224
The notion of a difference hierarchy, first introduced by Hausdorff, plays an important role in many areas of mathematics, logic and theoretical computer science such as descriptive set theory, complexity theory, and the theory of regular languages a
Externí odkaz:
http://arxiv.org/abs/1812.01921
Autor:
Borlido, Célia, Gehrke, Mai
Boolean spaces with internal semigroups generalize profinite semigroups and are pertinent for the recognition of not-necessarily regular languages. Via recognition, the study of existential quantification in logic on words amounts to the study of cer
Externí odkaz:
http://arxiv.org/abs/1811.12339
Difference–restriction algebras of partial functions with operators: Discrete duality and completion
Autor:
Borlido, Célia, McLean, Brett
Publikováno v:
In Journal of Algebra 15 August 2022 604:760-789
