We are happy to announce a new feature coming up for Typedefs along with a developer preview available on try.typedefs.com: specialised types. Read more about it here.
In an effort to spread categorical thinking, Statebox is organizing a category theory course for enterprise. The 4-day training will take place in Berlin between 24 and 27 March and it aims at introducing a wide audience to core concepts in category theory.
There are only a few spots left. Sign up directly on training.statebox.org or spread the word if you think anyone in your network is interested.
This blogpost explains the reasoning behind our initiative.
A paper on categorical semantics for guarded Petri nets written in collaboration with our advisor David Spivak will be available on arXiv shortly. Keep an eye on our Twitter activity for the upcoming link.
Next month brings a collaboration between Statebox and the tech university in Tallinn to fruition. Our team will be there at the end of February to round up important work regarding the graphical editor we are developing.