Research Student Monitoring Group Reports

Warning: The following are working snapshots, not fully verified.
  1. Report 1 - Connection between coalgebraic logic and domain theory - Nov. 09 PDF
  2. Report 2 - Coneection between coalgebraic logic and domain theory - Apr. 10 PDF
  3. Thesis Proposal - Connection between coalgebraic logic and domain theory - Oct. 10 PDF

Talks

  1. Concrete Coalgebraic Modal Logic: Modalities beyond Set in PCV seminar, Swansea University, 2012 slide
  2. coalgebraic Modal Logic II in Math Lunch, University of Birmingham, 2012
  3. Coalgebraic Modal Logic I in Lab Lunch, University of Birmingham, 2012 slide
  4. Concrete Coalgebraic Modal Logic in CLOG seminar, University of Leicester, 2012
  5. A final Vietoris coalgebra beyond compact spaces and a generalized Jónsson-Tarski duality in CALCO-Jnr 2011 slide
  6. A Final Vietoris Topology Coalgebra Construction in BCTCS 2011 slide
    The construction of final coalgebras in Set is mysterious. In general the construction involves a universal quotient in the super-large category of classes not in Set. With the cardinality condition, the question is still not simple.
    However, with topology the construction becomes simpler. By applying Stone duality, the construction of final coalgebras in topological spaces is equivalent to the construction of initial algebras in the category of open sets, i.e. frames (with mild conditions). This approach gives a simpler way to calculate and provides applications in coalgebraic logic and domain theory.

Extended Abstract

  1. A final Vietoris coalgebra beyond compact spaces and a generalized Jónsson-Tarski duality PDF

Papers