- theory, a
branch of mathematics,
profunctors are a
generalization of
relations and also of bimodules. A
profunctor (also
named distributor by the French...
- 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...
-
between two
polygons Correspondence (category theory), the
opposite of a
profunctor Correspondence (von
Neumann algebra) or bimodule, a type of
Hilbert space...
- corepresentable. Note that Hom(–, –) : Cop × C → Set is a
profunctor, and, specifically, it is the
identity profunctor id C : C ↛ C {\displaystyle \operatorname {id}...
- Tor.
Profunctors can be seen as a
categorical generalization of bimodules. Note that
bimodules are not at all
related to bialgebras.
Profunctor Street...
-
functor into C ^ {\displaystyle {\widehat {C}}} is
sometimes called a
profunctor. A
presheaf that is
naturally isomorphic to the
contravariant hom-functor...
-
types to
functions between some new types.
Mathematics portal Anafunctor Profunctor Functor category Kan
extension Pseudofunctor Mac Lane,
Saunders (1971)...
-
distributor Distributor (category theory) in
category theory, also
known as a
profunctor Distributor road, a road
which serves to move
traffic from
local streets...
- {Lan_{Z}Y} } . Kan
extension Limit (category theory)
Isbell completion Profunctor (Baez 2022) (Di
Liberti 2020, 2.
Isbell duality) (Lawvere 1986, p. 169)...
-
representability 1973 Jean Bénabou
Distributors (also
called modules,
profunctors,
directed bridges) 1973
Pierre Deligne Proves the last of the Weil conjectures...
