Diving into the Cats module - some conceptual differences between Catlab v0.16 and v0.17 for modeling categories, functors, (co)limits, and more.| blog.algebraicjulia.org
