Mario Román

Search

Search IconIcon to open search

Old - Monoidal profunctor

Last updated Feb 3, 2024

Definition. A monoidal profunctor between two monoidal categories $ℂ$ and $𝔻$ is a profunctor $P \colon ℂ \to 𝔻$ between the underlying categories, endowed with maps $$(\boxtimes) \colon P(X;Y) × P(X’,Y’) \to P(X ⊗ X’; Y ⊗ Y’),$$ $$n \colon 1 \to P(I;I),$$ that are natural and that moreover satisfy

# Characterizations

monoidal-profunctors