| dbo:abstract |
In category theory, a branch of mathematics, profunctors are a generalization of relations and also of bimodules. (en) 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. (fr) |
| dbo:wikiPageExternalLink |
http://www.mathematik.tu-darmstadt.de/~streicher/FIBR/DiWo.pdf |
| dbo:wikiPageID |
4403842 (xsd:integer) |
| dbo:wikiPageLength |
5558 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1072053335 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:End_(category_theory) dbr:Binary_relation dbr:Presheaf_(category_theory) dbr:Mathematics dbr:Natural_transformation dbr:Opposite_category dbr:Category_of_sets dbr:Karoubi_envelope dbr:Kan_extension dbc:Functors dbr:Bicategory dbr:Bimodule dbr:Small_category dbr:Cartesian_closed_category dbr:Category_(mathematics) dbr:Category_of_small_categories dbr:Category_theory dbr:Functor_(category_theory) dbr:Yoneda_functor |
| dbp:id |
heteromorphism (en) profunctor (en) |
| dbp:title |
Profunctor (en) Heteromorphism (en) |
| dbp:wikiPageUsesTemplate |
dbt:Cite_book dbt:Cite_journal dbt:Nlab dbt:Reflist |
| dct:subject |
dbc:Functors |
| gold:hypernym |
dbr:Generalization |
| rdfs:comment |
In category theory, a branch of mathematics, profunctors are a generalization of relations and also of bimodules. (en) 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. (fr) |
| rdfs:label |
Distributeur (théorie des catégories) (fr) Profunctor (en) |
| owl:sameAs |
freebase:Profunctor wikidata:Profunctor dbpedia-fr:Profunctor https://global.dbpedia.org/id/4tzWV |
| prov:wasDerivedFrom |
wikipedia-en:Profunctor?oldid=1072053335&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Profunctor |
| is dbo:wikiPageRedirects of |
dbr:Correspondence_(category_theory) dbr:Distributor_(category_theory) |
| is dbo:wikiPageWikiLink of |
dbr:Denotational_semantics dbr:Presheaf_(category_theory) dbr:Timeline_of_category_theory_and_related_mathematics dbr:Glossary_of_category_theory dbr:Correspondence_(category_theory) dbr:Distributor_(category_theory) dbr:Bimodule dbr:Hom_functor |
| is foaf:primaryTopic of |
wikipedia-en:Profunctor |