autopushed

This commit is contained in:
2023-01-23 00:41:07 +01:00
parent 98cce2d5a5
commit ecd3baffe1
+5
View File
@@ -1,3 +1,8 @@
- I had a nice weekend, now back to [[work]]... while I have a job :)
- Removed links and added some more references in [[agora chapter]].
- Forked into [[agora chapter unlinked]], at least for now.
- Started reading about [[category theory]] again this weekend, still interesting. I'd like to make a serious effort this 2023.
- #push [[category theory]]
- resources
- [[ncatlab]] ~ https://ncatlab.org
- [[a rosetta stone]]