In a generic #92;infty-cosmos, whose objects we call #92;infty-categories, we introduce modules (also called profunctors or correspondences) between #92;infty-categories, incarnated as as^([sic]) spans of suitably-defined fibrations with groupoidal fibers.
Source: wiktionary