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.4 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from SY2PR01CU004.outbound.protection.outlook.com (mail-australiaeastazhn15011005.outbound.protection.outlook.com [52.102.200.5]) by inbox.vuxu.org (Postfix) with ESMTP id 6E85D21345 for ; Fri, 22 Mar 2024 10:55:38 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=euPsK5XCa/Wag04q/4mICnO+KweejMHDYs9Pv37DX2LQY3D7yGJf6ZZpTYxWMztLBSKQLYnwZw39njLobM3naH3+nITRXqI5lfCH1jy9Su7UiRnvccQ0X8Ue/HW2jRA1EF+QBBwc/AMp7H0IEFE4WRFnHZKae5KwTwbS6BcDGd8gRfX9j+9KD+UwlJHbU1a5ZHmy5hMYNshrjBDtrS0RlppiKxa/eFUVDb5oRzDx/BEKRqQXflZU0kPnN60LDnpEckcB3OY7T3y6vZXG5EFC8Qptw7n2ldtS4ufvRPJ3n+c9ZDskAUtLf1w7l9LsCPFBhHguUmOzR38vLLP2C7akBw== ARC-Message-Signature: i=4; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; 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=byLCrxCZLNlAgqh3xYuazNM6TuvCS6FguiHAFNBSsJQ=; b=e5DujIbaIwAxAYor/P8RBpEVhJ3HxX3bp1nSEPMNFdikxtBZDYNaKAyEnE+dQOKi8S2PQSqa+jX1HovhHBa82hkic5NyTKJTxh55XQfRWdPoqtRTKnsuTBRQnvZ3ADSRDRjbY2pnOruGAd7m+P7WTyK57sRRofRsL7OvzBcaCVODIqcFuAbB3COLLzLsrdV8azAy3YLkfh2EUL0XFT5oeoitXVvuM3pH6Bd4H1pQPrnjUCHrW+9axPSUQsK4IU9JKeZNNYpi/3UcLUfNbCV0/9tSA8LRLdBg2npL8c89rgLMNQhJDstVtFLGjdKv4et61IsG9LrotTWAF0auQjNkww== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 131.114.142.96) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=unipi.it; dmarc=pass (p=none sp=none pct=100) action=none header.from=unipi.it; dkim=fail (body hash did not verify) header.d=unipi.it; arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=byLCrxCZLNlAgqh3xYuazNM6TuvCS6FguiHAFNBSsJQ=; b=pvHqgNQplxLo5omPWZUCh8pQ0LJVuVDDUTrddO5J0nS6ari1duo2a6mUhIrDnc4iyTLYnnMgy4Cxn33PfUFj2u18sf3vmI59JW9OT7aTWh3Ix8fWRQOMpVkxiH/j8RxUkDk/Nl4KgDQyrVl60YXgU7v/AviGyT+aBK75qBFZdF9B/nKRmU7lwX8fPq2PfSGmJXQC6gbb4NVdHZbEjyY/UCWT4fHrj0ZoDk0uguTkBMpSLtVwRnMDPPU4G/96PMxA7jsxlP3OeoqHCeniIdGrDcIjFh82Tpr8yr+50Wt3mDs04oNVB4wXqk+H0Eg2jnKlCLKBdb3GutNJEKZL7NFsYQ== Received: from SmtpServer.Submit by MEYPR01MB6741 with Microsoft SMTP Server id 15.20.7409.24; Fri, 22 Mar 2024 09:55:35 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Z0vZy620Xcsss9MrLmRIElVGb4Vev7mwVQjyiRyewvrE+6qw0K/ZBl7ptp70KPHWG1JMRHEIKv4QL09WOW3JwdZ11kQqx0MolvDnJKGfiBHLEZOkn1ez9C/ppcwIXFb5+jOlJKsuBJhgj+l78/hZzm4a0t/+1SqduGai5Em6Cs428l3WO88U3KXnDchgKzDX/0zs3NcaQrq2jxzVIkD3j5rplRtxGQhSbKN5X0twblRNx5y9tCRVXGYEq2P4yJMgtchxWxwEnMHHY1iXEzXw8ao6phRyoKXLKmxv6tKMuJ3oyXNPAC0GkkN4ZKS50ywpQLec/43L6O6QacBeDA24QQ== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; 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=X0UGiHSjqXxHMHqPM5BoYGYhP4rU3vfcIEI+2g3ntjo=; b=bo/PjfF3g3/W0trUakHSATwbJj8+fnR/dGE3deFJeJe+Zs5dNEHQHuA6xOdTkCxw0E2/4GFeLYXOoFizrzgYKB74w6Z9Qcd7PGCZbnI5bpOAy4tF5N+Ii4mVPJAbfsAe7LCyOiEiBGzOTAliuiaJp5pbjDXvOhQSTHuIX8hGZuTW7cFahzPnL0zPCN7oa0Qo90NYWukQSUfievO7ZvVXi+FzCL7PZJPEpzhRx9A8SfBJYybaHxMZzWmuaeNl2kf0DouYA7va4PFV65Na765u5tjpeFXod0Xsv0kwNlILytPV/NPKKN/8sGGHC9Ahcx2VjbLQQNKoeN6R5isShj8/tg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 131.114.142.96) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=unipi.it; dmarc=pass (p=none sp=none pct=100) action=none header.from=unipi.it; dkim=fail (body hash did not verify) header.d=unipi.it; arc=pass (0 oda=0 ltdi=0 93) Received: from SY4PR01MB8103.ausprd01.prod.outlook.com (2603:10c6:10:19d::8) by MEYPR01MB6741.ausprd01.prod.outlook.com (2603:10c6:220:12c::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.24; Fri, 22 Mar 2024 09:55:27 +0000 Received: from MEAPR01MB5192.ausprd01.prod.outlook.com (2603:10c6:220:61::15) by SY4PR01MB8103.ausprd01.prod.outlook.com (2603:10c6:10:19d::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.34; Fri, 22 Mar 2024 09:55:23 +0000 Received: from MEAPR01MB5192.ausprd01.prod.outlook.com ([fe80::6c0b:b2c4:c1b4:efba]) by MEAPR01MB5192.ausprd01.prod.outlook.com ([fe80::6c0b:b2c4:c1b4:efba%7]) with mapi id 15.20.7386.031; Fri, 22 Mar 2024 09:55:23 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=OvQo/Ex8pg4hjuCFlua7677rTbU8G4OwwuFS1tQllILeMcDj4wEG4RwcUBJWFSrBJJPAJEmt1siGs5spGpzkVNnsCIbWP64afV46wXEkGFJ4h0dOapxQmOIKTwz0m7kYpYLhRrNfWbN5IkiRVcCHlj14SE6tlpLptrjLFXpDpoGtj/GwSdJbpAuyZk/2geqVPS14Is+VZ2Bb7bj3qa2LraiBIUKHyQlbN0WlqKe+uz+qmIAmuv498C7dI47ut418tgg/Vo1GGqwii9JuxLPcL9NmzHwaQP0Qf23ZZAqKJteTwUwWtq7U/02i2Slu0wLSDAnEFYV043Rre/XLgYTG6A== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; 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=X0UGiHSjqXxHMHqPM5BoYGYhP4rU3vfcIEI+2g3ntjo=; b=AeFGo0yjLh6lTatrGxBAV2yDUTA22UfOVDr7NNebf9qwBD4s+GzkMlKp34ccOzsxhIw06uvudE+Xml60Ax7nysVPbBFIEA04oxAItvtkeexV+tVhjyFmXdPXu6z+AU6ZXDS5m5ktVWzxQ99JEBWi9fdswsrbZ5TsN9T4gdk0XLGDXLzFteyIyfeggGNr98KtMj0+5Ccaf3HXXHJbmusnobAe6iWlI04X0xJgDC4F0hizNqO+GvsVpBVWO3+NO0zTcep9WQ0FXNRPN7XehnmSrQiNittaHawp+4FGcRYFrXUqObjtobqudLfvccNN7vlCUVc13DqO+mTvaGw/26pg6g== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 131.114.142.96) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=unipi.it; dmarc=pass (p=none sp=none pct=100) action=none header.from=unipi.it; dkim=fail (body hash did not verify) header.d=unipi.it; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5P300CA0048.AUSP300.PROD.OUTLOOK.COM (2603:10c6:10:1fe::17) by SY8PR01MB9288.ausprd01.prod.outlook.com (2603:10c6:10:22e::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.24; Fri, 22 Mar 2024 09:13:26 +0000 Received: from SY2PEPF00004FF3.ausprd01.prod.outlook.com (2603:10c6:10:1fe:cafe::fe) by SY5P300CA0048.outlook.office365.com (2603:10c6:10:1fe::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.13 via Frontend Transport; Fri, 22 Mar 2024 09:13:26 +0000 Authentication-Results: spf=pass (sender IP is 131.114.142.96) smtp.mailfrom=unipi.it; dkim=fail (body hash did not verify) header.d=unipi.it;dmarc=pass action=none header.from=unipi.it; Received-SPF: Pass (protection.outlook.com: domain of unipi.it designates 131.114.142.96 as permitted sender) receiver=protection.outlook.com; client-ip=131.114.142.96; helo=esraout4.unipi.it; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY2PEPF00004FF3.mail.protection.outlook.com (10.167.241.5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7409.10 via Frontend Transport; Fri, 22 Mar 2024 09:13:26 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1711098805; 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=X0UGiHSjqXxHMHqPM5BoYGYhP4rU3vfcIEI+2g3ntjo=; b=hfMmj8FIqHZqKgWSVfBXqsO9lfDREB5UoDO051O8dc9+O0MDGHbpDw2jM9atDiRScfslLa tI+D4M8ras4dZuwk+F6t0tFpP7sNiu5EVmooQb+4vOJk6+HR2sAXp40bOqSvJus8RfzDtn l2wpFxXuWo5zMtHtUZ09CV3aYuoSM2JBOwImDAsbP1+qDAdLsOfkLCs87tkU3WROnGz2jG dY48M/GFiXOeJeB/NSSaA4/SCt2TV6+pbFxMwgAHBQVrf4RPrz1pW7KSHqY0VClKBVsRBT F+eO/HxxCUTkcR7qGy9vR5W/0ga5QvAdp0EncikFEYnSmHpUmguT/JU/Yy4jUg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1711098805; a=rsa-sha256; cv=none; b=UbzZhqC0gyJtSLD/U4NSsSLbilqa7skNgwnZmwKs2YJdq13/C3y28ycXcf6+Dv1pwkOZ19 6g6HolPhaZNwSi1XgT5tn2Iq1znQTa+ocpKxhXy1cD1TORN83WaJg34ONVszobcxxgBzKm vkgZqDsliPICFTVhQZWPfnPNmYJBZUk7aODpdZOIEb8SikNov5q2UAlSf1JXNfOlAyhKVz mRhjWV3phtJ0lyT/0O/gkkpyMEBGIdkRuJ/bS8aUoQ4mv3Cq3d5XExndG4zrpGSCJnq1ol eW3pC5PcTF4kjPoWilr2kmh/x7Iw8P0B/e83M8rltP1QZl75N/CxQQF4MZQlrg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=unipi.it header.s=dkim20230203 header.b=hdKiMd4o; dmarc=pass (policy=none) header.from=unipi.it; spf=pass (relay.mimecast.com: domain of andrea.corradini@unipi.it designates 131.114.142.96 as permitted sender) smtp.mailfrom=andrea.corradini@unipi.it Received: from esraout4.unipi.it (esraout4.unipi.it [131.114.142.96]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-92-vJS6dni-NXqafJ74ioB1RA-1; Fri, 22 Mar 2024 20:13:15 +1100 X-MC-Unique: vJS6dni-NXqafJ74ioB1RA-1 Received: from esraout4.unipi.it (127.0.0.1) id hvl5qg0171sf for ; Fri, 22 Mar 2024 10:08:09 +0100 (envelope-from ) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=unipi.it; s=dkim20230203; i=@unipi.it; h=Received:Received:Received: Received:MIME-Version:References:In-Reply-To:From:Date: Message-ID:Subject:To:Cc:Content-Type; bh=WcnKz5TLNGz7DjPQ3R+6l1 4ZrT8x0uTAndbdFqDqqsg=; b=hdKiMd4osYv1dcfR3JPgaiMeRKW234XkSHgMp7 XvMjnwq2EJH5owamj3AQ20Grf8Jy6eTA77A6HfQmRrOj/Pjzg6RKvLHEvIeYHCse uto+r+zyEVL0YiHa0P96WvamLEuC2/xNah+cymrFA1Vu2fbtN3V++vji22iOGNKJ CzOamIaq6tGuyOb/22xS0c02Twb8koiVi5Y7lpZEIAQxD5idDEZG3lm0Na+gXHd6 pmhjnSzFrF8MMN02SCVxaoaRG3uKGl2gILxo5i2UpBcgiPqXNf66RtJr2ja6bmS2 rKBbRfQPNfsFUvC3FM30IbyB2DOAWdCa59GPgzNNsi5aOa0g== Received: from smtp.unipi.it ([131.114.21.21]) by esraout4.unipi.it ([192.168.50.47]) (SonicWall 10.0.25.7755) with ESMTP id o202403220908081240054-20; Fri, 22 Mar 2024 10:08:08 +0100 Received: from localhost (localhost [127.0.0.1]) by smtp.unipi.it (Postfix) with ESMTP id A2990810D2 for ; Fri, 22 Mar 2024 10:08:08 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at unipi.it Received: from mail-oo1-f42.google.com (mail-oo1-f42.google.com [209.85.161.42]) (Authenticated User) by smtp.unipi.it (Postfix) with ESMTPSA id 88FE380199 for ; Fri, 22 Mar 2024 10:08:06 +0100 (CET) Received: by mail-oo1-f42.google.com with SMTP id 006d021491bc7-5a46abf093cso1119151eaf.2 for ; Fri, 22 Mar 2024 02:08:06 -0700 (PDT) X-Gm-Message-State: AOJu0Yy5JmiWOpyO4UNRHR2OzhqOqeUDWqxiRmwlGEIjWlUrYgD8u2/y y2Dn59hZpM7GmVEPToJ/zjW5+bCV4bm0siqHBtBJKPuucoLfn5d7d+rcGoESGDPztxub+9zzmeX 7g/MY2fO5B+lXFCSjZhQr2MJUQag= X-Google-Smtp-Source: AGHT+IFScNBgni5uYaPFR1peKOb5ZHSLAd6FqyvGsOpDayMjVDU3ZqCrzOo8bMEiLrlilATGOcM+ekNjdQ8ArHVatsg= X-Received: by 2002:a05:6870:224e:b0:229:7fa8:f4c4 with SMTP id j14-20020a056870224e00b002297fa8f4c4mr1732950oaf.36.1711098485639; Fri, 22 Mar 2024 02:08:05 -0700 (PDT) MIME-Version: 1.0 References: <5e8198006ad348529990101303d33ed5@EX16-02.ad.unipi.it> In-Reply-To: <5e8198006ad348529990101303d33ed5@EX16-02.ad.unipi.it> From: Andrea Corradini Date: Fri, 22 Mar 2024 10:07:53 +0100 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: T-algebras in CAT v. categories in T-alg To: David Yetter CC: Categories mailing list X-Mlf-DSE-Version: 7376 X-Mlf-Rules-Version: s20240315180526; ds20230628172248; di20240321161434; ri20160318003319; fs20240313174141 X-Mlf-Smartnet-Details: 202403220908081240054 X-Mlf-Smartnet-Version: 20210917223710 X-Mlf-Envelope-From: andrea.corradini@unipi.it X-Mlf-CnxnMgmt-Allow: 131.114.21.21 X-Mlf-Version: 10.0.25.7755 X-Mlf-License: BSV_C_AP_T_R X-Mlf-UniqueId: o202403220908081240054 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=unipi.it header.s=dkim20230203 header.b=hdKiMd4o; dmarc=pass (policy=none) header.from=unipi.it; spf=pass (relay.mimecast.com: domain of andrea.corradini@unipi.it designates 131.114.142.96 as permitted sender) smtp.mailfrom=andrea.corradini@unipi.it 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="0000000000006998e306143c2938" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[131.114.142.96];domain=esraout4.unipi.it X-MS-Exchange-ExternalOriginalInternetSender: ip=[131.114.142.96];domain=esraout4.unipi.it X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY2PEPF00004FF3:EE_|SY8PR01MB9288:EE_|SY4PR01MB8103:EE_|MEYPR01MB6741:EE_ X-MS-Office365-Filtering-Correlation-Id: 1a29f26c-a327-48e8-dc39-08dc4a5054d2 X-Moderation-Data: 3/22/2024 9:55:21 AM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: +a3U79ZecXDj9k09cD0WiGUNyHuGXiIln+fJTBUrnHuGxPzbFH83U3ER7WVOiYmbR6muBqYU0yhODN03v0tmQjw8T2DNV8whWfRGbqwW5rq7YO5ezXs1xTHHCumGFBhNsmsApV9Ku0cSNQDmMuKBcDGlzAMXFh/xeJA+ScpOOFtCC6kaBKAbv+XYadx4+JaP+CJ6MFt7aV86RcBz8PBKytsG1hxWenpERY9Cf9UD1EHZ0WFL1Ge98dU7UUF1589nOHZ/7HzF0J4Y5jDuOxka7jzysMFOSiC6yROPCv+VMAgT2ihCt3hF6QmLv2kjEgohTpWAFCraTOWqWz2fldHz5QjbcN3JigYqH3TZgqao0998NI1OtLtbyXl1ANdz9PMm+heXyVSNvBH4FTT65R68l/LgD84/m6EVNjHbfqBZUOnCfmwD2VWmASjcFipdmukDGy+4a0faWtG1cSlLX0xs9McGYoyhnPHgemWecOk+Qf+dul/ATkA/An6TmX4fWDUtjUr0lrmgz1OI+kpEGe7LUhKH67X8wBs6uACBsQgnN8sLRoqxCLs9awdMn8Uv2cohvmCjEv2ElXn0vHPUkerNfjcuKL5Fe4Mj6/NixJSc/tZ42PfW0wBLl04/JbJTmGjqpQMVUaA87oJmSawKbm3bbtF/VsX6Fvbpeq7gdPNDeGDwVCWXSFniYVG0cE6SeoMXhFW+1w3QHHxceQParcZTSuGCQYPFUBpjyqrdsQJWHl9RPvYBUak0wLo/MhZCpJl/2za2kCqTVx1aNFWpm4sJBtsNzxLubBqQk3iNXoAkaWu2UmDqfK2QaFSq/Y6CVbSAsQcSXhNWg4tU37oXij2bGltkiYsAsrcxd0m4qhg8SeAexrkYbwyCtBFFxN5LHsH3 X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:IT;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:esraout4.unipi.it;PTR:esraout4.unipi.it;CAT:NONE;SFS:(13230031)(48200799009)(32650700005)(82310400014)(61400799018)(7416005)(376005)(35950700004)(41110700001)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 1a29f26c-a327-48e8-dc39-08dc4a5054d2 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY2PEPF00004FF3.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 22 Mar 2024 09:55:23.4396 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: EDordG+XSMShbJI16cSO6bsKL3uxhZ29feyiL5sV8qcpEv3vVWZuYs2TvGvda/guN1CJpujEWyvzYgyTdGJxymEO7nOaenFJRYiXhkV6oYGbuqU4000z+Vqbn/8Cn00/uMlNtfiIL22J7vZS4M3M0e5jGcLx3+efjFJnQpVzh0YTFc4edaCmwcXjSPJnWv/eK561rVJf2zuG59tv2Sx3/pyFfjsX0CEB+TNbkmyF2yA= X-MS-Exchange-Transport-CrossTenantHeadersStamped: MEYPR01MB6741 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-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?MFFodCs1aXJ3UXREL3ROUDRLY0g0aUFpQjRpQm1rU3dWOTVZeGgvb212RUgz?= =?utf-8?B?YmgvWGYvRkxjRmErQi9xdWU2bmxWaDl6cDlBSTVQNjh3OGhyaFlqYU1QMEd2?= =?utf-8?B?bWFUVFBhRlpDV0d0SWJMbWs5bE5kNEdRSStpaXorT2ZmWVBIOWFPRlVqa3ZG?= =?utf-8?B?V2lxUUJxRGwwSFU3UHdqdHFieEs1NWovdkN4YSt1b0tUUlN5bFdpWUZVcCtr?= =?utf-8?B?U0tmNmVEM3JmWnViQ09rMTAwWlVwNWI3R3ZsREVyQktBb3V0eHBIZWJjaHF3?= =?utf-8?B?MDI2QzVaNDc4MHZBV1hiYUNlckJnSmhKb3RTQTRMUys0REFlZTZsL0NWSEpy?= =?utf-8?B?QVFVdDVmOC9nRVc4eCtYaktBelVVT1BwL3BIUFhCU3YzMGxGNE5yRVNuanUr?= =?utf-8?B?NGFnL2FEcVBCZWpRUzQ1Q2RrNVJrWGN6eDVBaHpnMm9Zejk2ZDUyelJ2VUZ0?= =?utf-8?B?bHNLaFlDT2dsRnNNNEJML3lXeE9UeXlxdVIwWWg5d0xoV1RoV0pBbnhzcVJI?= =?utf-8?B?TTh3L1lwU0Q2eHUwNEVXV3JZMno5RnoyeUJHV0xmWExXNnlEd0JPRWpFTGpI?= =?utf-8?B?cGpuTUpRSWxYeUhjUGRmME9nMllyUTROYlVOaVc5NlByUkthd3JiOERDMnNE?= =?utf-8?B?cUQwK29MMUl2ODV1S3pvMEZQdFVoMDhtWW1UUjhDcEpETFY1ZXVKaGxqKzVF?= =?utf-8?B?Qy9lRzlTNzFlRGVONXJtNzNmSHg3MDM2d2tlWjdHTlV0dzBqZjdIRTdObm82?= =?utf-8?B?VlR1ZkYyeXc5NlhRT2JPcE05bXRJT1R4K2tZdk1zUWM5WDhKcW5iczdiRDJr?= =?utf-8?B?UVRjdG41OWFzM2ovZTl1U1NWNmcvdlNQb1liUVZOaVZhR0w0ektxek1tSVdU?= =?utf-8?B?NW13Y1hyVExzNUFReU5IRitSNnlDN3J4MFRXMUtlVll2Y2paTUVjN2xkN2x2?= =?utf-8?B?cWY2TVRMaTFvMFlRTlYxYmx5dG5vZUt5UzhMWElMWkgya3JtWm9ESXNKK2cr?= =?utf-8?B?dDErMUlBaFJzZjlvOWpzUGxjb0owb0xFdDlIeENGd2ZubmFwcHpqMlRuRElr?= =?utf-8?B?bk05ZlFvZ3lSVURaYXB5ak1RaUVSMkNpZnk0Tm9yY1hNZmJ2ZHYvdHFBM2Fs?= =?utf-8?B?b1JXVWljdk9EbmNVcmxyL255Q2VCaUsrRkcwZG9ZUnlQZ3U3eTBmQzNyU1cr?= =?utf-8?B?aHREZ0xiaWZEYzFEWUhXRlNTSXp5Tmp6Rm4zYkFpTkcvN1FQMEhlNHBzaS96?= =?utf-8?B?SWFOanhsdkszU2tIYnR0bDl2eXk2UUZoMk1La0crU0tWeHgvSkp0dnRhNTBP?= =?utf-8?B?eGJvcytQZUduaGI2b3lWV01jQmJ5eHZtR0J3TmdGTEZhV3o5dUh2eGRPZTJp?= =?utf-8?B?UFpYWG5QYVVGZnVGMWtaU1BMQU5wZ1ZQcmYwYXFmWGJaQjJaZ3VFcWFCOGt0?= =?utf-8?B?eUVMdnArZ0VGSldsUmlNN2NBRUI0aVFEY2R5TFA1N2xpR0E2ZUVIOTZSVmY4?= =?utf-8?B?cktGaExvRy9xY1BjTEZKUE1jamVqdFY4ajBBRFVHb2czNGxFZDFLZHQrbzky?= =?utf-8?B?WGNPNjNZWUdqcFQwWGdwTFlkekFMMk5lMWY4NGtlS0NHcFJVTE5kYVRrUlRY?= =?utf-8?B?QlB6R2MvbFNhYkx2dkFNNktQcDdPUmxEWnJReSsvRHkwcmtWQnNBZXArbTNo?= =?utf-8?B?NmlROXhQV2ZiL09ocDBuVHowR3o4RUEyRWV2UjFiRFVKR05veWNKKzV2OWdZ?= =?utf-8?Q?iUMJalPuWzsz/I1F8g=3D?= X-OriginatorOrg: mq.edu.au --0000000000006998e306143c2938 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Dear David, The following paper can be relevant: J.W. Gray, The category of sketches as a model for algebraic semantics, Con= temp. Math. 92 (1989) Look at the tensor product in the category of sketches defined in Section 4= . Models of sketch $A \otimes B$ are models of $B$ in the category of models = of $A$, and $\otimes$ is commutative. Best, Andrea Corradini On Thu, Mar 21, 2024 at 10:28=E2=80=AFPM David Yetter > wrote: Dear Colleagues: This is surely something well-known, but it is also opaque to search-engine= queries. It is well-known (and I've both used the result and proved it by= hand) than group objects in Cat and category object in Groups are the same= thing: strict monoidal categories in which every object and every arrow h= ave an inverse with respect to \otimes. What class of theories (e.g. finite product, left-exact, finitely axiomatiz= able equational,...) have the property that category objects in their categ= ory of models are the same as models of the theory in Cat? Citations would= be welcomed. The question came up in work with an old student of mine, and rather than s= pending time proving the result we'd like for the particular theory at hand= , I thought it best to see if it followed from something in the literature.= Alas, all sensible keyword combinations give pages of irrelevant search r= esults, so asking the community seemed the best way to proceed. Thanks in advance. Best thoughts, D.Y. 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 --0000000000006998e306143c2938 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Dear David,

The following paper can be relevant:

J.W. Gray, The category of sketches as a model for algebraic semantics, Con= temp. Math. 92 (1989)

Look at the tensor product in the category of sketches defined in Section 4= .
Models of sketch $A \otimes B$ are models of $B$ in the category of models = of $A$,
and $\otimes$ is commutative.  

Best,
Andrea Corradini

On Thu, Mar 21, 2024 at 10:28=E2=80= =AFPM David Yetter <dyetter@ksu.edu> wrote:
Dear Colleagues:

This is surely something well-known, but it is also opaque to search-engine= queries.  It is well-known (and I've both used the result and proved = it by hand) than group objects in Cat and category object in Groups are the= same thing:  strict monoidal categories in which every object and every arrow have an inverse with respect to \oti= mes.

What class of theories (e.g. finite product, left-exact, finitely axiomatiz= able equational,...) have the property that category objects in their categ= ory of models are the same as models of the theory in Cat?  Citations = would be welcomed.

The question came up in work with an old student of mine, and rather than s= pending time proving the result we'd like for the particular theory at hand= , I thought it best to see if it followed from something in the literature.=   Alas, all sensible keyword combinations give pages of irrelevant search results, so asking the community seemed th= e best way to proceed.

Thanks in advance.

Best thoughts,
D.Y.
 
 
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&n= bsp;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
 
--0000000000006998e306143c2938--