Towards Optic-Based Algebraic Theories: the Case of Lenses
-
Updated
Nov 26, 2018 - Coq
#
natural-transformation
Here are 6 public repositories matching this topic...
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
monads functional-programming coq functor category-theory coq-formalization unam kleisli natural-transformation computer-science-degree mexico-city fciencias mac-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 the natural-transformation topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the natural-transformation topic, visit your repo's landing page and select "manage topics."