Produoidal functor

Last updated Jan 14, 2023

Tags: Produoidal category.