Category Theory Illustrated: Logic

A recent article explores the connections between category theory and logic. Researchers have found that the join of two objects in a category is equivalent to the logical statement $A\vee \top$, which is always true. This observation has implications for our understanding of logical statements, including the law of identity ($A\rightarrow A$) and the deduction theorem ($A\models B$). The study also highlights the relationship between categories, monoids, and orders.

Source: https://abuseofnotation.github.io/category-theory-illustrated/05_logic/