Workshop on Categorical Methods in Algebra, Topology and Computer Science

Workshop in honour of Jiří Adámek and Walter Tholen, on the occasion of their sixtieth birthday

SUNDAY 28, Museu da Ciência

10.00-10.45	D. Hofmann, Cocomplete T-cats., injectiv., and Kan extens.
10.45-11.15	A. Tozzi, Ideals in Heyting semilats. and open homomorphs.
11.15-11.45	Coffee Break
11.45-12.15	J. Koslowski, Linear simulations?
12.15-13.00	F. Borceux, Are limits of presheaves really pointwise?

Workshop on Categorical Methods | cmatcs@mat.uc.pt | CMUC