slight refactoring of Categories.agda gives 2x speedup and memory reduction.
modified:   Categories.agda