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

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

Cross-posted to 2 groups.

Show all headers | View raw

[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 to comp.programming | Previous | Next — 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