Domain, AssociatedMorphism, Codomain

in generalized morphism category
Implemented Pseudo-Inverse

in GeneralizedMorphismCategory
EqualityOfMorphisms for GeneralizedMorphismCategory
Added prerequisites for EqualityOfMorphisms
Started deduction system category.
Started deduction system.
Constructors for deduction system.
View and display
Bugfix: Wrong variable in constructor
Eval and some add methods for deduction system.
Adds for deduction system.
Some bugfixes, first example for deduction system.
Added boolean functions.