Topic: opposite category
Reid Barton (Nov 05 2018 at 12:37):
oppositecan 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