Algebra, Logic and Topology (ALT)  
 
Research topics:

The ALT Group develops a categorical approach to relevant problems in Algebra and Topology, keeping an eye on possible connections with Logic and Theoretical Computer Science.

The main topics of study at the moment are:
- Grothendieck descent theory.
- 2-categories.
- Ord-enriched categories and algebras (and their generalisations like (probabilistic) metric groups/monoids); Normed categories and their applications to analysis, geometry, and probability theory.
- Pointfree and Monoidal Topology. Dualities between topology, algebra and order.
- Algebra and Computer Science: Schutzenberger groups of symbolic dynamical systems, profinite codes, Cerny Conjecture for automata, free pro-aperiodic monoids, pseudovarieties of monoids.
- Foundations of mathematics, geometry and topology, (higher-order) computability and complexity, (higher) categories and functional analysis.

   
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Financiado total ou parcialmente pela FCT, Fundação para a Ciência e a Tecnologia, I.P., sob o Financiamento de:
UID/00324/2025 Projeto Estratégico com a referência DOI https://doi.org/10.54499/UID/00324/2025.
https://doi.org/10.54499/UID/PRR/00324/2025     UID/PRR/00324/2025   https://doi.org/10.54499/UID/PRR2/00324/2025   UID/PRR2/00324/2025
Powered by: rdOnWeb v1.4 | technical support