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…
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.
We offer a proof of the duality theorem for finitely presented MV-algebras and rational polyhedra, a folklore and yet fundamental result. Our approach develops first a general dual adjunction between MV-algebras and subspaces of Tychonoff cubes, endowed with the transformations that…