- š 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 Goto Github PK
Name: Michael Lambert
Type: User
Company: Topos Institute
Bio: I am a mathematician working in category theory.