• Applying Category Theory to Software Design

    Blockchain Embassy

    This meetup marks the end of the 3rd Statebox Summit. https://summit.statebox.org/ --- *Preliminary Topics and Speakers* Typedefs - Andre Videla CQL (Categorical Query Language) - Erik Post ZKProofs and Category Theory - Andre Knispel Pasting Diagrams - Jelle Herold --- The full program will be published soon. Stay tuned!