Workshop


Categorical Methods in Algebra, Topology and Logic


April 8, 2005

15.00 - 15.50 A logic of coequations
Jiri Adámek (Technical University of Braunschweig, Germany)

16.00 - 16.30 On the construction of quasi-uniform structures in pointfree topology                           
Maria João Ferreira (Universidade de Coimbra, Portugal)

16.30 - 17.00

Coffee Break

17.00 - 17.50 Axioms for sequential convergence
Dirk Hofmann (Universidade de Aveiro, Portugal)


April 15, 2005

15.00 - 15.50 Normal subobjects of topological groups and of topological semi-abelian algebras
Dominique Bourn (Université du Littoral Côte d'Opale, France)

16.00 - 16.30 Baer sums in Moore categories
Diana Rodelo (Universidade do Algarve, Portugal)

16.30 - 17.00

Coffee Break

17.00 - 17.30 From bicategories and double categories to pseudo-categories: a generalization
Nelson Martins-Ferreira (Instituto Politécnico de Leiria, Portugal)

17.30 - 18.20 Representability of actions in the semi-abelian category of von Neumann regular rings
Francis Borceux (Université Catholique de Louvain, Belgium)




Room 5.5, Mathematics Department, University of Coimbra

Support: Centro de Matemática da Universidade de Coimbra / FCT
              Departamento de Matemática da Universidade de Coimbra