I added the example of ideals of a commutative ring.
]]>I added the reference section quantale#automata and linked to it from the examples section.
{#automata}Relations with automata and process semantics
- Samson Abramsky, Steve Vickers, Quantales, observational logic and process semantics, Math. Struct. in Comput. Sci.3 (1993) 161-227. doi, CiteSeerX
In the future I might incorporate more from that article when I understand it better.
]]>Thanks!
]]>As a follow-up to one of Mike’s remarks here at one of the Bousfield lattice threads, I added to quantale the result that restriction to the idempotent elements in a commutative affine quantale gives the right adjoint to the forgetful functor from frames to commutative affine quantales. (The present point being that Bousfield classes form a commutative affine quantale under smash product.)
]]>I noticed a similar behaviour just now when editing Cech methods. I can trace the problem in my case to the use of an accented character in a section title, which then seemed to hit problems in the TOC. That does not seem to be the case however in Quantale.
I have also often had messages about needing Javascript and cookies enabled, (they are).
]]>Never mind: I finagled a workaround.
]]>I have made some edits to quantale, and tried submitting. The first few tries resulted in an "application error", and then the next few tries produced the message, "you cannot resubmit this form again," but apparently the edits did not go through (do not appear on the current page). I don't know what to do at this point. I have saved the contents of the page within the editor elsewhere on my computer, and will await further instructions.
]]>It might also be nice to say something about quantaloids, i.e. closed locally posetal bicategories, and their *-version and enrichment over those. For instance, there is Walters' theorem that sheaves on a site can be presented as categories *-enriched in a certain *-quantaloid.
]]>Would it be worth making a separate page *-quantale?
]]>There will be more to add about enrichment, specifically as applied to buildings, but it will take a little while to develop. In the meantime, I have added more examples of quantales and -quantales, and added a small section on morphisms of quantales.
]]>