8.6 The Left Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 8.6.1: The Left Skew Monoidal Product
- Definition 8.6.1.1.1: The Left $J$-Skew Monoidal Product of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 8.6.2: The Left Skew Monoidal Unit
- Definition 8.6.2.1.1: The Left $J$-Skew Monoidal Unit of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 8.6.3: The Left Skew Associators
- Definition 8.6.3.1.1: The Left $J$-Skew Associator of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 8.6.4: The Left Skew Left Unitors
- Definition 8.6.4.1.1: The Left $J$-Skew Left Unitor of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 8.6.5: The Left Skew Right Unitors
- Definition 8.6.5.1.1: The Left $J$-Skew Right Unitor of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 8.6.6: The Left Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$
- Proposition 8.6.6.1.1: The Left $J$-Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$
