Categorical Methods in Algebra, Topology and Logic
| 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) |
| 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 |