6.5 The Right Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$
Let $A$ and $B$ be sets and let $J\colon A\mathrel {\rightarrow \kern -9.5pt\mathrlap {|}\kern 6pt}B$ be a relation.
-
Subsection 6.5.1: The Right Skew Monoidal Product
-
Definition 6.5.1.1.1: The Right $J$-Skew Monoidal Product of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 6.5.2: The Right Skew Monoidal Unit
-
Definition 6.5.2.1.1: The Right $J$-Skew Monoidal Unit of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 6.5.3: The Right Skew Associators
-
Definition 6.5.3.1.1: The Right $J$-Skew Associator of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 6.5.4: The Right Skew Left Unitors
-
Definition 6.5.4.1.1: The Right $J$-Skew Left Unitor of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 6.5.5: The Right Skew Right Unitors
-
Definition 6.5.5.1.1: The Right $J$-Skew Right Unitor of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 6.5.6: The Right Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$
-
Proposition 6.5.6.1.1: The Right $J$-Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$