Categorical Structure
The category of Chu spaces over K and their maps is denoted by Chu(Set, K). As is clear from the symmetry of the definitions, it is a self-dual category: it is equivalent (in fact isomorphic) to its dual, the category obtained by reversing all the maps. It is furthermore a *-autonomous category with dualizing object (K, λ, {*}) where λ : K × {*} → K is defined by λ(k, *) = k, and as such a model of Jean-Yves Girard's linear logic .
Read more about this topic: Chu Space
Famous quotes containing the words categorical and/or structure:
“We do the same thing to parents that we do to children. We insist that they are some kind of categorical abstraction because they produced a child. They were people before that, and they’re still people in all other areas of their lives. But when it comes to the state of parenthood they are abruptly heir to a whole collection of virtues and feelings that are assigned to them with a fine arbitrary disregard for individuality.”
—Leontine Young (20th century)
“I’m a Sunday School teacher, and I’ve always known that the structure of law is founded on the Christian ethic that you shall love the Lord your God and your neighbor as yourself—a very high and perfect standard. We all know the fallibility of man, and the contentions in society, as described by Reinhold Niebuhr and many others, don’t permit us to achieve perfection.”
—Jimmy Carter (James Earl Carter, Jr.)