Statements (11)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Functor
gptkb:mathematical_concept |
| gptkbp:defines |
A functor from a category C to a category D is called an op-functor if it is a functor from the opposite category C^op to D.
|
| gptkbp:field |
Category theory
|
| gptkbp:mapType |
Morphisms in C^op to morphisms in D
|
| gptkbp:preserves |
Composition (with reversed direction)
Identities |
| gptkbp:relatedTo |
gptkb:Functor
Opposite category |
| gptkbp:seeAlso |
gptkb:Contravariant_functor
|
| http://www.w3.org/2000/01/rdf-schema#label |
Op-functor
|