SEMINÁRIOS / SEMINARS
2000
24 Novembro, 15:00
Claudio Hermida (IST, Lisboa, Portugal)
Coherence via Universality
10 Novembro, 16:30
George Janelidze (Univ. Aveiro)
Topological descent theory via lax algebras over monads
10 Novembro, 15:00
Marino Gran (Univ. Catholique Louvain, Belgium)
Central extensions in semi-abelian categories
25 Outubro, 15:00
Marino Gran (Univ. Catholique Louvain, Belgium)
Normality and centrality in protomodular categories
11 Outubro, 15:00
Manuela Sobral
Finite étale-descent
20 Setembro, 14:30
Dirk Hofmann
Limit stability of classes of quotient maps
13 Setembro, 15:00
Maria Manuel Clementino
Characterization of topological exponentiable maps via convergence
26 Julho, 14:30
Gonçalo Gutierres
Compactness and the Axiom of Choice
28 Junho, 14:30
Maria João Saramago (Univ. Lisboa)
Algumas considerações sobre dualizabilidade
19 Junho, 15:00
Bob Coecke (Free University of Brussels, Belgium)
Quantum logic:
Overview, intuitionistic perspective, dynamical/categorical developments
10 Maio, 16:00
Dirk Hofmann
Characterizations of special classes of quotient maps via convergence II
10 Maio, 14:30
Maria Manuel Clementino
Characterizations of special classes of quotient maps via convergence I
19 Abril, 14:30
Michal Kunc (Masaryk Univ., Brno, Czech Republic)
Decision problems for
trace semigroups
13 Abril, 16:00
Libor Polak (Masaryk Univ., Brno, Czech Republic)
Unification in
varieties of semigroups
13 Abril, 14:30
Tim Porter (Univ. Wales, Bangor, UK)
Algebra for
modelling homotopy n-types
29 Março, 14:00
Isabel Ferreirim (Univ. Lisboa)
Aros totalmente
ordenados: um exemplo de Álgebras da Lógica
15 Março, 14:30
Pedro Resende (Instituto Superior Técnico, Lisboa)
Quantales, noncommutative topology and observable properties of
systems
23 Fevereiro, 14:30
Manuela Sobral
Local-to global procedures
10 Fevereiro, 11:00
Dirk Hofmann
On a generalized Stone-Weierstrass theorem and its application to natural dualities
18 Janeiro, 11:00
Dominique Bourn (Univ. du Littoral, Calais, France)
Normal subobjects in protomodular
categories
5 Janeiro, 16:00
Dharmanand Baboolal (University of Durban, South Africa)
A criterion for a completely regular frame to have a locally
connected compactification