monoidal category

1. Definition

Let \(\mathcal{C}\) be a category. Then \(\mathcal{C}\) is said to be monoidal, if it is equipped with a monoidal structure

Date: nil

Author: Anton Zakrewski

Created: 2024-10-11 Fr 21:45