Course Materials

YouTube links of sessions:

• Inauguration and Lectures on Orders and Lattices and on Topology

• Categories and Functors

-----------------------------------------------------------------------------------

• Orders and Lattices - II and Category Theory - II

• Introduction to Propositional Logic

-----------------------------------------------------------------------------------

• Limits and adjoints in Category theory; Stone Duality in Propositional Logic

• First order logic

-----------------------------------------------------------------------------------

• Syntax-Semantics Dualities; Discussion on category theory

• Priestly type dualities; Spectral spaces

-----------------------------------------------------------------------------------

• Categorical logic

• Priestley type dualities - II

-----------------------------------------------------------------------------------

• Syntax-Semantics Dualities - III and students' presentations - I

• Students' Presentation - II and Closing Ceremony