Do you think it justifies for a separate category? Wikipedia says "It is often considered to be a sub-field of mathematics.", but I know that Wikipedia is not always correct and that I have some other small categories already at choice.