#
natural-transformation
Here are 6 public repositories matching this topic...
Language:All
Filter by language
Towards Optic-Based Algebraic Theories: the Case of Lenses
- Updated
Nov 26, 2018 - Coq
This repository is a curated collection of Category Theory resources, notes, and proofs formatted in LaTeX.
- Updated
Dec 5, 2024 - TeX
Programming in a tagless-final style, naturally
- Updated
Sep 27, 2018 - Scala
Computer Scientist Degree - Thesis Work
monadsfunctional-programmingcoqfunctorcategory-theorycoq-formalizationunamkleislinatural-transformationcomputer-science-degreemexico-cityfcienciasmac-lane
- Updated
Jul 6, 2020 - Coq
Polymorphic functions as natural transformations.
- Updated
Feb 9, 2019 - Scala
Improve this page
Add a description, image, and links to thenatural-transformation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thenatural-transformation topic, visit your repo's landing page and select "manage topics."