Archive of category 'Dependent Lenses'

• Mar 13, 2025 • software engineering, Category Theory, Dependent Lenses, dependent types, compiler

  Pipelines Part 2: Categorical Pipelines