21 Nov
2001
21 Nov
'01
2:44 a.m.
If F:C-->C is a functor with opposite F*:C*-->C* then (F-algebras)* is trivially equivalent to (F*)-coalgebras. Can this duality be induced by a schizophrenic object?