The Clowder Project

5.4 The Left Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$

• Subsection 5.4.1: The Left Skew Monoidal Product
  • Definition 5.4.1.1.1: The Left $J$-Skew Monoidal Product of $\mathbf{Rel}\webleft (A,B\webright )$
• Subsection 5.4.2: The Left Skew Monoidal Unit
  • Definition 5.4.2.1.1: The Left $J$-Skew Monoidal Unit of $\mathbf{Rel}\webleft (A,B\webright )$
• Subsection 5.4.3: The Left Skew Associators
  • Definition 5.4.3.1.1: The Left $J$-Skew Associator of $\mathbf{Rel}\webleft (A,B\webright )$
• Subsection 5.4.4: The Left Skew Left Unitors
  • Definition 5.4.4.1.1: The Left $J$-Skew Left Unitor of $\mathbf{Rel}\webleft (A,B\webright )$
• Subsection 5.4.5: The Left Skew Right Unitors
  • Definition 5.4.5.1.1: The Left $J$-Skew Right Unitor of $\mathbf{Rel}\webleft (A,B\webright )$
• Subsection 5.4.6: The Left Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$
  • Proposition 5.4.6.1.1: The Left $J$-Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$