$$ $$ Category theory often sheds light on old problems by redescribing them in a conceptually cleaner way, but it less frequently gets used to develop concrete algorithms for practical problems. In this post, the problem we address involves a query we care about: we want to maintain the answer set to some query (e.g. “how many paths of length two are there in this graph?”) when the thing being queried is changing frequently. If the changes are frequent enough, we don’t want to have to...| Topos Institute
Announcing the first version of InterTypes: a package for cross-language serialization for ADTs and ACSets| blog.algebraicjulia.org