• Next MFG seminar TUESDAY 5th September

    Published: Monday, 04 September 2017

    The next MFG seminar will take place on 5th September from 2.00 in 2.33.It will be given by Joe Razavi, and his abstract is shown below.

    The next MFG seminar will take place on 5th September from 2.00 in 2.33. It will be given by Joe Razavi, and his abstract is shown below.

     

    Andrea

     

    Suppose we have a category in which every object and morphism can be
    "written down" by gluing together finitely many pieces using
    colimits. When is an endofunctor "computable" given this notation?
    One "obvious" case is when it is a left adjoint, since they preserve
    colimits.  

    Slightly less obvious is that there is a very similar idea for
    computing a functor which is a right adjoint! One can weaken this
    condition by demanding that a related functor should have a left
    adjoint of a special kind. It turns out that Gandy's very general
    model of computation is essentially based on this principle.

    gravatar Andrea Schalk
Generated: Thursday, 14 December 2017 06:24:04
Last change: Monday, 04 September 2017 11:32:15
▲ Up to the top