abstract:In mathematics, especially category theory, a discrete category is a category whose only morphisms are the identity morphisms. It is the simplest kind of category.
Consideringthetwoorthodoxcalculationstaketruthfunction, individuality truth function asobject of study, they fallinto the category ofdiscretemathematics.