Packages tagged adjunctions
2 packages have this tag.
[Merge tag] (trustees only)Related tags: library (2), bsd2 (1), bsd3 (1), data-structures (1), math (1)
Name |
DLs |
Rating |
Rev Deps |
Description |
Tags |
Last U/L |
Last Version |
Maintainers |
|---|---|---|---|---|---|---|---|---|
| adjunction | 1 | 0.0 | 0 | See README for more info | (adjunctions, bsd3, library, math) | 2020-02-01 | 0.0.0.0 | |
| adjunctions | 21 | 2.25 | 65 | Adjunctions and representable functors | (adjunctions, bsd2, data-structures, library) | 2025-03-03 | 4.4.3 | EdwardKmett, EricMertens, ryanglscott, AaronVargo |