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:
“Then the justice,
In fair round belly with good capon lined,
With eyes severe and beard of formal cut,
Full of wise saws and modern instances;
And so he plays his part.”
—William Shakespeare (1564–1616)
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)