Next MFG seminar TUESDAY 5th SeptemberPublished: 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.
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
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.