theory, a branch of mathematics, profunctors are a generalization of relations and also of bimodules. A profunctor (also named distributor by the French...

between two polygons Correspondence (category theory), the opposite of a profunctor Correspondence (von Neumann algebra) or bimodule, a type of Hilbert space...

distributor Distributor (category theory) in category theory, also known as a profunctor Distributor road, a road which serves to move traffic from local streets...

functor into C ^ {\displaystyle {\widehat {C}}} is sometimes called a profunctor. A presheaf that is naturally isomorphic to the contravariant hom-functor...

corepresentable. Note that Hom(–, –) : Cop × C → Set is a profunctor, and, specifically, it is the identity profunctor id C : C ↛ C {\displaystyle \operatorname {id}...

types to functions between some new types. Mathematics portal Anafunctor Profunctor Functor category Kan extension Pseudofunctor Mac Lane, Saunders (1971)...

Guillaume; Gibbons, Jeremy (2018-07-30). "What you needa know about Yoneda: profunctor optics and the Yoneda lemma (functional pearl)". Proc. ACM Program. Lang...

Tor. Profunctors can be seen as a categorical generalization of bimodules. Note that bimodules are not at all related to bialgebras. Profunctor Street...

for CSP). Recently, Winskel and others have proposed the category of profunctors as a domain theory for concurrency. State (such as a heap) and simple...

Much of the utility of arrows is subsumed by more general classes like Profunctor (which requires only pre- and postcomposition with functions), which have...

representability 1973 Jean Bénabou Distributors (also called modules, profunctors, directed bridges) 1973 Pierre Deligne Proves the last of the Weil conjectures...

{Lan_{Z}Y} } . Kan extension Limit (category theory) Isbell completion Profunctor (Baez 2022) (Di Liberti 2020, 2. Isbell duality) (Lawvere 1986, p. 169)...

x , y ( f ) {\displaystyle F_{x,z}(gf)=F_{y,z}(g)\circ F_{x,y}(f)} . Profunctor The etymology of anafunctor is an analogy of the biological terms anaphase/prophase...

component-wise. It is the dual of the disjoint union. profunctor Given categories C and D, a profunctor (or a distributor) from C to D is a functor of the...