Viewing profile — zzhelezc

These might be useful - Programming With Categories [1] and Category Theory for Programmers [2] (also on YT [3]). [1] http://brendanfong.com/programmingcats.html [2] https://bartos…

http://brendanfong.com/programmingcats_files/cats4progs-DRAF...

Wow, I didn’t expect to see ZX here. Its related to my PhD. You can find a lot of ZX related literature on [1]. [2] is a really nice introduction. If you want to play with it in py…

What about notes? Is there a way to add notes to highlights? It would be nice if they are also displayed on the side.

Another category theory resource you may find interesting is Category theory for programmers by Bartosz Milewski. He also has a great video course on youtube. If you want a taste o…