From Newsgroup: comp.programming

[Cross-posted to sci.math, should I get lucky.
Please set follow-ups appropriately.]

Multi-sorted categories? <https://math.stackexchange.com/questions/5086900/multi-sorted-categories>

File under "upside-down is a euphemism".

-Julio
--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.programming

On 08/09/2025 09:16 AM, Julio Di Egidio wrote:

[Cross-posted to sci.math, should I get lucky.
Please set follow-ups appropriately.]

Multi-sorted categories? <https://math.stackexchange.com/questions/5086900/multi-sorted-categories>

File under "upside-down is a euphemism".

-Julio

Reminds me of like 30 years ago and learning about "multivalent" logic.
Then people sort of point at Kleene and Lukasiewicz for that and then
as for Zadeh and the, "fuzzy", logic, though that it's the multi-valent usually, as with regards to "old-wrapped-as-new" and "knowing-where-the-food-comes-from".


--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.programming

On 09/08/2025 19:06, Ross Finlayson wrote:

On 08/09/2025 09:16 AM, Julio Di Egidio wrote:

[Cross-posted to sci.math, should I get lucky.
  Please set follow-ups appropriately.]

Multi-sorted categories?
<https://math.stackexchange.com/questions/5086900/multi-sorted-categories> >>
File under "upside-down is a euphemism".

Reminds me of like 30 years ago and learning about "multivalent" logic.
Then people sort of point at Kleene and Lukasiewicz for that and then
as for Zadeh and the, "fuzzy", logic, though that it's the multi-valent usually, as with regards to "old-wrapped-as-new" and "knowing-where-the-food-comes-from".

Aka the necessarily fraudulent and abusive self-apologetics and
mythologies of a system built on just corruption and collusion.

There is food and food.

-Julio

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.programming

On 08/09/2025 10:31 AM, Julio Di Egidio wrote:

On 09/08/2025 19:06, Ross Finlayson wrote:

On 08/09/2025 09:16 AM, Julio Di Egidio wrote:

[Cross-posted to sci.math, should I get lucky.
Please set follow-ups appropriately.]

Multi-sorted categories?
<https://math.stackexchange.com/questions/5086900/multi-sorted-categories> >>>

File under "upside-down is a euphemism".

Reminds me of like 30 years ago and learning about "multivalent" logic.
Then people sort of point at Kleene and Lukasiewicz for that and then
as for Zadeh and the, "fuzzy", logic, though that it's the multi-valent
usually, as with regards to "old-wrapped-as-new" and
"knowing-where-the-food-comes-from".

Aka the necessarily fraudulent and abusive self-apologetics and
mythologies of a system built on just corruption and collusion.

There is food and food.

-Julio

Yeah they say eating over-processed food is bad.

Not that everyone needs go "raw vegan" or other
sorts extreme and radical and thus perceived illogical
or irrational behavior, which leads to mutual distrust,
yet knowing these things, most people one imagines
would pick an apple, even if needing eat around the worm,
than a pile of sludge guaranteed to make their organs fail.


--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.programming

On 09/08/2025 19:47, Ross Finlayson wrote:

On 08/09/2025 10:31 AM, Julio Di Egidio wrote:

On 09/08/2025 19:06, Ross Finlayson wrote:

On 08/09/2025 09:16 AM, Julio Di Egidio wrote:

[Cross-posted to sci.math, should I get lucky.
  Please set follow-ups appropriately.]

Multi-sorted categories?
<https://math.stackexchange.com/questions/5086900/multi-sorted-categories> >>>>
File under "upside-down is a euphemism".

Reminds me of like 30 years ago and learning about "multivalent" logic.
Then people sort of point at Kleene and Lukasiewicz for that and then
as for Zadeh and the, "fuzzy", logic, though that it's the multi-valent
usually, as with regards to "old-wrapped-as-new" and
"knowing-where-the-food-comes-from".

Aka the necessarily fraudulent and abusive self-apologetics and
mythologies of a system built on just corruption and collusion.

There is food and food.

Yeah they say eating over-processed food is bad.

Indeed, they don't even know 10% of that story.

Not that everyone needs go "raw vegan" or other
sorts extreme and radical and thus perceived illogical
or irrational behavior, which leads to mutual distrust,
yet knowing these things, most people one imagines
would pick an apple, even if needing eat around the worm,
than a pile of sludge guaranteed to make their organs fail.

Oh, guaranteed is guaranteed: a guaranteed shithole.

EOD: I am here for a technical discussion, if any.

-Julio

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.programming

On 08/09/2025 11:35 AM, Julio Di Egidio wrote:

On 09/08/2025 19:47, Ross Finlayson wrote:

On 08/09/2025 10:31 AM, Julio Di Egidio wrote:

On 09/08/2025 19:06, Ross Finlayson wrote:

On 08/09/2025 09:16 AM, Julio Di Egidio wrote:

[Cross-posted to sci.math, should I get lucky.
Please set follow-ups appropriately.]

