This is the abstract of a talk I gave in Florence at Beyond 2014. Given a category one can form its ind-completion by taking all formal directed colimits of objects in . The “correct” arrows to consider are then families…
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…
I am glad to announce that the 2012 edition of the conference series ManyVal will be hosted in Salerno, on the occasion of Antonio Di Nola $65^{th}$ birthday. Further information on the website of the conference.