Mail: cborlido@mat.uc.pt

Célia Borlido


Since July 2025, I have not held an academic appointment.

From July 2019 to 2025, I was a Junior researcher at CMUC (Center for Mathematics, University of Coimbra).

From June 2016 to July 2019 I was a postdoc under supervision of Mai Gehrke on the ERC project duaLL.
I obtained my PhD in Mathematics in 2016 at Faculdade de Ciências da Universidade do Porto, where I was advised by Jorge Almeida.


Research Interests:

  1. On semidirect products of quantale enriched monoids. Semigroup Forum, 10, 113-138 (2025) [Preprint]

  2. Filtral pretoposes and compact Hausdorff locales. (with P. Karazeris, L. Reggio, and K. Tsamis). Theory and Applications of Categories, 41, 41, 1439-1475 (2024) [Preprint]

  3. Pervin spaces and Frith frames: bitopological aspects and completion. (with A. L. Suarez). Applied Categorical Structures, 31, 43 (2023) [Preprint]

  4. Substitution Principle and semidirect products. (with M. Gehrke). Mathematical Structures in Computer Science, 33, 6, 486-535 (2023) [Preprint]

  5. A pointfree theory of Pervin spaces. (with A. L. Suarez). Quaestiones Mathematicae, 46, 11, 2287-2326 (2023) [Preprint]

  6. Difference-restriction algebras of partial functions with operators: discrete duality and completion. (with B. McLean). Journal of Algebra 604, 760-789 (2022) [Preprint]

  7. Difference-restriction algebras of partial functions with operators: axiomatisations and representations.(with B. McLean). Algebra Universalis 83, 24 (2022) [Preprint]

  8. Difference hierarchies and duality with an application to formal languages. (with M. Gehrke, A. Krebs, H. Straubing). Topology and its Applications, 273 (2020) [Preprint]

  9. Some reducibility properties for pseudovarieties of the form DRH. Communications in Algebra 46, 4, 1813-1830 (2018) [Preprint]

  10. Stone Duality and the Substitution principle. (with S. Czarnetzki, M. Gehrke, A. Krebs). Computer Science Logic:13:1-13:20 (2017)

  11. The kappa-word problem over DRH. Theoretical Computer Science 702: 1-22 (2017) [Preprint]

  12. Complete kappa-reducibility of pseudovarieties of the form DRH. (with J. Almeida). International Journal of Algebra and Computation 27(2): 189-236 (2017) [Preprint]

Preprints:

My PhD thesis may be found here.

You can solve the kappa-word problem over DRG here.

Last update: July 2026.

2024/25:
2023/24:
2022/23:
2021/22:
2020/21:
2018/19:
2010/11:
2009/10:
-