Multi-sorted categories?
<https://math.stackexchange.com/questions/5086900/multi-sorted-categories>


File under "upside-down is a euphemism".

Reminds me of like 30 years ago and learning about "multivalent" logic. >>>> Then people sort of point at Kleene and Lukasiewicz for that and then
as for Zadeh and the, "fuzzy", logic, though that it's the multi-valent >>>> usually, as with regards to "old-wrapped-as-new" and
"knowing-where-the-food-comes-from".

Aka the necessarily fraudulent and abusive self-apologetics and
mythologies of a system built on just corruption and collusion.

There is food and food.

Yeah they say eating over-processed food is bad.

Indeed, they don't even know 10% of that story.

Not that everyone needs go "raw vegan" or other
sorts extreme and radical and thus perceived illogical
or irrational behavior, which leads to mutual distrust,
yet knowing these things, most people one imagines
would pick an apple, even if needing eat around the worm,
than a pile of sludge guaranteed to make their organs fail.

Oh, guaranteed is guaranteed: a guaranteed shithole.

EOD: I am here for a technical discussion, if any.

-Julio

You'll want then to know of Kleene and Lukasiewicz and their
various formalisms, then about the multi-valent is that actually
the multi-valent has its own various consideration of the more
modern sort or circa late 20'th century, "multi-valent" or "multi-valued".

The other day I thought I found a good deal on some processed food
yet most of it had to be discarded, as it was not food.

Caveat emptor


--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.programming

On 09/08/2025 18:16, Julio Di Egidio wrote:

[Cross-posted to sci.math, should I get lucky.
 Please set follow-ups appropriately.]

Multi-sorted categories? <https://math.stackexchange.com/questions/5086900/multi-sorted-categories>

File under "upside-down is a euphemism".

Here is an interesting one:
J Carette, "What I learned from formalizing
Category Theory in Agda" (2022)
<https://www.youtube.com/watch?v=VQiQtH47pbM>
File under: The devil is in the details.

So, after ~5 years (intermittently, I didn't get any grant for
this) of trying to get "the point of (mathematical) categories",
not to mention some application to (real) software design in
particular, I am coming to the following conclusion:

Category theory is an informal mathematical language made of
a zoo of special definitions that, when you try and actually
formalise it, you discover that it boils down to nothing but
"structures and structure preserving maps modulo equivalence",
and really *whatever* you like and need at that.

Category theory (once fixed *a* dictionary) might even be the
best language we have for structural (mathematical) reasoning,
maybe. But at this point I'd contend it is a hallucination
that it can be a *foundation* of mathematics: we cannot even
get started unless already available are notions such as
"equivalence", "collection", "morphism"... and indeed the
notion of (mathematical) "structure" itself.

(No? Feel free to chime in and even just "prove me wrong",
though you'll excuse me if I won't be holding my breath.)

-Julio

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.programming

On 11/08/2025 15:33, Julio Di Egidio wrote:

On 09/08/2025 18:16, Julio Di Egidio wrote:

[Cross-posted to sci.math, should I get lucky.
  Please set follow-ups appropriately.]

Multi-sorted categories?
<https://math.stackexchange.com/questions/5086900/multi-sorted-categories> >>
File under "upside-down is a euphemism".

Here is an interesting one:
J Carette, "What I learned from formalizing
Category Theory in Agda" (2022)
<https://www.youtube.com/watch?v=VQiQtH47pbM>
File under: The devil is in the details.

So, after ~5 years (intermittently, I didn't get any grant for
this) of trying to get "the point of (mathematical) categories",
not to mention some application to (real) software design in
particular, I am coming to the following conclusion:

Category theory is an informal mathematical language made of
a zoo of special definitions that, when you try and actually
formalise it, you discover that it boils down to nothing but
"structures and structure preserving maps modulo equivalence",
and really *whatever* you like and need at that.

Category theory (once fixed *a* dictionary) might even be the
best language we have for structural (mathematical) reasoning,
maybe.  But at this point I'd contend it is a hallucination
that it can be a *foundation* of mathematics: we cannot even
get started unless already available are notions such as
"equivalence", "collection", "morphism"... and indeed the
notion of (mathematical) "structure" itself.

(No?  Feel free to chime in and even just "prove me wrong",
though you'll excuse me if I won't be holding my breath.)

And I had posted an adapted version of that as an answer on SE,
but of course downvoting me is not enough, you fucking frauds...

-Julio

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.programming

On 8/9/25 12:16 PM, Julio Di Egidio wrote:

[Cross-posted to sci.math, should I get lucky.
 Please set follow-ups appropriately.]

Multi-sorted categories? <https://math.stackexchange.com/questions/5086900/multi-sorted-categories>

File under "upside-down is a euphemism".

-Julio

Back in ancient times I managed to write
a function for a PICK-based MV database
that could quickly sort on kind of an
infinite number of fields - recursive.

Limit - 640kb of mem.

NOT sure I have a copy of that alas ...
but I could look .......
--- Synchronet 3.21a-Linux NewsLink 1.2