adjunctions

There are 0 repository under adjunctions topic.

amintimany / Categories
A formalization of category theory in the Coq proof assistant.
category-theory categories coq coq-formalization proof-assistant library adjunctions kan-extensions topos
Language:Coq 94
iokasimov / tictactoe
A game written using free monads, representable functors, adjunctions and lens
free representable adjunctions lens
Language:Haskell 5
andresilmor / Graphs-with-List-of-Adjunctions
Adaptation of a application that used Graphs with Matrix of Adjunctions to List of Adjunctions.
adjunctions csharp graph university university-project windows-forms
Language:C#

amintimany / Categories