SEMINÁRIOS / SEMINARS
1996
19 Dezembro, 14:30
Jorge Picado
Um problema sobre reticulados locais localmente conexos / A problem on locally connected frames
28 Novembro, 14:30
Manuela Sobral
Mónadas e álgebras / Monads and algebras
21 Novembro, 14:30
Jorge Picado
Dualidades de tipo Stone / Stone-type dualities
14 Novembro, 14:30
Maria Manuel Clementino
Topologia sem pontos / Pointfree Topology
4 Novembro, 14:30
George Janelidze, Georgian Academy of Sciences, Tbilisi
Galois Theory
25 Junho, 11:00
Manuela Sobral
Bimodelos de Esquemas-Colimite / Bimodels of colimit sketches
18 Junho, 11:00
Maria do Céu Pinto, Universidade de Coimbra
A categoria das estruturas de Kripke separáveis é algebricamente universal (?) III / The category of separable Kripke structures is algebraically universal (?) III
11 Junho, 11:00
Maria do Céu Pinto, Universidade de Coimbra
A categoria das estruturas de Kripke separáveis é algebricamente universal (?) II / The category of separable Kripke structures is algebraically universal (?) II
28 Maio, 11:00
Maria Manuel Clementino
O Teorema da Diagonal / The Diagonal Theorem
21 Maio, 11:00
Maria do Céu Pinto, Universidade de Coimbra
A categoria das estruturas de Kripke separáveis é algebricamente universal (?) I / The category of separable Kripke structures is algebraically universal (?) I
14 Maio, 11:00
Gonçalo Gutierres
Objectos e morfismos separados e compactos / Separated and compact objects and morphisms
16 Abril, 11:00
Carlos Leandro
Representabilidade local / Local representability
3 Abril, 14:30
Jírí Adámek, Technical University of Braunschweig
Equivalence of sketches
19 Março, 11:00
Lurdes Sousa
Multi-reflectividade e multi-ortogonalidade / Multireflectivity and multiortogonality
5 Fevereiro, 14:30
Bernhard Banaschewski, McMaster University (Hamilton)
Ideals and the axiom of choice
1 Fevereiro, 14:30
Bernhard Banaschewski, McMaster University (Hamilton)
Localic groups
16 Janeiro, 11:00
Manuela Sobral
9 Janeiro, 11:00
Maria Manuel Clementino
Sobre as várias abordagens da noção de conexidade / On the several approachs to the notion of connectedness
