From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=DATE_IN_PAST_12_24, RCVD_IN_MSPIKE_H2 autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 24609 invoked from network); 1 Feb 2023 20:40:06 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 1 Feb 2023 20:40:06 -0000 Received: from rr.mta.ca ([198.164.44.159]:40806) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pNJtg-0001GS-2E; Wed, 01 Feb 2023 16:40:00 -0400 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pNJsL-0006SH-Mq for categories-list@rr.mta.ca; Wed, 01 Feb 2023 16:38:37 -0400 MIME-Version: 1.0 References: In-Reply-To: From: Vaughan Pratt Date: Tue, 31 Jan 2023 23:16:22 -0800 Subject: categories: Re: Sheaves as a localisation of separated presheaves To: Richard Garner CC: Content-Type: text/plain; charset="UTF-8" Precedence: bulk Reply-To: Vaughan Pratt Message-Id: " I realise I am basically talking to myself at this point but figure I should try to set the record straight!" Me too. But what I love are the ever so sparse instances of evidence to the contrary that come from unexpected quarters... ;) A big part of the problem is that there are fewer concepts than there are words for them. Unless you know every word for any given concept, you may not realize that someone is agreeing with you. Vaughan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]