• MFG Seminar 6th July

    Published: Monday, 03 July 2017

    The next MFG seminar will take place on 6th July from 2.00 in Atlas 2. It will be given by Andrea Schalk, see title and abstract below.

    The next MFG seminar will take place on 6th July from 2.00 in Atlas 2. It will be given by Andrea Schalk, see title and abstract below.

     

    Andrea

     

    How to get an involution

     

    In order to model various logics one often requires an involution, which in a categorical context means a self-adjoint contravariant functor that composes with itself to give the identity. In this talk we look at a fairly simple way of achieving this in a non-trivial way.

     

    Once the general construction has been covered we look at how to obtain structure on the resulting category by making demands on the input category. We then go on to look at more sophisticated versions of this approach, namely dialectica categories and Chu spaces.

    gravatar Andrea Schalk
Generated: Thursday, 14 December 2017 06:24:00
Last change: Monday, 03 July 2017 11:40:31
▲ Up to the top