Martin Escardo (martinescardo@mathstodon.xyz)'s status on Sunday, 29-Dec-2024 04:25:26 JST

@julesh And who is going to maintain the code for 10-20 years in that case? The category theorists?

I joined the categories mailing list 30+ years ago. At some point it was very active. It isn't any more. But it still exists and still runs, and somebody maintains the archives (and I have all emails from then on in a private folder).