Catlab refactor II: Basic Sets

$$

$$

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/