Projects in Awesome Lists tagged with adjunctions
A curated list of projects in awesome lists tagged with adjunctions .
https://github.com/amintimany/Categories
A formalization of category theory in the Coq proof assistant.
adjunctions categories category-theory coq coq-formalization kan-extensions library proof-assistant topos
Last synced: 02 May 2025
https://github.com/amintimany/categories
A formalization of category theory in the Coq proof assistant.
adjunctions categories category-theory coq coq-formalization kan-extensions library proof-assistant topos
Last synced: 07 Apr 2025
https://github.com/iokasimov/tictactoe
A game written using free monads, representable functors, adjunctions and lens
adjunctions free lens representable
Last synced: 26 Mar 2025
https://github.com/ibrahimcesar/category-theory-for-the-javascript-typescript-developers
🔢 Category Theory for JavaScript/TypeScript developers. An embedded DSL making functors, monads, and adjunctions explicit and manipulable.
adjunctions category-theory category-theory-for-programmers composition dsl educational fp-ts functional-programming functor javascript monad typescript
Last synced: 30 Jan 2026
https://github.com/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
Last synced: 22 Mar 2025
