set universe
cat duality
product functor