Catlab Refactor II: Basic Sets

Owen Lynch

Tue Mar 25 2025

$$

$$

This is a sequel post to Catlab Refactor I. Check that one out first!

---

This is a companion discussion topic for the original entry at https://blog.algebraicjulia.org/post/2025/02/refactor2/