A categorical proposition is a statement relating two classes, consisting of a subject term, predicate term, and a copula linking them. It can be categorized as universal or particular, affirmative or negative, affecting the logical relationships between the classes. John Venn contributed tools for visualizing these relationships in the 19th century.