From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <> X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=DKIM_INVALID,DKIM_SIGNED, HTML_MESSAGE,KHOP_HELO_FCRDNS autolearn=no autolearn_force=no version=3.4.4 Received: from SY2PR01CU004.outbound.protection.outlook.com (mail-australiaeastazlp17011029.outbound.protection.outlook.com [40.93.136.29]) by inbox.vuxu.org (Postfix) with ESMTP id C85DE2E7D0 for ; Fri, 18 Oct 2024 23:09:46 +0200 (CEST) Received: from SmtpServer.Submit by SY7PR01MB8609 with Microsoft SMTP Server id 15.20.8069.23; Fri, 18 Oct 2024 21:09:38 +0000 Received: from SY0PR01MB9344.ausprd01.prod.outlook.com (2603:10c6:10:254::13) by SY7PR01MB8609.ausprd01.prod.outlook.com (2603:10c6:10:21e::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8069.23; Fri, 18 Oct 2024 21:09:31 +0000 Received: from ME3PR01MB7079.ausprd01.prod.outlook.com (2603:10c6:220:16c::8) by SY0PR01MB9344.ausprd01.prod.outlook.com (2603:10c6:10:254::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8069.23; Fri, 18 Oct 2024 21:09:27 +0000 Received: from ME3PR01MB7079.ausprd01.prod.outlook.com ([fe80::7f0b:993f:4754:42e0]) by ME3PR01MB7079.ausprd01.prod.outlook.com ([fe80::7f0b:993f:4754:42e0%6]) with mapi id 15.20.8069.024; Fri, 18 Oct 2024 21:09:27 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=b+yjUhMbr1aIjQyp1IV9RKZ6ovDCeFi9BORexegDxI3zdessSZrFIJ0KY72pFP7eTHuJa/SgzIUGs1NBdewofJQf5Nkj36MqQmu7SiKWGJVM0U26cx047VtF+Vk50T4E7sYtXSe7auf61wPAHyh3PVZkGtNsPA8hDVAyql3fzXIIDtEXD2nDXFGO1JhjzpABr7AwUGSyrpZuCuj6/07MIg5fqd/AC2jTuD9qScd1FoYeTJxEQ4k9AIKLHlTtzvCvgUTsucBKfxw2ZnAdktSjbgz/yu6rhgbXeHA3gnYXWH6zINXFWVLL1ZrIJ883eJASEL69f1jbH1Yrr+5v8HE+EQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=iuewgS4h/+hCkWKJuQeXhlhmVrNfG5rXjDkU86LW6xA=; b=bepAU1/WSWtXxeHa5QjH85bnpVMHpKAnb33kAELe7d48FmyBfixplFxeZMfRV/Jz46rK8VRMmFr2vKWta494CBlrYuzcndcfAeke24MbsVNlx9Jgiodjn1BLLgU9QGFwY/q6N+CVk8eiZpsE8ULvV8aXP69obE4nXaD7ggIIQzA0/c3n7PeG/taZTaFYq3k+PXm0dk3v3hZASp4e61x6cAo6W7bgEeF8rhfam5fqiJlIvL57xRK/1gw+q8HVlJBK6nex+d+g2m9l2DCOpHCtoQxBDAsSbuvP8ERaDMIXaDt6c7h28v+4y1MAC0DEtGVaSc0cOG2+xImnKo0BX6W8cA== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 128.232.25.23) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cl.cam.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=cl.cam.ac.uk; dkim=fail (no key for signature) header.d=cl.cam.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from SY6PR01CA0133.ausprd01.prod.outlook.com (2603:10c6:10:1b9::13) by ME3PR01MB8376.ausprd01.prod.outlook.com (2603:10c6:220:188::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8069.26; Fri, 18 Oct 2024 19:28:28 +0000 Received: from SY1PEPF00005A3E.ausprd01.prod.outlook.com (2603:10c6:10:1b9:cafe::ee) by SY6PR01CA0133.outlook.office365.com (2603:10c6:10:1b9::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8069.24 via Frontend Transport; Fri, 18 Oct 2024 19:28:28 +0000 Authentication-Results: spf=pass (sender IP is 128.232.25.23) smtp.mailfrom=cl.cam.ac.uk; dkim=fail (no key for signature) header.d=cl.cam.ac.uk;dmarc=pass action=none header.from=cl.cam.ac.uk; Received-SPF: Pass (protection.outlook.com: domain of cl.cam.ac.uk designates 128.232.25.23 as permitted sender) receiver=protection.outlook.com; client-ip=128.232.25.23; helo=mta3.cl.cam.ac.uk; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY1PEPF00005A3E.mail.protection.outlook.com (10.167.241.37) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8069.17 via Frontend Transport; Fri, 18 Oct 2024 19:28:26 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1729279705; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=iuewgS4h/+hCkWKJuQeXhlhmVrNfG5rXjDkU86LW6xA=; b=PXjZ9cDcBM8SfiVx5NkMh1fMDy/eYzO/SCSYoR2h7CLw7xKIldpL0hYBXT7Sqrpql1ngag /c/v47ZlnJ9adv71WcZ5gQ1XJGp6kZ5CKyY71uZDG8HvgQYz+k5/OoTzdUygDUiCOvvqkC 70oSuIKwsoWqwEzUUa+nfnkN4SSzhy79SMV9rVOp8mDDFosT9vMz7wiOFOBxGde6Qsjadi q5uXHt161mQzehLeJxKBf/Hkhw1FgQjMxkwK6KUfd+6vxs8u6HMjiNQJ9OppEclq/w14w7 ZD4K8xiZWK+XTGsNr5V0BX2b7Tg7Zfle8uuhiod4SSRy9JQKKTyex9ZstZ7Auw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1729279705; a=rsa-sha256; cv=none; b=cg25w8euR7O7SdQBcJxgYhsplEJYXofI9jruKUxsFp+xARWYaWIKwdqFnPc1W3OHPw1Wxs HNcUgmlU04ya7FJaiWyuvVohBSY90s2hEs3IRjdwelOC9DoOfOwYCqTjnjFpYmSowQeLjS t3owhNTWM9aGflt/IpgM/pY36ISBl81JMMA/YXOjOb4i6hcgn0pYL0a28dsqN/ttPSZF5A fBULWz8dqBeQ1YCpAcJIIIgnWWu4WC90/Jeym+kycabvkm8KJAY3x5hi4BSp7I1U5U+Qxt +nIpevD/9TK7CAPcdlJ8Y9xS3FOxRCQVIFwJCQFiHWLN7wuw21/Z445j5Eozrw== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=cl.cam.ac.uk header.s=mta3 header.b=gwayCc8I; dmarc=pass (policy=none) header.from=cl.cam.ac.uk; spf=pass (relay.mimecast.com: domain of jamie.vicary@cl.cam.ac.uk designates 128.232.25.23 as permitted sender) smtp.mailfrom=jamie.vicary@cl.cam.ac.uk Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=cl.cam.ac.uk header.s=mta3 header.b=gwayCc8I; dmarc=pass (policy=none) header.from=cl.cam.ac.uk; spf=pass (relay.mimecast.com: domain of jamie.vicary@cl.cam.ac.uk designates 128.232.25.23 as permitted sender) smtp.mailfrom=jamie.vicary@cl.cam.ac.uk Received: from mta3.cl.cam.ac.uk (mta3.cl.cam.ac.uk [128.232.25.23]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-80-yHIkPZ8zO-yopKDM3tRSBw-1; Sat, 19 Oct 2024 06:28:20 +1100 X-MC-Unique: yHIkPZ8zO-yopKDM3tRSBw-1 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=cl.cam.ac.uk; s=mta3; h=Content-Type:To:Subject:Message-ID:Date:From: MIME-Version:Sender:Reply-To:Cc:Content-Transfer-Encoding:Content-ID: Content-Description:Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc :Resent-Message-ID:In-Reply-To:References:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=jt7tVfdnAdCChVKPgb9hL0Uu7vvrW7/REgTlKgfIdxA=; t=1729279700; x=1730143700; b=gwayCc8I+Llsdr6LJ2uq2JZv9C/wdL0+I0A7uT8pE7FUqSJ5yXvxjwZ2bFZRl8ZjA+Zp7CY56rm VdADbLLt9Aoi27VbI71aR6gSEn7cXeEORfzgW0oHbL9+yg/+Ym31MDfIvmmglcW8joSvr/HHaVNKz jThHuJ42n02ReBLcSX2Ezl0tfdSTnfSFH5dfa5ilfPZLfigsxZRIEloVhjvIxeYZAdqraW7MVyVi4 YZVbThXrJ1l6Qc+ReEbunsDuykLbiDckzUXG7zdVhrufpywvn3ocP601gIbmjsmKLjhg0bcUhq9JC YdthXnyvHhnFMbRWfTCF3RGcPFhBHpljdGvw== Received: from mail-qv1-f50.google.com ([209.85.219.50]:44536) (dnseec=no) by mta3.cl.cam.ac.uk:587 [128.232.25.23] with esmtpsa auth as jv258+gmailsmtp (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.95) id 1t1sWf-000Yv7-Qt (envelope-from ) for categories@mq.edu.au; Fri, 18 Oct 2024 20:20:41 +0100 Received: by mail-qv1-f50.google.com with SMTP id 6a1803df08f44-6cbe53a68b5so13235036d6.1 for ; Fri, 18 Oct 2024 12:20:30 -0700 (PDT) X-Gm-Message-State: AOJu0YxDd076G4aAI1DPsH1h2VujGl6T29eStlJQ8bJS9IC+9yTmRb01 4ibrNQ+cAK7Lpda89PDIQAIGqaK5sB8I0gFXBayW7/j4OM0QMAtYOXxNiSWKFaSZ6NDQ1bLLRRh 37uB2Nll6rjf+F73cT0xx0Vdzd/k= X-Google-Smtp-Source: AGHT+IG+Jm2NHa+yXoTm51PvGujsD5LOpvWxClTyOW6QpFgZBIm4LgxSdKyX2OoKemlCBhoPB0fMMDt/Eq+HYKV0LbA= X-Received: by 2002:a05:6214:4b0d:b0:6cc:23a5:b00a with SMTP id 6a1803df08f44-6cde15ec0b3mr51316486d6.40.1729279230038; Fri, 18 Oct 2024 12:20:30 -0700 (PDT) MIME-Version: 1.0 From: Jamie Vicary Date: Fri, 18 Oct 2024 20:20:14 +0100 X-Gmail-Original-Message-ID: Message-ID: Subject: SmallCats.info To: categories@mq.edu.au X-cl-SRS: categories@mq.edu.au vs categories@mq.edu.au X-Mimecast-Spam-Score: 0 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="00000000000039616a0624c53294" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[128.232.25.23];domain=mta3.cl.cam.ac.uk X-MS-Exchange-ExternalOriginalInternetSender: ip=[128.232.25.23];domain=mta3.cl.cam.ac.uk X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY1PEPF00005A3E:EE_|ME3PR01MB8376:EE_|SY0PR01MB9344:EE_|SY7PR01MB8609:EE_ X-MS-Office365-Filtering-Correlation-Id: 07ebad02-916f-4621-b3c3-08dcefab09c6 X-Moderation-Data: 10/18/2024 9:09:24 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 07ebad02-916f-4621-b3c3-08dcefab09c6 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY1PEPF00005A3E.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 18 Oct 2024 21:09:27.7561 (UTC) X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY7PR01MB8609 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-OriginatorOrg: mq.edu.au --00000000000039616a0624c53294 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Hi, Perhaps not as well known as it should be, http://smallcats.info is a beautiful website that hosts a database of all finite categorie= s with up to 7 morphisms. Many properties are pre-computed and searchable (= is_connected, is_groupoid, has_equalizers, etc). I think this is very nice work and opens up some exciting possibilities. Best wishes, Jamie You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --00000000000039616a0624c53294 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi,

Perhaps not as well known as it should be, http://smallcats.info is a beautiful website that hosts a database of a= ll finite categories with up to 7 morphisms. Many properties are pre-comput= ed and searchable (is_connected, is_groupoid, has_equalizers, etc).

I think this is very nice work and opens up some exciting possibilities.

Best wishes,
Jamie

 
 
You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--00000000000039616a0624c53294--