Formal Definition
We define the elementary language of category theory as the two-sorted first order language with objects and morphisms as distinct sorts, together with the relations of an object being the source or target of a morphism and a symbol for composing two morphisms.
Let σ be any statement in this language. We form the dual σop as follows:
- Interchange each occurrence of "source" in σ with "target".
- Interchange the order of composing morphisms. That is, replace each occurrence of with
Informally, these conditions state that the dual of a statement is formed by reversing arrows and compositions.
Duality is the observation that σ is true for some category C if and only if σop is true for Cop.
Read more about this topic: Dual (category Theory)
Famous quotes containing the words formal and/or definition:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)