A PyQt5 desktop application for chasing diagrammatic proofs such as for the Snake Lemma in Homological Algebra.
- A monoid is modeled as a category with one object, ie. not strictly as a set with an associative binary op.
- Definitions are recursive, so for example the morphisms in a monoid could very well be functors and so on...
- Ability to take functorial images within a diagram chaser scene and auto-update the image labels as the input diagram changes.
- Support for abstract abelian category diagram chases as well as "taking elements."
- Ability to define custom categories within the app.
- Easily extendible in Python via class inheritance.
- Collision handling between objects, so things can't overlap & hide one another.
BananaCats by Daniel Donnelly, Jr. is licensed under Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International
