Profunctor

http://dbpedia.org/resource/Profunctor

In category theory, a branch of mathematics, profunctors are a generalization of relations and also of bimodules. rdf:langString

Un distributeur (aussi appelé profoncteur, module ou bimodule) est une généralisation catégorique de la notion de relations entre ensembles, et de la notion de bisimulation en informatique théorique. rdf:langString

rdfs:label

rdf:langString Distributeur (théorie des catégories)

rdf:langString Profunctor

dbpedia-owl:wikiPageID

xsd:integer 4403842

dbpedia-owl:wikiPageRevisionID

xsd:integer 1072053335

dbpprop:id

rdf:langString heteromorphism

rdf:langString profunctor

dbpprop:title

rdf:langString Profunctor

rdf:langString Heteromorphism

dbpedia-owl:abstract

rdf:langString In category theory, a branch of mathematics, profunctors are a generalization of relations and also of bimodules.

rdf:langString Un distributeur (aussi appelé profoncteur, module ou bimodule) est une généralisation catégorique de la notion de relations entre ensembles, et de la notion de bisimulation en informatique théorique.

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 5558

dcterms:subject

<http://dbpedia.org/resource/Category:Functors>

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/End_(category_theory)>

<http://dbpedia.org/resource/Binary_relation>

<http://dbpedia.org/resource/Presheaf_(category_theory)>

<http://dbpedia.org/resource/Mathematics>

<http://dbpedia.org/resource/Natural_transformation>

<http://dbpedia.org/resource/Opposite_category>

<http://dbpedia.org/resource/Category_of_sets>