Algebra, Logic and Topology

 

Latest News
The web page of CMUC moved to http://cmuc.mat.uc.pt

 
   

Members

Seminars

Events

Publications

 

 

 

 

 

2000

Topological descent theory via lax algebras over monads
George Janelidze (Universidade de Aveiro, Portugal)
November 10, 2000
Univ. Aveiro

Central extensions in semi-abelian categories
Marino Gran (Univ. Catholique Louvain, Belgium)
November 10, 2000
Univ. Aveiro

Normality and centrality in protomodular categories
Marino Gran (Univ. Catholique Louvain, Belgium)
October 25, 2000
Room 5.5

Finite étale-descent
Manuela Sobral
October 11, 2000
Room 5.5

Limit stability of classes of quotient maps
Dirk Hofmann (Universidade de Coimbra, Portugal)
September 27, 2000
Room 5.5

Characterization of topological exponentiable maps via convergence
Maria Manuel Clementino
September 13, 2000
Room 5.5

Compactness and the Axiom of Choice
Gonçalo Gutierres
July 26, 2000
Room 5.5

Algumas considerações sobre dualizabilidade
Maria João Saramago (C.A.U.L. - Universidade de Lisboa, Portugal)
June 28, 2000
Room 5.5

Quantum logic: Overview, intuitionistic perspective, dynamical/categorical developments
Bob Coecke (Free University of Brussels, Belgium)
June 19, 2000
Room 5.5

Characterizations of special classes of quotient maps via convergence II
Dirk Hofmann (Universidade de Coimbra, Portugal)
May 10, 2000
Room 5.5

Characterizations of special classes of quotient maps via convergence I
Maria Manuel Clementino
May 10, 2000
Room 5.5

Unification in varieties of semigroups
Libor Polak (Masaryk Univ., Brno, Czech Republic)
April 13, 2000
5.5

Decision problems for trace semigroups
Michal Kunc (Masaryk Univ., Brno, Czech Republic)
April 19, 2000
5.5

Coherence via Universality
Claudio Hermida (IST, Lisboa, Portugal)
November 24, 2000
Room 5.5

Algebra for modelling homotopy n-types
Tim Porter (Univ. Wales, Bangor, UK)
April 13, 2000
5.5

Aros totalmente ordenados: um exemplo de Álgebras da Lógica
Isabel Ferreirim (Univ. Lisboa)
March 29, 2000
5.5

Quantales, noncommutative topology and observable properties of systems
Pedro Resende (Instituto Superior Técnico, Lisboa)
March 15, 2000
5.5

Manuela Sobral
Local-to global procedures
February 23, 2000
5.5

On a generalized Stone-Weierstrass theorem and its application to natural dualities
Dirk Hofmann (CMUC)
February 10, 2000
5.5

Normal subobjects in protomodular categories
Dominique Bourn (Univ. du Littoral, Calais, France)
January 18, 2000
5.5

A criterion for a completely regular frame to have a locally connected compactification
Dharmanand Baboolal (University of Durban, South Africa)
January 05, 2000
5.5

 

 

· recent/forthcoming seminars

past seminars
· 2009
· 2008
· 2007
· 2006
· 2005
· 2004
· 2003
· 2002
· 2001
· 2000

 
     
 

CMUC
Apartado 3008,
3001 - 454 Coimbra, Portugal
T:+351 239 791 150
F:+351 239 793 069
cmuc@mat.uc.pt
-
developed by Flor de Utopia