On the implementation of C-sets

Owen Lynch

Fri Apr 14 2023

$$

$$

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