4 Sep
2010
4 Sep
'10
2:46 p.m.
On Sat, 4 Sep 2010, David Leduc wrote:
Are the notions of dual category and dual object related? If not, are there any good reasons to use the word "dual" for both notions?
Of course they're related. Under a categorical duality, the object in one category that corresponds to it in the other is the dual object. E.g. under the duality between sets and complete atomic boolean algebras, the object dual to to the set S is 2^S and the object dual to a CABA B is the set of atoms of B. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]