The idea of a “-set” was introduced in an earlier post. To recap, a -set is a functor from a small category to . When implementing this idea on a computer, we restrict it to a functor from a finitely presented category to . The object of this blog post is to explain how we implement such -sets as a data structure in the Julia programming language.
This is a companion discussion topic for the original entry at https://blog.algebraicjulia.org/post/2020/09/cset-internals-1/index.html