Cybercat Institute
About
Projects
People
Blog
Contact us
Archive of category 'Category Theory'
Mar 13, 2025 •
software engineering
,
Category Theory
,
Dependent Lenses
,
dependent types
,
compiler
Pipelines Part 2: Categorical Pipelines