- ๐ Hi, Iโm @MichaelJLambert
- ๐ Iโm interested in category theory. In particular, I'm working on double categories and their applications.
- ๐ฑ Iโm currently learning about Frobenius monoids, distributed systems, description logic, and type theory.
- ๐๏ธ Iโm looking to collaborate on any of the above.
- ๐ซ How to reach me [email protected]
michaeljlambert / catlab.jl Goto Github PK
View Code? Open in Web Editor NEWThis project forked from algebraicjulia/catlab.jl
A framework for applied category theory in the Julia language
Home Page: https://www.algebraicjulia.org
License: MIT License