$$
$$
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/
$$
$$
This is a sequel post to Catlab Refactor I. Check that one out first!