natural-transformation

There are 0 repository under natural-transformation topic.

• hablapps / LensAlgebra

  Towards Optic-Based Algebraic Theories: the Case of Lenses

  lensstatemonadnatural-transformation
  Language:Coq 17

• gvolpe / free-as-a-monad

  Running 2 or more algebras with Coproduct and Inject when using the Free Monad

  catsfreemonadnatural-transformationcoproductinjectalgebra
  Language:Scala 3

• Hacker-Code-J / Category-Theory

  This repository is a curated collection of Category Theory resources, notes, and proofs formatted in LaTeX.

  categorycategory-theorycurryingfunctornatural-transformation
  Language:TeX 3

• hablapps / naturally

  Programming in a tagless-final style, naturally

  scalafunctional-programmingtypeclassesnatural-transformationdependency-injection
  Language:Scala 2

• spidermoy / Monads_KleisliTriples_Proof

  Computer Scientist Degree - Thesis Work

  coqcoq-formalizationunamfcienciasmonadskleislicategory-theoryfunctional-programmingmexico-citynatural-transformationfunctormac-lanecomputer-science-degree
  Language:Coq 1

• mtumilowicz / scala212-category-theory-natural-transformations-example

  Polymorphic functions as natural transformations.

  natural-transformationpolymorphic-functions
  Language:Scala