Talk:Cartesian Product is Small iff Inverse is Small

Is $(B \times A)$ really the inverse of $(A \times B)$? I'm confused. --prime mover 11:48, 10 August 2012 (UTC)