Is there a look-up table or reference of formalizations that describe standard conceptual modules? For example, I'm performing a classification of some set of features and it seems like there must be an accepted notation for this operation.
I looked at How do you go about formalizing a concept?, which is helpful but I'm asking about non-novel concepts that are easily abstractable and standard (I'm coming from computer science).