Product of categories
Infinite tree is a relative comonad over EQ