## Stream: maths

### Topic: opposite category

#### Reid Barton (Nov 05 2018 at 12:37):

I think opposite can have a better interface

I also had some difficulty using opposite. If I have a contravariant functor F : C\op \func D and a map f : a \hom b in C then how am I supposed to write the induced map F b \hom F a? @Johan Commelin have you already encountered this?

#### Johan Commelin (Nov 05 2018 at 12:45):

I think I have, but I don't really have a solution...

Last updated: May 12 2021 at 07:17 UTC