amintimany / Categories Star 94 Code Issues Pull requests A formalization of category theory in the Coq proof assistant. library coq proof-assistant category-theory coq-formalization categories adjunctions kan-extensions topos Updated Nov 4, 2024 Coq
iokasimov / tictactoe Star 5 Code Issues Pull requests A game written using free monads, representable functors, adjunctions and lens free lens representable adjunctions Updated Dec 30, 2017 Haskell
andresilmor / Graphs-with-List-of-Adjunctions Star 0 Code Issues Pull requests Adaptation of a application that used Graphs with Matrix of Adjunctions to List of Adjunctions. university csharp graph university-project windows-forms adjunctions Updated Sep 30, 2021 C#