Kategori sa a ap kontni tout teorèm nou kapab sèvi avè yo nan matematik mondyal.
Li kapab genyen tou ipotèz, lèm ak konjekti
Kategori sa a gen sèlman paj swivan ladan l.