Variations on a comprehensive theme
Ross Street – 3 March 2021
I would like to air my concept of ultimate functor in the seminar. Perhaps it is a special case of some general theory. An "application" will be given in my talk in the polynomial workshophttps://topos.site/p-func-2021-workshop/ in a couple of weeks.