As our dear readers widely know, Statebox is a company that heavily relies on category theory for the…
In the previous post we discussed how we could state a definition for generic…
At Statebox we are exploring using boolean circuits to model computation. One thing we’d…
At Statebox we use category theory to model computation, where the objects of a category represent the…
In our previous posts we explored how to work with categories and functors in Idris, providing…
Trying to solve the same problems using the same tools over and over again and expecting to…
In our last post we provided some examples of categories which show how, with our newly defined concept of category, we can…