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.
|