Auto: misc.

This commit is contained in:
2021-01-01 14:15:47 +01:00
parent d37be08d56
commit 8af8359676
+2 -1
View File
@@ -31,7 +31,7 @@
- node [[bourbaki]] - node [[bourbaki]]
- [[stoas]] - [[stoas]]
- [[pivoting]] - [[pivoting]]
- [[braiding]] - [[push]] [[braiding]]
- something is [[symmetric]] if [[braiding twice is identity]] - something is [[symmetric]] if [[braiding twice is identity]]
- [[braid]] [[hofstadter]] - [[braid]] [[hofstadter]]
- [[twist]] - [[twist]]
@@ -67,6 +67,7 @@
[category theory for programmers]: category-theory-for-programmers "Category Theory for Programmers" [category theory for programmers]: category-theory-for-programmers "Category Theory for Programmers"
[agora]: agora "Agora" [agora]: agora "Agora"
[users]: users "Users" [users]: users "Users"
[push]: push "Push"
[hofstadter]: hofstadter "Hofstadter" [hofstadter]: hofstadter "Hofstadter"
[2020-12-18]: journal/2020-12-18 "2020-12-18" [2020-12-18]: journal/2020-12-18 "2020-12-18"
[wittgenstein]: wittgenstein "Wittgenstein" [wittgenstein]: wittgenstein "Wittgenstein"