Portuguese Category Seminar

June 18, 2004

15.00-16.00 Some thoughts about the Axiom of Choice,                                
Horst Herrlich (Univ. Bremen, Germany)
16.00-16.30 Coffee break
16.30-17.00 Semicontinuity in pointfree topology,
Jorge Picado (Univ. Coimbra)
17.00-17.30 Exponentiability in topology,
Dirk Hofmann (Univ. Aveiro)
17.30-18.00 On Lawvere's Cauchy-completion of lax algebras,
Maria Manuel Clementino (Univ. Coimbra)

June 22, 2004


Group extensions and related categorical algebra revised,
George Janelidze (Univ. Cape Town and Tbilisi Math. Institute)
15.00-15.30 Groupoid quantales,
Pedro Resende (IST, Lisboa)

Monotone-light factorization for simplicial objects,
Joćo Xarez (Univ. Aveiro)

Coffee break

16.30-17.00 Morita equivalent algebraic theories,
Lurdes Sousa (IP Viseu)

17.00-17.30 Exogenous quantum logic,
Paulo Mateus (IST, Lisboa)


Cut elimination in a general modal calculus,
Joćo Rasga (IST, Lisboa)
18.00-18.30 A categorical Galois theory of ordered compact Hausdorff spaces,
Manuela Sobral (Univ. Coimbra)

Sala 2.3, Mathematics Department, University of Coimbra

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