Login
From:
blog.algebraicjulia.org
(Uncensored)
subscribe
Catlab Refactor III: General categorical plumbing – AlgebraicJulia blog
https://blog.algebraicjulia.org/post/2025/05/refactor3/
links
backlinks
Tagged with:
code
Diving into the Cats module - some conceptual differences between Catlab v0.16 and v0.17 for modeling categories, functors, (co)limits, and more.
Roast topics
Find topics
Find it!
