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=1.8 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_INVALID,DKIM_SIGNED,FREEMAIL_FROM,HTML_MESSAGE,KHOP_HELO_FCRDNS, NML_ADSP_CUSTOM_MED autolearn=no autolearn_force=no version=3.4.4 Received: from SY2PR01CU004.outbound.protection.outlook.com (mail-australiaeastazlp17011028.outbound.protection.outlook.com [40.93.136.28]) by inbox.vuxu.org (Postfix) with ESMTP id A52C52EC63 for ; Mon, 21 Oct 2024 10:43:22 +0200 (CEST) Received: from SmtpServer.Submit by SY4PR01MB5466 with Microsoft SMTP Server id 15.20.8069.28; Mon, 21 Oct 2024 08:43:20 +0000 Received: from SY4PR01MB7139.ausprd01.prod.outlook.com (2603:10c6:10:146::6) by SY4PR01MB5466.ausprd01.prod.outlook.com (2603:10c6:10:fa::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8069.28; Mon, 21 Oct 2024 08:43:14 +0000 Received: from MEAPR01MB4486.ausprd01.prod.outlook.com (2603:10c6:220:3e::20) by SY4PR01MB7139.ausprd01.prod.outlook.com (2603:10c6:10:146::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8069.28; Mon, 21 Oct 2024 08:43:09 +0000 Received: from MEAPR01MB4486.ausprd01.prod.outlook.com ([fe80::a3d9:56a7:20df:9d95]) by MEAPR01MB4486.ausprd01.prod.outlook.com ([fe80::a3d9:56a7:20df:9d95%4]) with mapi id 15.20.8069.027; Mon, 21 Oct 2024 08:43:09 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=t3OPrEh4GxQFSsrIXcyTd3Vy6Oxmvudu8oEa0PZiscSXYpEP9deIBu576XLbawAjDusRoWFxZhfiU+oJEDqHPmG1yzfvDaZ29fqcp1JhCV2bSP9TflXfarAIq1UjHikgGDK50E/jSMdJP8COZkr26kIPHkzJPf1D27kdQb5SMpJBZ88XpTAOx/WMJo6EeYctw77XTNsje+7IM7rne0Wag6pJ6HMHuCy5dMe80wiVi0KMce5UdfTXN0pyOV4EbcHnvKEO9iWvqLVL3QQ2f6UD5+siVLtsy+GS0wqSh+fdNg4P/dWomWJW/Aes3s1dYotdQI9gGTEqEddfM/uNv3hbKg== 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=+e4/qM3iVX+5DImXuTatzC6sk0TOut22yexEslywRSc=; b=eotB5wOz9kjmiLmkMkxSyA9oT1HtH35aFVilzr8ExMYGTNEO7o6TzJmvNqYwf7TBNa6HfKyJH4kcZcMB85DS5k9F4RelkolXgIoKtDM7eiVAJJWcSodegbuTJj7N0vRJLDdlOEdhZ+Qxo/xt94BA64kWvf5eFQOrwVgXqH2bkH9huxPvdkxAS2Ex+aKuqQ32OXElRFOms8Z8B/8z+PoD0sJJtLaXVMwnhFRbajedEj9/v2eUrZ0vTgy+/kBtOMKbefeCVjDKGgAHf1rk1wBRMtM0FrKFlo35D/zHG44KPOgJ7WA+J0s3qumTGzpE73/emyffWnopcmrDmzSrZ9oI6g== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.218.51) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from MEWPR01CA0241.ausprd01.prod.outlook.com (2603:10c6:220:1ef::17) by ME3PR01MB6659.ausprd01.prod.outlook.com (2603:10c6:220:124::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8069.28; Mon, 21 Oct 2024 06:56:16 +0000 Received: from ML1PEPF00011308.ausprd01.prod.outlook.com (2603:10c6:220:1ef:cafe::54) by MEWPR01CA0241.outlook.office365.com (2603:10c6:220:1ef::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8069.28 via Frontend Transport; Mon, 21 Oct 2024 06:56:16 +0000 Authentication-Results: spf=pass (sender IP is 209.85.218.51) smtp.mailfrom=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com;dmarc=pass action=none header.from=gmail.com; Received-SPF: Pass (protection.outlook.com: domain of gmail.com designates 209.85.218.51 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.218.51; helo=mail-ej1-f51.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by ML1PEPF00011308.mail.protection.outlook.com (10.167.241.85) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.8093.14 via Frontend Transport; Mon, 21 Oct 2024 06:56:16 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1729493776; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references:dkim-signature; bh=+e4/qM3iVX+5DImXuTatzC6sk0TOut22yexEslywRSc=; b=act64B5Fq9TPeZzRclKWwLXE81hANjR1LQsZ97l8BZxnr+9WfN6hS+LtO0OhDaj/v1NQjQ UuIngYM90ccjH5H/FOYJdV5tCxue+qVllvsw1W6aVVIx4c6VWmTlOEGLGOVkkUBnXq3gWy +OGgRFpeS11RuXmbYZ7ZOZu9CJxTLACSEZEog6s0ikMkI2WLZ45yH4/A9uVAzRN4vUdhRN 5z/lkB+Rcq7cVtj2PN9gSRdEq/KoDbTPkUq3E4G3GwtuvswuIoYb4WEYZIlOV8ji2ydFUZ uPJ+0pCwQDOc+OltVvSlvGg5sZNgZwIfgz+CbkqRqFan0WTr/+q8n56NNKcEzA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1729493776; a=rsa-sha256; cv=none; b=PhKTM+sGUXqRBmiU2HGyByNiYGRi9fpXnshZUpI+oNKEtHz0cUHxtnARg26JlqX3uuhvc7 d08yQ8QHR/xUN99kYBqT/BysDU6n0rkC7wETrWPJt/ad3qsIhTHybTltgN60K0wWxWjWgH q1OaLGHvfeGoKsc3OOjPzc4rIoE/YvqiYfJMb5zqN+F/EFda2UnVDqHDsiniA01qPNtkPc UXwWVRvWlyOkkRBwYu8YsohZehcgebRC4+UXPwA3MhvKFeLixj0755LUf6EYut9a1CAbZ6 r2WMQM+6M6hjSlwO7zzW+oyC//C3M3bsLtgtGTc8tNHStIuJF+aZfqOneWm2Bg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=mri9IR1e; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of tozkanli2023@gmail.com designates 209.85.218.51 as permitted sender) smtp.mailfrom=tozkanli2023@gmail.com Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=mri9IR1e; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of tozkanli2023@gmail.com designates 209.85.218.51 as permitted sender) smtp.mailfrom=tozkanli2023@gmail.com Received: from mail-ej1-f51.google.com (mail-ej1-f51.google.com [209.85.218.51]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-10-yYW5AeZMMI6puCOsEZKt7w-1; Mon, 21 Oct 2024 17:56:14 +1100 X-MC-Unique: yYW5AeZMMI6puCOsEZKt7w-1 Received: by mail-ej1-f51.google.com with SMTP id a640c23a62f3a-a9a0cee600aso518656966b.1 for ; Sun, 20 Oct 2024 23:56:13 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1729493771; x=1730098571; darn=mq.edu.au; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=H8mwQXTEGsPMJ7TD6rTR9uhoLj5lAXq1aeBfPoMAO7U=; b=mri9IR1eJfC56sSdvEksJqPOgYgek0lSxlVafwF5r6H3NhHRg1dGTYLLLYr/JRwRuU us5GmlEmHtHvCQ6ctydHwPfhm1Ma6rbJUF5TymrRCO7QPPsfz5J8pzd1JlB2bAIE/4gl P62bCExNleZBUQdJTZjZu6USpWTOdNk6u4Cu1gV3xRsuESW64mJsM6xzXZtPxyXWmUIP 2x3LFLW5an+HiF0QXEQIM9Hs7COyQhaiXUZc94hbL44AYnzglJA2pfBtQAyWWHCUsuQg heVwVjSFxfC0ZbG9KGYq86FLtmPCJUqiFqN0UrDKqhulmDS45auJ+9w++Uxdskg/irDa 5pjg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1729493771; x=1730098571; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=H8mwQXTEGsPMJ7TD6rTR9uhoLj5lAXq1aeBfPoMAO7U=; b=tmw02Uvi+44NgfrC9GjFugcAsy3p8E75LGhiyLB7Ku+DsiFR73rv1WK+pAlNyMo39U /IOW9jMoS1oI0hnCUQNu0nEkqSjPP4ZOHxzr7JiJ1LAZGTMDT/uxLPGSlj4j4tUGdD0C 8WVx8Ty2u4iPqAuDlRSZqtZBuh1zJygldlAHSQaZWpnEddtX3EDbOoAyFZjVraSmSsMm iZkU2MwPLxyhP6teKiw7gotyL1ujFWNQEjC6iUr9bOntbQf/AbtwuB8kvNr22u83o81N NwQk2HZbbeCKoUUS1GrJL85PfGYwx0PwtsyCgz1SodNQ1UR55IUfl4gRakS+GFyx5W2J PEBQ== X-Gm-Message-State: AOJu0Yyxd0sUgBSOWMg5P07QAfTtryYYu3AHUNEXQyAz2HV3A5nCTVI/ L7djS6K9RyzSlX3aSfuQv9NhjRqEngD6O3vCEh4Wg6yw47g9agk15pIEm8f7rolhdc+Lt6Jy8G/ sNidJVQHfAFvytgKc500gmDcfdMA= X-Google-Smtp-Source: AGHT+IGS9dx/wRdnTJWCIhfJkmxG6oNF71ZqqlcUw3XBJ5pFCdLKzXqYuYwX9CHDCAzk7D+AZmqN11y8LnrKAie/obA= X-Received: by 2002:a17:907:72cf:b0:a9a:67aa:31f5 with SMTP id a640c23a62f3a-a9a699692a1mr874458666b.10.1729493770670; Sun, 20 Oct 2024 23:56:10 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: =?UTF-8?Q?Tarik_=C3=96ZKANLI?= Date: Mon, 21 Oct 2024 09:55:59 +0300 Message-ID: Subject: Re: SmallCats.info To: Jamie Vicary CC: categories@mq.edu.au X-Mimecast-Spam-Score: -3 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="000000000000d79b270624f725e3" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.218.51];domain=mail-ej1-f51.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.218.51];domain=mail-ej1-f51.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ML1PEPF00011308:EE_|ME3PR01MB6659:EE_|SY4PR01MB7139:EE_|SY4PR01MB5466:EE_ X-MS-Office365-Filtering-Correlation-Id: 4fa8e1c9-67c5-4a7c-406f-08dcf19d75e0 X-Moderation-Data: 10/21/2024 8:43:08 AM 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: 4fa8e1c9-67c5-4a7c-406f-08dcf19d75e0 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ML1PEPF00011308.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 21 Oct 2024 08:43:09.6890 (UTC) X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB5466 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 --000000000000d79b270624f725e3 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable It seems this project is inactive: https://github.com/diracdeltafunk/SmallCategories-site On Sat, 19 Oct 2024 at 00:09, Jamie Vicary > wrote: 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 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 --000000000000d79b270624f725e3 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On Sat, 19 Oct 2024 at 00:09, Jamie V= icary <jamie.vicary@cl.cam.= ac.uk> wrote:
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.
 
V= iew group files=    |   Leave group   |   Learn more about Microsoft 365 Groups
 
 
 
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
 
--000000000000d79b270624f725e3--