dmm: (Default)
Dataflow matrix machines (by Anhinga anhinga) ([personal profile] dmm) wrote2021-12-23 09:15 pm
  • Add Memory
  • Share This Entry
Entry tags:
Threaded | Flat
dmm: (Default)

[personal profile] dmm 2021-12-24 02:18 am (UTC)(link)
I decided it's time for me to revisit toposes and sheaves
juan_gandhi: (Default)

[personal profile] juan_gandhi 2021-12-24 03:23 am (UTC)(link)

Я всю жизнь считал эту книжку неправильной.

dmm: (Default)

[personal profile] dmm 2022-01-02 02:09 am (UTC)(link)
It turns out that "Introduction to higher order categorical logic" by Joachim Lambek and Philip J. Scott might be a better fit, and that one can usually find its PDF on the web...
Edited 2022-01-02 02:10 (UTC)
dmm: (Default)

[personal profile] dmm 2022-01-02 03:51 am (UTC)(link)
Collected work by Lawvere:

https://github.com/mattearnshaw/lawvere

( https://en.wikipedia.org/wiki/William_Lawvere )
Edited 2022-01-02 03:55 (UTC)
Threaded | Flat