Embedded Files
Palestras assinaladas com asterico (*) serão contribuições remotas
Quinta-feira (18/08)
Quinta-feira (18/08)
10:30 - 10:55
On the categorical behaviour of preordered groups
On the categorical behaviour of preordered groups
Maria Manuel Clementino
11:00 - 11:25
2-dimensional bifunctor theorems and distributive laws
2-dimensional bifunctor theorems and distributive laws
José Siqueira
11:30 - 11:55
On diagonal separation properties in the category of locales
On diagonal separation properties in the category of locales
Jorge Picado
12:00 - 12:25
Higher categories and their applications in differential geometry*
Higher categories and their applications in differential geometry*
Cristian Ortiz Gonzales
Almoço 12:30 - 14:00
Sexta-feira (19/08)
Sexta-feira (19/08)
10:30 - 10:55
An institution-theoretical approach to Glivenko’s theorem
An institution-theoretical approach to Glivenko’s theorem
Darllan Conceição Pinto
11:00 - 11:25
Lax epimorphisms
Lax epimorphisms
Lurdes Sousa
11:30 - 11:55
Intrinsic Schreier special objects
Intrinsic Schreier special objects
Diana Rodelo
12:00 - 12:25
Dialectica Tripos to Topos Constructions
Dialectica Tripos to Topos Constructions
Valeria de Paiva*
Almoço 12:30 - 14:00
Page updated
Google Sites
Report abuse