(infinity, 1)-profunctor



The concept of (,1)(\infty, 1)-profunctor plays the role of profunctor in (∞,1)-category theory.


If CC and DD are (∞,1)-categories, then a profunctor from CC to DD is a (∞,1)-functor of the form

F:D op×CGrpd. F \colon D^{op}\times C \to \infty Grpd \,.

Such a profunctor is usually written as F:CUnknown characterUnknown characterUnknown characterDF\colon C ⇸ D. Composition of (∞,1)-profunctors in (∞,1)Prof is by the “tensor product of (∞,1)-functors” homotopy coend construction: if H:AUnknown characterUnknown characterUnknown characterBH\colon A ⇸ B and K:BUnknown characterUnknown characterUnknown characterCK\colon B ⇸ C, their composite is given as a functor C op×AGrpdC^{op}\times A \to \infty Grpd by

(c,a) bBH(b,a)×K(c,b).(c,a)\mapsto \int^{b\in B} H(b,a)\times K(c,b).

Every (∞,1)-functor f:CDf\colon C\to D induces two (∞,1)-profunctors D(1,f):CUnknown characterUnknown characterUnknown characterDD(1,f)\colon C ⇸ D and D(f,1):DUnknown characterUnknown characterUnknown characterCD(f,1)\colon D ⇸ C, defined by D(1,f)(d,c)=D(d,f(c))D(1,f)(d,c) = D(d,f(c)) and D(f,1)(c,d)=D(f(c),d)D(f,1)(c,d) = D(f(c),d). (Here D(,)D(-,-) denotes the hom functor of DD and 11 denotes the identity (∞,1)-functor on the respective category.)

Since a profunctor is also known as a (bi)module or a distributor or a correspondence, we should expect other names to be used for (,1)(\infty, 1)-profunctor. In Higher Topos Theory (Definition, Lurie speaks of a correspondence.


Revised on August 25, 2017 03:12:09 by David Corfield (