In category theory, the notion of final functor (resp. initial functor) is a generalization of the notion of final object (resp. initial object) in a category. A functor is called final if, for any set-valued functor , the colimit of G is the same as the colimit of . Note that an object d ∈ Ob(D) is a final object in the usual sense if and only if the functor is a final functor as defined here. The notion of initial functor is defined as above, replacing final by initial and colimit by limit.
Attributes | Values |
---|---|
rdfs:label |
|
rdfs:comment |
|
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 | |
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 |