You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
In another thread Matteo Capucci (he/him) said about the extended real numbers :
in https://arxiv.org/abs/2406.04936 I, like you, observed that the 'two additions', distinguished by how they resolve the indeterminate form , come together to make the extended reals an (isomix) -autonomous quantale.
That is a cute example of a -autonomous category! I don't think I've seen that before. (It's unfortunate that (in linear logic terminology and notation) the "positive" addition is the one with and the "negative" addition is the one with , but c'est la vie.)
The extended reals are the [[MacNeille completion]] of the rationals, i.e. the posetal saturated [[Isbell envelope]]. If I'm not mistaken, its two additions are the result of extending the addition on to its presheaf and copresheaf categories, respectively, and then to the saturated Isbell envelope by acting on one or the other component and recovering the other by saturation. But this is something one could do for the saturated Isbell envelope of any monoidal category. Is the result always -autonomous? Or at least linearly distributive?
Digressing a bit:
@Owen Lynch, @Joe Moeller and I have a paper where we give the structure of a convex space, extending with its usual convex space structure, such that any nontrivial convex combination of and is . There's another choice where any nontrivial convex combination of and is , but we need our choice to prove some theorems about entropy!
Thanks Mike! Yeah notation (and terminology) is quite unfortunate for this example :sweat_smile:
The two additions are indeed the two ways of extending that on the rationals as infima or suprema preserving ones. I'm not familiar enough with Isbell envelopes to really help with your other question though.
Maybe you can say what 'posetal' (though I can guess) and 'saturated' mean?
By "posetal" I mean "2-enriched". By "saturated" I mean the objects satisfying "Isbell duality" in the sense of https://ncatlab.org/nlab/show/Isbell%20envelope#isbell_duality.
I may have been wrong about saying you could do this (meaning define the two tensors) for any saturated Isbell envelope of a monoidal category, though. My suggested definition for acts on F-saturated objects, while my definition of acts on P-saturated objects, but even when applied to Isbell-duality objects it's not clear that either tensor product produces another Isbell-duality object.