CatFrame is a framework to implement categorical concepts in TypeScript. Currently, we only support M-adhesive Categories based on the Category Sets(/Totalfunction).
It is highly inspired by the lecture material of FMDE.
(I have the permission to use their implementation ideas under MIT License. Thank you so much!).
Changes are (among others):
- equality function can be given as parameter
- Typing and "Tripleling" are implemented as decorators on generic (concrete) categories
- Categories are always assumed to have pushouts
- Some functions have other names ()
- Merging of Arrows was added (kind of coproduct of arrows)
- Many concepts are not implemented by now (exploiting duality, pushout complements, ...)