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.
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.
Would it be worth making a separate page *-quantale?
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.
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.
Never mind: I finagled a workaround.
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).
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 $Idem$ 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.)
Thanks!
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, CiteSeer^{X}
In the future I might incorporate more from that article when I understand it better.
1 to 11 of 11