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