catframe v0.0.5

CatFrame

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, ...)