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 | 1 | 0.0 | 0 | See README for more info | (adjunctions, bsd3, library, math) | 2020-02-01 | 0.0.0.0 | |
adjunctions | 334 | 2.25 | 64 | Adjunctions and representable functors | (adjunctions, bsd3, data-structures, library) | 2022-08-15 | 4.4.2 | EdwardKmett, EricMertens, ryanglscott, AaronVargo |