Talk:Opposite category

request for some trivialities
It'd be nice to add conditions for opposite category arrow composition, functors between opposite categories, etc. — Preceding unsigned comment added by 128.32.35.238 (talk) 20:44, 9 December 2011 (UTC)