In this paper, coauthored with José Gil-Férez, Constantine Tsinakis, and Hongjun Zhou, we present a systematic study of join-extensions and join-completions of ordered algebras, which naturally leads to a refined and simplified treatment of fundamental results and constructions in the theory of…
This year I teach a course (12 hours) a the AILA summer school of logic. Below one can find the slides of my first three lectures and some references. Lecture 1 (Classical propositional logic and Boolean algebras) Lecture 2 (Algebraic completeness of…
I am happy to announce that we will host a workshop on “Geometry and non-classical logics” at the campus of the University of Salerno, from the 5th to the 8th of September. The workshop is one of the events planned…
The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, Georgia. The Programme Committee invites submissions for contributions on all aspects of language, logic and computation: Submission deadline: 15 March 2017. Tutorials: Language: Jakub Szymanik…
Page contents News Contents Course material Practicalities News Contents Categories and functors. Universal objects. Natural transformations. Adjoint functors and equivalences. Dualities: Stone, Gelfand, Pontryagin. Course material Harold Simmons. An Introduction to Category Theory. (2011) Cambridge University Press. Saunders Mac Lane. Categories for the…