moved opposite categories up, added coe, opcoe, optransport functors