  It is an established fact that category theory is employed to study logic and philosophy. Indeed, categorical logic, the study of logic by categorical means, has been under way for about 40 years now and still vigorous. Some of the philosophically relevant results obtained in categorical logic are: