adjunctions

Here are 3 public repositories matching this topic...

A formalization of category theory in the Coq proof assistant.

A game written using free monads, representable functors, adjunctions and lens

Adaptation of a application that used Graphs with Matrix of Adjunctions to List of Adjunctions.

Add a description, image, and links to the adjunctions topic page so that developers can more easily learn about it.

To associate your repository with the adjunctions topic, visit your repo's landing page and select "manage topics."