hamad

3 ms·

1. 1.▲
   by hamad 7y ago

   another three good writing from same blog https://blog.plover.com/math/logic/coherence-spaces.html https://blog.plover.com/math/logic/cut-rule.html https://blog.plover.com&#x2
2. 2.▲
   by hamad 8y ago

   "the tensor product and the join operation in a relational database." can you elaborate more. very interesting!
3. 3.▲
   by hamad 9y ago

   it's base on a fantastic book https://bartoszmilewski.com/2014/10/28/category-theory-for-p...
4. 4.▲
   by hamad 9y ago

   i agree but i think you can see the whole image and select what you want. for example maybe you like CS you will comfortable with graph theory or compatibility theory, or philosophy you love paradoxes you counter in logic, even the history
5. 5.▲
   by hamad 9y ago

   I highly recommend Bartosz Milewski series in category theory https://www.youtube.com/watch?v=I8LbkfSSR58
6. 6.▲
   by hamad 9y ago

   haskell(common knowledge) -> category theory(compare it with set theory here you will read about math foundation crisis) -> type theory(curry howard correspondence or logic == program) personal perspective