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
Powered by: rdOnWeb v1.4 | technical support