Packages tagged adjunctions

1 package has this tag.

[Merge tag] (trustees only)

Related tags: bsd3 (1), data-structures (1), library (1)

Name
DLs
Rating
Description
Tags
Last U/L
Maintainer
adjunctions33092.25Adjunctions and representable functors (adjunctions, bsd3, data-structures, library)2016-01-17EdwardKmett, EricMertens, ryanglscott, AaronVargo