Commit 2024-09-12 09:29 317d5fd9
View on Github →feat(CategoryTheory/Monoidal): string diagram command (#15929)
Add the #string_diagram command. For example,
#string_diagram MonoidalCategory.whisker_exchange
displays the string diagram for the exchange law of the left and right whiskerings, and
variable {C : Type u} [Category.{v} C] [MonoidalCategory.{v} C] [BraidedCategory.{v} C] (X Y : C) in
#string_diagram (β_ X Y).hom
displays the string diagram for the braiding when importing the braided category file.