Viewing profile — hamad

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/math/IL-…

"the tensor product and the join operation in a relational database." can you elaborate more. very interesting!

it's base on a fantastic book https://bartoszmilewski.com/2014/10/28/category-theory-for-p...

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 philosoph…

I highly recommend Bartosz Milewski series in category theory https://www.youtube.com/watch?v=I8LbkfSSR58

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 == prog…