A(nother) duality for the whole variety of MV-algebras
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…