Skip to content
Browse files

Change direction arrow in weil

  • Loading branch information...
aisejohan committed Oct 7, 2019
1 parent 4e7bbd6 commit d6867b6be520fe47104ebd0211a230318870185f
Showing with 2 additions and 2 deletions.
  1. +2 −2 weil.tex
@@ -157,9 +157,9 @@ \section{Monoidal categories}
X \otimes (Y \otimes ( Z \otimes W)) \ar[r] \ar[d] &
(X \otimes Y) \otimes (Z \otimes W) \ar[r] &
((X \otimes Y) \otimes Z) \otimes W \ar[d] \\
((X \otimes Y) \otimes Z) \otimes W \\
X \otimes ((Y \otimes Z) \otimes W) \ar[rr] & &
(X \otimes (Y \otimes Z)) \otimes W
(X \otimes (Y \otimes Z)) \otimes W \ar[u]
is commutative where every arrow is determined by a suitable application

0 comments on commit d6867b6

Please sign in to comment.
You can’t perform that action at this time.