Catlab Refactor III: General categorical plumbing

Owen Lynch

Fri May 16 2025

This is a sequel post to Catlab refactor I and Catlab refactor II. Check those out first!

---

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