Ticket #224 (new enhancement)
Opened 6 months ago
Lack of packages from Category Theory at Platform
|Reported by:||wvv||Owned by:||dons|
There are lack of basics packages from Category Theory at Platform.
Some Functors (Contvariant, Profunctors,..), Group (Groupoids, Semigroupoids,..), Comonads(..), some Monads.
Most of not included modules are already collected here: