Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
All our entries which wanted to point to something like dualizing module (such as at Verdier duality) or the more general concept in a closed monoidal category (such as at star-autonomous category) used to point to the entry dualizable object, which however did not really discuss this specific concept of “dualizable object”.
Therefore I have now created dualizing object in a closed category and made these entries point to that, instead.
Mentioned that in homological algebra/stable homotopy theory one usually puts additional finiteness conditions on the would-be dualizing object and added a brief remark on Anderson duality as a fundamental example.
briefly added the statement of “Joyal’s lemma” (a cartesian closed category with a dualizing object is a preorder).
I generalized Joyal’s lemma a bit and added a proof.
Thanks!
Is a self-dual Heyting algebra necessarily a Boolean algebra?
Mike, no: the unit interval is a Heyting algebra and has an obvious order-reversing involution.
Maybe it would be good to mention, then, that when the self-duality comes from a dualizing object we get the stronger conclusion that the Heyting algebra is a Boolean algebra. Unless I’m wrongly remembering that.
No, you’re remembering correctly; I’ll add it in.
The page dualizing object in a closed category appears to make the claim that the double-dualization map is an isomorphism for all spectra , which is false; this is only true if is sufficiently finite. One might be able to guess that this is not what is meant by reading sufficiently closely, since the third paragraph of the Idea section of the latter says that “in homological algebra and stable homotopy theory there are typically also certain finiteness conditions imposed”, but this should be made much more explicit.
I would fix it, but I’m not sure what the right fix is. Should “a dualizing object in a closed category” be defined by default to mean one for which double-dualization is always an isomorphism? The page star-autonomous category links to it with that meaning assumed. Or should it be a faithful generalization of the apparently-standard notion of “dualiziing complex”/”dualizing module” in homological algebra and stable homotopy theory, which only implies this property for suitably finite ? The page Anderson duality links to it with this meaning assumed. Or should the page dualizing object in a closed category try to unify the two, e.g. by defining a general notion of “dualizing object with respect to a subcategory”?
Thanks for the alert. I have tweaked the wording a bit, along the lines of the third option (“unify”). But please edit/expand further as need be.
Okay, thanks. Unify was my default assumption too; I’ve tried to clean it up some more.
1 to 11 of 11