diagonal functor

Categories: