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:
“The bed is now as public as the dinner table and governed by the same rules of formal confrontation.”
—Angela Carter (1940–1992)
“According to our social pyramid, all men who feel displaced racially, culturally, and/or because of economic hardships will turn on those whom they feel they can order and humiliate, usually women, children, and animals—just as they have been ordered and humiliated by those privileged few who are in power. However, this definition does not explain why there are privileged men who behave this way toward women.”
—Ana Castillo (b. 1953)