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
adjunction10.00See README for more info (adjunctions, bsd3, library, math)2020-02-010.0.0.0
adjunctions3342.2564Adjunctions and representable functors (adjunctions, bsd3, data-structures, library)2022-08-154.4.2EdwardKmett, EricMertens, ryanglscott, AaronVargo