functorialityProperty
P29147
predicate
Indicates that a mapping between categories preserves the structure of composition and identity morphisms, behaving consistently with the rules of a functor.
Sample triples (1)
| Subject | Object |
|---|---|
| Conway polynomial | invariant under ambient isotopy ⓘ |