Fixed double categories

- category had geen hashcode en daarmee draaide het in de prak.