Constructor: Give categories for objects and morphisms to category.
Install filters for containment in category.
Install AddToCategory, which can add an object to a category and sets the filter to true.
TODO REIMER:
Why is there a possibility to add an identity morphism without declaring it?
TODO:
* Add caching to methods
* Add generic display methods
ToDo:
* Gruppenkategorie, additive Kategorie.
* Kategorie muss lernen.
* Verallgemeinerte Morphismen Kategorie.
Bugs:
* Add( Category, object ) muss derzeit im Konstruktor aufgerufen werden (z.B bei QVectorSpace), da sonst
die generic Print Methoden einen Fehler werfen (HomalgCategory nicht bekannt)
* FullView: is direct sum -> was created as direct sum (ebenso: direct product, cokernel, kernel)
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
