Re: Multi-sorted categories? (Upside-down is a euphemism.)

From	Julio Di Egidio <julio@diegidio.name>
Newsgroups	sci.math, comp.programming
Subject	Re: Multi-sorted categories? (Upside-down is a euphemism.)
Date	2025-08-09 19:31 +0200
Organization	A noiseless patient Spider
Message-ID	<10780kv$18t2c$1@dont-email.me> (permalink)
References	<1077s87$18o5t$1@dont-email.me> <f_mcnSEcnJ22HQr1nZ2dnZfqn_ednZ2d@giganews.com>

Cross-posted to 2 groups.

Show all headers | View raw

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

Back to comp.programming | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Multi-sorted categories? (Upside-down is a euphemism.) Julio Di Egidio <julio@diegidio.name> - 2025-08-09 18:16 +0200
  Re: Multi-sorted categories? (Upside-down is a euphemism.) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-08-09 10:06 -0700
    Re: Multi-sorted categories? (Upside-down is a euphemism.) Julio Di Egidio <julio@diegidio.name> - 2025-08-09 19:31 +0200
      Re: Multi-sorted categories? (Upside-down is a euphemism.) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-08-09 10:47 -0700
        Re: Multi-sorted categories? (Upside-down is a euphemism.) Julio Di Egidio <julio@diegidio.name> - 2025-08-09 20:35 +0200
          Re: Multi-sorted categories? (Upside-down is a euphemism.) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-08-09 19:21 -0700
  Re: Multi-sorted categories? (Upside-down is a euphemism.) Julio Di Egidio <julio@diegidio.name> - 2025-08-11 15:33 +0200
    Re: Multi-sorted categories? (Upside-down is a euphemism.) Julio Di Egidio <julio@diegidio.name> - 2025-08-12 20:18 +0200
  Re: Multi-sorted categories? (Upside-down is a euphemism.) c186282 <c186282@nnada.net> - 2025-08-15 03:41 -0400
    Re: Multi-sorted categories? (Upside-down is a euphemism.) Julio Di Egidio <julio@diegidio.name> - 2025-08-15 12:50 +0200

csiph-web