This HTML5 document contains 4 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
isaphttp://webisa.webdatacommons.org/prov/
isahttp://webisa.webdatacommons.org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n5mathforge.
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
Subject Item
isa:216004577
rdf:type
prov:Entity
prov:value
This results in the notion of anafunctor, which is essentially ???a functor which determines its values on objects only up to isomorphism.??? In particular, an anafunctor is an equivalence of categories (in the sense of having an inverse anafunctor) precisely if it is essentially surjective and full and faithful.
prov:wasQuotedFrom
n5:org
Subject Item
isap:283038389
prov:wasDerivedFrom
isa:216004577