/sci/ - Science & Math

I like the Kripke-Joyal semantics.

5 or 6 am to 1 pm 6 times a week.

>>8961612
Restricting to the full subcategory of Stone spaces, one has the spaces [math]Y^X[/math] in [math]\textbf{Stone}[/math]. Moreover, all compact spaces are compactly generated, so [math]Y^X[/math] is actually exponential, and this should give a [math]C^*[/math]-algebra dual to the space (I'm not too familiar with those). On the other hand, [math]Y^X[/math] is, as a Stone space, dual to a Boolean algebra, so the [math]C^*[/math]-algebra would be Boolean.

Assuming I'm not completely wrong, one could then define a class of "cute" spaces to consist of all those whose [math]C^*[/math]-algebras are Boolean, or Heyting algebras for more generality. No idea if this is worth anything, though, I just woke up. [math](^o \smile ^o)[/math]

>>8876899
Literally the same! LOL

>tfw you get high and realize how much you love mathematics