Rel.jl

Experiments for categories and relation algebra in Julia

I've fiddled with some examples or category theory feeling things before:

http://www.philipzucker.com/linear-relation-algebra-of-circuits-with-hmatrix/

http://www.philipzucker.com/solving-the-laplace-equations-with-linear-relations/

http://www.philipzucker.com/categorical-lqr-control-with-linear-relations/

http://www.philipzucker.com/a-sketch-of-categorical-relation-algebra-combinators-in-z3py/

http://www.philipzucker.com/a-short-skinny-on-relations-towards-the-algebra-of-programming/

https://github.com/philzook58/rel

http://www.philipzucker.com/reverse-mode-differentiation-is-kind-of-like-a-lens-ii/

http://www.philipzucker.com/neural-networks-with-weighty-lenses-dioptics/

http://www.philipzucker.com/grobner-bases-and-optics/ - Polynomial relations solved via resultant or grobner basis is an interesting way to do optics or hamilton-jacobi mechanics

https://gist.github.com/philzook58/51289c6b016b30d7a6ec75bdb247b945

Julia Stuff

Catlab seems like it implements useful functionality somewhat reminiscient of Conal Elliott's Compiling to Categories

https://github.com/epatters/Catlab.jl

https://github.com/jpfairbanks/SemanticModels.jl

https://www.youtube.com/watch?v=7dmrDYQh4rc