RnD project exploring in Scala:
- modular and unified approach to abstractions in category theory (bifunctors and profunctors)
- profunctor optics, include profunctors that match tambara module WIP
- trifunctors and Nifuctor, See: zio-prelude, Haskell, Idris
- category theory encoding with goal to get useful abstractions/utilities
- semicategory
- category
- limits: terminal object, categorical product, pullback, equalizer
- colimits: initial object, coproduct, pushout, coequalizer
- finitely complete category (nlab)
- finitely cocomplete category (nlab)
- monoidal categoriy
- braided monoidal category
- symmetric monoidal category
- categories of profunctors
- 2-category of type constructors and natural transformation WIP
- category of profunctors and dinatural transformations
- toposes WIP
This repo intends to create base for further research about: automatic code completition, optimization of functional proramms, generating FP libraries targetted for particular problem domain.