CatFrame

!example workflow
!alt text
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, ...)