Re: Dual category and dual object

On Sat, 4 Sep 2010, Toby Bartels wrote:

David Leduc wrote:

...

Are the notions of dual category and dual object related?

.......................................................

On the other hand, we can say "opposite category" instead of "dual category", especially since we denote the dual category of C by C^{op}.

So you would say that complete atomic boolean algebras is just Set^{op}? Well I wouldn't. They are, of course, equivalent, but not the same. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]