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-contradiction.html
"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 philosophy you love paradoxes you counter in…
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 == program) personal perspective
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-contradiction.html
"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 philosophy you love paradoxes you counter in…
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 == program) personal perspective