adjunctions

There are 3 repositories under adjunctions topic.

amintimany/Categories
A formalization of category theory in the Coq proof assistant.
Language:Coq95 6 14
iokasimov/tictactoe
A game written using free monads, representable functors, adjunctions and lens
Language:Haskell5 1 02
andresilmor/Graphs-with-List-of-Adjunctions
Adaptation of a application that used Graphs with Matrix of Adjunctions to List of Adjunctions.
Language:C#2 0