In category theory, a branch of mathematics, a dinatural transformation between two functors written is a function that to every object of associates an arrow of and satisfies the following coherence property: for every morphism of the diagram commutes. The composition of two dinatural transformations need not be dinatural.
Attributes | Values |
---|---|
rdfs:label |
|
rdfs:comment |
|
foaf:depiction | |
dcterms:subject | |
Wikipage page ID |
|
Wikipage revision ID |
|
Link from a Wikipage to another Wikipage | |
Link from a Wikipage to an external page | |
sameAs | |
dbp:wikiPageUsesTemplate | |
thumbnail | |
has abstract |
|
prov:wasDerivedFrom | |
page length (characters) of wiki page |
|
foaf:isPrimaryTopicOf | |
is Link from a Wikipage to another Wikipage of | |
is foaf:primaryTopic of |