Category equality

.