query:

↳ on the Internet: Google | DuckDuckGo | Searx | Wikipedia

↳ in this Agora ⬎

📚 node [[category theory for programmers]]

📓 garden/flancian/category theory for programmers.md by @flancian ️👁 ️📝

Category Theory for Programmers

[[push]] [[category theory]]
- [[go]] https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/

📖 stoas

public document at doc.anagora.org/category-theory-for-programmers
video call at meet.jit.si/category-theory-for-programmers

⥱ context

← back
2020 10 16
jonathan the utopian
steffen schuldenzucker

↑ pushing here
(none)

↓ pulling this
(none)

→ forward
category theory
go
push

🔎 full text search for 'category theory for programmers'