Computational Category Theory
cs.man.ac.uk
Computational Category Theory
1–10 of 12 posts
Re: Computational Category Theory
#2from a naive skim,it looks like a book that is about how to model category theory in SML.
A lot of the encodings seem to around that
I've over time gotten a lot out of efforts to model category theory in agda, one example being https://github.com/copumpkin/categories (though theres many more).
Re: Computational Category Theory
#3The pdf is from 2003, not clear whether much is dated later.
Re: Computational Category Theory
#4from a naive skim,it looks like a book that is about how to model category theory in SML. A lot of the encodings seem to around that I've over time gotten a lot out of efforts to model category theory in agda, one example being https://github.com/copumpkin/categories (though theres many more).
Along those lines, any idea where I might find some good, minimal examples of category theoretic models implemented in a mainstream language? I have no doubt that strictly typed functional languages have a more convenient syntax for these concepts, and that translating those into Python, or even Java, would be difficult. But not impossible, and it might even help to illustrate why Haskell and ML are appealing choices to someone wanting to use these models in production.
Re: Computational Category Theory
#5from a naive skim,it looks like a book that is about how to model category theory in SML. A lot of the encodings seem to around that I've over time gotten a lot out of efforts to model category theory in agda, one example being https://github.com/copumpkin/categories (though theres many more).
Along those lines, any idea where I might find some good, minimal examples of category theoretic models implemented in a mainstream language? I have no doubt that strictly typed functional languages have a more convenient syntax for these concepts, and that translating those into Python, or even Java, would be difficult. But not impossible, and it might even help to illustrate why Haskell and ML are appealing choices…
In case Common Lisp is mainstream: https://www.researchgate.net/publication/279847876_A_DSEL_fo...
Re: Computational Category Theory
#6from a naive skim,it looks like a book that is about how to model category theory in SML. A lot of the encodings seem to around that I've over time gotten a lot out of efforts to model category theory in agda, one example being https://github.com/copumpkin/categories (though theres many more).
Along those lines, any idea where I might find some good, minimal examples of category theoretic models implemented in a mainstream language? I have no doubt that strictly typed functional languages have a more convenient syntax for these concepts, and that translating those into Python, or even Java, would be difficult. But not impossible, and it might even help to illustrate why Haskell and ML are appealing choices…
(Python would be harder for this than Java.)
Re: Computational Category Theory
#7Is the page layouting broken for anybody else? At least on my macOs Preview the top margin is nonexistent and the bottom margin huge.
Re: Computational Category Theory
#8Earlier quoted context omitted.
Along those lines, any idea where I might find some good, minimal examples of category theoretic models implemented in a mainstream language? I have no doubt that strictly typed functional languages have a more convenient syntax for these concepts, and that translating those into Python, or even Java, would be difficult. But not impossible, and it might even help to illustrate why Haskell and ML are appealing choices…
(Python would be harder for this than Java.)
Definitely. I said that poorly, what I meant was "it'd unquestionably be hard in Python, and it'd even be hard in Java"
Re: Computational Category Theory
#9Earlier quoted context omitted.
Along those lines, any idea where I might find some good, minimal examples of category theoretic models implemented in a mainstream language? I have no doubt that strictly typed functional languages have a more convenient syntax for these concepts, and that translating those into Python, or even Java, would be difficult. But not impossible, and it might even help to illustrate why Haskell and ML are appealing choices…
In case Common Lisp is mainstream: https://www.researchgate.net/publication/279847876_A_DSEL_fo...
I appreciate this. Thanks!
Re: Computational Category Theory
#10from a naive skim,it looks like a book that is about how to model category theory in SML. A lot of the encodings seem to around that I've over time gotten a lot out of efforts to model category theory in agda, one example being https://github.com/copumpkin/categories (though theres many more).
Along those lines, any idea where I might find some good, minimal examples of category theoretic models implemented in a mainstream language? I have no doubt that strictly typed functional languages have a more convenient syntax for these concepts, and that translating those into Python, or even Java, would be difficult. But not impossible, and it might even help to illustrate why Haskell and ML are appealing choices…
Here is a bit in Julia I wrote: https://github.com/jasonmorton/Cateno