Using the general notions of finitely presentable and finitely generated object introduced by Gabriel and Ulmer in 1971, we prove that, in any (locally small) category, two sequences of finitely presentable objects and morphisms (or two sequences of finitely generated…
Starting from October 2013 I am organising the Algebra|Coalgebra seminar at the ILLC. The webpage of the seminar are here. See you there!
Starting from the 29th of October I will start teaching a course with Yde Venema at the University of Amsterdam on Algebra and Coalgebra. The webpage of the course can be found here.
Starting from the 1st of August 2013, I will be on leave from the University of Salerno. For two years form this date, I will be affiliated at the Institute for Logic, Language, and Computation of the University van Amsterdam.…
I will be abroad from the 23 of March until the 22 of May. This is another secondment within the MaToMUVI project I coordinate. I will be in Rio, for the conference on Universal Logic. Then in Buenos Aires at…