This commit is contained in:
2022-12-30 13:35:00 -08:00
2 changed files with 1 additions and 320 deletions

View File

@@ -266,7 +266,7 @@ the letter \\(\\pi\\) to denote a path, this means the following equation:
\circ \rightarrow \pi = \pi = \pi \rightarrow \circ
{{< /latex >}}
{{< sidenote "right" "paths-monoid-note" "So those are paths." >}}
{{< sidenote "right" "paths-monoid-note" "So those are paths." 0.25 >}}
Actually, if you clicked through the
<a href="https://mathworld.wolfram.com/Monoid.html">monoid</a>
link earlier, you might be interested to know that paths as defined here