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=1.2 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,NML_ADSP_CUSTOM_MED, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2 autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 19086 invoked from network); 2 Nov 2023 19:06:15 -0000 Received: from mail-me3aus01hn2213.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (52.100.209.213) by inbox.vuxu.org with ESMTPUTF8; 2 Nov 2023 19:06:15 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=AwN6ItSI0gv9Vucir9PiEfrRpB6+FmZbAKPG3/33VhVWRL1kAN7TLfoulWDoChvl7liRnFhZWeLru9r/oUR8wEcPN1wGD2ZU4GsE5BWuYUP1gddCrOSMzIxNiG+rx8jxgx0beAdTPlJl3oxNP5QUeIxCpU0zzT4sysAR8x5Z67LSRCUSRQhW1JF0CUm/qqw0cwxj8LB9UIMw8dPeUNSzJ+MJLg/fvYsoGzLYnWFoSg6oR6FWbV4c+6IIidMsJIszFP4idKJSwQQtK40/tJT/toFLecj14ZSWAX4+v0QFdVW4eTVVfcR11On1gdwMytVghttSk8nFu7dNMgB9hlTbyQ== 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=ouIWbJp4a/05VnzuGiCFG59ZjKSEER96H83D6nynE+I=; b=T8b3sKpVNsi7caN/upv7vb+qPUNo2L1tsbu42BhK1I8CVmNE5KywjXI1edRTqJ9lrNS1v4bFmiLjnaFuA3MQl2WzAp4TmDBuluXTk1jenR30UXgMf/Wr7d5L1g6+y9vYDRCEAEWO8UbW2av0mTE2vb/gNlIbivjQCp20hk5c3oT72LOM/3VfCd6JK+HZrYPBXv4H0fEEzvN1tMYq03z8E0uCvqlr3uiC57K11WidOwp/X3yPuKEL8bnp2gIFolkKIRyIYZ8U8QCO4P1BCYpVpgPKUiGrrc5jb0YXtkvLPlfRvtRDhVh+ItANNO9qPmGog369oTmo12KVSvV4MrmgnQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.47) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=pass (signature was verified) header.d=gmail.com; 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=ouIWbJp4a/05VnzuGiCFG59ZjKSEER96H83D6nynE+I=; b=fnV/1haSOX8YGHL8yxIS6xSJJbk4h1GXSlbC9YE3dp1bq3hjwBfamDVnIFZpov8QNv//RbaEBw3H2tW8P5vUXa8WmumXYoCMf/VcBDSVSaplQ3xxu23DDwD/oS/JPtYaz7x3csW+73t3EBLNxHKFG2jMOLvbD1gKJYRfMEWm284XrFm3XczOZibGA+Y2ID2+TShN2qN0O7R/z+8VRxHkIfrUCtXXpyLDK6kQP+PYIwHdFSi/Kcr+Wf4cGHSeeDgxxzDOp0NKSnVebHLv2yN5ZgjMpw6oK3wOIijQ3HE3MzKkvoOzLiwgWvFwef+JyvO0gDihDoRUV7km0zs2FQTbiA== Received: from SmtpServer.Submit by ME3PR01MB8392 with Microsoft SMTP Server id 15.20.6954.21; Thu, 2 Nov 2023 19:06:10 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=X2a5Ho0WhE912N8gqxhc/y3vFqb/kn8sm1sg8Fq+J0YeIvwkBEGRcjHkR7Mp832yau6Pj4m4nZrMw6woeCtLcs5xkQe83tQLZXWIhoG6UYKgNis66bQukZIFDcNDNK/P9eTkQShlB9xSRH3s8bANpSGm3e533VENyqJ39bKx/Kbq6N3jJ551m9hiJiwGrcwanluprVVPUNnl0D+s7clMH/eOI0mqquCuoXy8J798kRNwg7vzA37rCXeJISPwDe8rruf8x/zzVVEURKs5YLGnvoHPqfHz3KBS5ojPTR/wX/KRVu1DHgSUS2sNWAesL4n6ZcCGaPYeXwKcDIBBRiDxjw== 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=uNKI9C4hluUOU6snrZfQ64/fAvzJqtyA68GeHjGp7f0=; b=Dw8sSNkES1yTKhWIL/USzn8gk2wwAC6Uu9j7mjHST0wQpL3bX4ONT8kPA2XnEPvVTTwyNBu8J3jS4MoabIuWdEpXe8HnYxlpFb9esLXR+Lpfb6lY2QPWsyJOsHv9NUfEX/ZsW4Ln73XpDUxqNR5iT9z3SmQArAdm8zDlFQK0gHi5jK2G7c+xHmoD6KBeb7QfTwakbboWY/k1nH5pNXAG7RNRpasyFHzltJPodiomlqEmbFLmnu/1gg96FaD2PwhNy8drg08oLp9c2x4g8hfFgYQym8URrFYKm8uT1SZJeN0NeDm7srEgU2f1Olx1SsmYFurX7BUCiFU5Amrlph8VBg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.47) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=pass (signature was verified) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from ME3PR01MB7080.ausprd01.prod.outlook.com (2603:10c6:220:16d::7) by ME3PR01MB8392.ausprd01.prod.outlook.com (2603:10c6:220:184::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.21; Thu, 2 Nov 2023 19:06:04 +0000 Received: from ME3PR01MB5480.ausprd01.prod.outlook.com (2603:10c6:220:7::8) by ME3PR01MB7080.ausprd01.prod.outlook.com (2603:10c6:220:16d::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6933.29; Thu, 2 Nov 2023 19:06:01 +0000 Received: from ME3PR01MB5480.ausprd01.prod.outlook.com ([fe80::7887:79cb:e954:7a61]) by ME3PR01MB5480.ausprd01.prod.outlook.com ([fe80::7887:79cb:e954:7a61%6]) with mapi id 15.20.6954.021; Thu, 2 Nov 2023 19:06:01 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=ipuEIkJN/T/xaW2yAxIWTePz/5SxwEsZ8vsu1WosoOITmIAtCkoemHeGrR/9mIPhlGnZWZq9VSUM0lpGbiyUMtIxUr15FJPV/cOiUXsTI8Kzyb2rbi+PuEpeSVusA7s8CoHDgdGCY7awk+fwq1Hr97kmYiytOgwGib9S/8RoyCxz9L94WPc7wTWgBRKFeRzAOEtbgqQSWFlkQcy1RyPuJOJTkS/cHJ2jVXDROGkuBpXhreSZNpaIr1n6sQTsAWX96J8ekvmgLo7obVjYtZMTQJPMomsb4IecaDJa/5hL0A8b+Ge79GNqsOwUxuc3RaBxkYl5jVfKDrzRi/JDMuadxw== 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=uNKI9C4hluUOU6snrZfQ64/fAvzJqtyA68GeHjGp7f0=; b=Fao3Jd5YDvN3Gaj6RROxJapOYoA1pd0Z82tZLPX1+1zKl/5up6iiVmn2XRY0qG5b7bQDCOG+PXrBDcYhIrkCt+ABNwEDhjtmOthlA7giEWmDXeozTee5gCu8m54a2OcNWMhNn9mddM6NLSsw+DNWGsElqTPeR1ElRSkuOz9NZm04i+tT6h5C6ey1VPQ1qUeKCyodPplsAHn46DQMIaVOXEbIKSHByDOiN2Wzhg0RnoOMVVSqgRv5mGXWz1UHtmseyjfmyfM2YZhqUbKITlAoPTM+aSS8n/bWINxLw0nPs0nQuFshqadNUqVQDBBlEXgRtu5WGnUCXAu7a103AkMaTA== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.219.47) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=pass (signature was verified) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5P282CA0073.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:203::8) by SYZPR01MB7507.ausprd01.prod.outlook.com (2603:10c6:10:16c::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.21; Thu, 2 Nov 2023 18:57:41 +0000 Received: from SY4AUS01FT003.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:203:cafe::24) by SY5P282CA0073.outlook.office365.com (2603:10c6:10:203::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.19 via Frontend Transport; Thu, 2 Nov 2023 18:57:41 +0000 Authentication-Results: spf=pass (sender IP is 209.85.219.47) smtp.mailfrom=gmail.com; dkim=pass (signature was verified) 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.219.47 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.219.47; helo=mail-qv1-f47.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.13.69.22) by SY4AUS01FT003.mail.protection.outlook.com (10.114.156.154) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.21 via Frontend Transport; Thu, 2 Nov 2023 18:57:41 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1698951461; h=from:from:reply-to:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=uNKI9C4hluUOU6snrZfQ64/fAvzJqtyA68GeHjGp7f0=; b=IDWkpJIB/Vjh/qRAXjWR0xpEF38LufzmC2cVpslOS9d3l3dQCO06YMuKtIVDkumb0TmFSD eo+bmQxNbr2dhzqTw58JYBjHz8BTKICD6ziUtM33BImEwPgYExd7J3k0DohIU3+ukK/JkS 30LjX5J46t+SuYFHN7GeAnUnKQTJrcQ9VytkWQL1j55xPTkI+cXvePpudoexgI2WGKL/Jt s5mACMl6DYUKm88XvfbmNh1H4voq4icPNbyCHvKmJkkhPBhPVLRpJiwyTIJSaa+acS54Id qCMCtoI6QZw6grPujRoOoDnkaQClZwB3HZwMkJKFufQP5zITm0xTMlKOkcDvHw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1698951461; a=rsa-sha256; cv=none; b=lKYTm3qxoQF3zvjiJQ/dk47tIVyzh5nYTkJioDPEEpGUbMfRbxcJ+xFoQvRL7g+pLVLsS0 OFFL6q+1ogCF9KPZB6XCcZ6acPMWpXJeWSf/N5lpj5bMrwxIPtr4Nn5JHJf97uN9AklwBR y9uWkrxJD1UFU4NfllXh+UibTEMHxAANmMJ7aS4XAIyNXcIDN1pYovLoqg03E/Zvasn7O/ ed2kSN3jKW+Rgslv1+6ABdYU6Dr//vnd4TH8vfcHMiJvPM5xU6A7J5pMOm9oIK57JdcFgO S8g4smjWjbE/Uzc9RI+4v5IseR18kK6PnJlQ/uFHWmJjriceZwu7uGzoT/D0AQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=gVFOdyQD; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of jamievicary@gmail.com designates 209.85.219.47 as permitted sender) smtp.mailfrom=jamievicary@gmail.com Received: from mail-qv1-f47.google.com (mail-qv1-f47.google.com [209.85.219.47]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-73-w4coD7V4N0-ba2voTPtcJA-1; Fri, 03 Nov 2023 05:55:54 +1100 X-MC-Unique: w4coD7V4N0-ba2voTPtcJA-1 Received: by mail-qv1-f47.google.com with SMTP id 6a1803df08f44-66d0ea3e5b8so7733376d6.0 for ; Thu, 02 Nov 2023 11:55:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1698951352; x=1699556152; darn=mq.edu.au; h=to:subject:message-id:date:from:reply-to:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=uNKI9C4hluUOU6snrZfQ64/fAvzJqtyA68GeHjGp7f0=; b=gVFOdyQDCkJWJyZ7u81zXeyqwadpzWIdibQykT1pyeLKw5y+RQnnDoAREC7pGpuZuM ExRTGW+bpWALr9U+H7RVdQqhfn6JvdDBEKoNTrrrsTTfxErVe77wktI1wvvoUxDGojS/ b7R75+8lcglmsJ1gl0IPQs5lV9j9Ac/tqd+0E0dpKez+D9jbbhENFIlxit+98Y/02SzM pAFKWZSKcGntE3tAcRyFeA46q1tUuOY7Lojpqdq0LpqOxWp8kWVIcMPTW0xUQhRD5nfY fMRtGJeulHCiCRGsArZEJl0kqdzbwosD/qbg2px/ukSFtLmjPuw+aYq6159zurLJCj5Z PgfQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1698951352; x=1699556152; h=to:subject:message-id:date:from:reply-to:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=uNKI9C4hluUOU6snrZfQ64/fAvzJqtyA68GeHjGp7f0=; b=QC65B7gIuRhFWp4M2eDabe01bvHSONzH3Mw+76hXfLKg07jh8qUY+MXc1JCEd5/guk 9KS4Aufipbd8xwM+1vI3ePKjNocxYdUg24E4bAO2wDVPR9dWkhHO8R72Kj+/Ehx7Hm9J JcQa4o0csaEgVIwurQILN4wL1sbOYNRTfvhvpWxJ83UwS60qesEY0NjqtEY3hfgc8Qyd fpAvwsjeElen64Gz1MiyuH7ZpxwY0o/6C9mPVLvhOXKyyVxnbNqqshuI2zQyVqepL43m XYW8UVJLJvgCVEgTUbHoyBTNyJc6U9pueJSHJpiQaiR+xQV1BD1YRgYkfdKRHvnwiqX1 GXYg== X-Gm-Message-State: AOJu0YxrbtXsyr/AuA1SZHUKdBdmiZLO5ufbn2f0+5Xg3jpoEpUomuXx O6fkbrV800o2FnxgqFGhkM8JTsxlXtXgNE6MGbPLMnplZQg= X-Google-Smtp-Source: AGHT+IHyhvrPuDJ/b0FH2v5QSb2Xa5XZ8lxtI2yS9D3kwRjYbSRFe+9vRF/xwLz9jPhjLEDN1wsYemvQBMw0+MmSlxs= X-Received: by 2002:a05:6214:224c:b0:66d:1b88:c165 with SMTP id c12-20020a056214224c00b0066d1b88c165mr25954498qvc.60.1698951351271; Thu, 02 Nov 2023 11:55:51 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: Reply-To: jamievicary@gmail.com From: Jamie Vicary Date: Thu, 2 Nov 2023 18:55:35 +0000 Message-ID: Subject: Defining composition via colimit To: "categories@mq.edu.au" Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=gVFOdyQD; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of jamievicary@gmail.com designates 209.85.219.47 as permitted sender) smtp.mailfrom=jamievicary@gmail.com 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: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Return-Path: bounces+SRS=FePzW=GP@mq.edu.au X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.219.47];domain=mail-qv1-f47.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.219.47];domain=mail-qv1-f47.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT003:EE_|SYZPR01MB7507:EE_|ME3PR01MB7080:EE_|ME3PR01MB8392:EE_ X-MS-Office365-Filtering-Correlation-Id: adc627d1-27a8-4f98-bce0-08dbdbd59754 X-Moderation-Data: 11/2/2023 7:05:59 PM 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: =?utf-8?B?VjRUL2ZCYkNWdjh0TzVreXo4ditIZGI3SWZrMFA1NTk2bEpLVCtIb0FoaUNF?= =?utf-8?B?VDE4Rys1ZWlWdTVBL0NWTFVNbDNGelFIcUhaNkZ4Rjcwb0R2M2REZHU4RkZU?= =?utf-8?B?ZEdkYnMzQUFHb3lzNFd2cEZYWGRnZ2NwSVE5cTFOR3NQdWFwN0U2aGdiRnFJ?= =?utf-8?B?QnZHS08xR3JrK3BmVTFtT2ZabndERkVjKzdSc1d3NEppNGIzYllrYUdXL2ZR?= =?utf-8?B?MVRpV3hIcVBXaFJGalE4aU9kazhJZTIwc3NUK1BIT0J4aUs2ZGNoOVBtOFFq?= =?utf-8?B?TTVwYUtIeU1JazEzRWJJYkN2cVVWd2xPL3VaNEgvNFA5VEFTSC9hbzgwcjFB?= =?utf-8?B?WFJDM0x0QnV2anVhNjJHMzE1aDhIN0VmbjFaUm9HVGhBbTNGdlRwRGUvMGZN?= =?utf-8?B?UmNQZ3RJZHp6UlNXS3NSUWx2a1FhNEprb0F4Y3NsdUN3SEtmdndCZ0xaZ045?= =?utf-8?B?VkVWemRneUl4cDlFaGYzdnU0QzExN09qOTB3OTJvcUlGZUxjK3ZFSEFhYWJY?= =?utf-8?B?Q0ZySFlnMHZIL2wxZVJTVUE2Q0xqY3p6TmlER1lvZWdwQm1Gd2ZxamMvMEtn?= =?utf-8?B?Uk5FYmk3b2lsZkxHaVBBeTM2WjJDbDlXWGN6UWh3Zjh5by90SXo5MDlld1c0?= =?utf-8?B?WFQ4QnBCam1WbEt5eVZuZ1FaQnc0bU5xUGNRalBQMlBtd2JrcnNpaVliSGZM?= =?utf-8?B?Y1dLRHE3NzZOdzNwUWlheUVieXh5aURzWTFkRUxIcHpFelhCRVhiSnNGSE5F?= =?utf-8?B?VzlvRjRTaDlVdUQ4WW8zajFQa1ptelY2bnBOTi85c3c4QlJoa1lQcExvNEM4?= =?utf-8?B?ajZBakZBWnpzUzZmQXlOWFRvVU92cU1PQWsyN21sbk9oczdZWU0zYUFwYVJU?= =?utf-8?B?a0l4aUFsT0hudlRiN0t2eGh0R0xDZkVCVTZKUWVPQmFNdmJZWXE5NUQyOUts?= =?utf-8?B?VlFCMVk1Z1U1WmpkK2tIY3QrTVYzZFEvSFV3UHluUWZTbmJ5UTVITzRDREJH?= =?utf-8?B?cTBzVlV2UUV0OTBaM3hpaVdBZEZ2VWQxVHpUR29SZnF4N01yOXVBVU00TVRn?= =?utf-8?B?ZXpveW1xSkIvK3ZBVWNLb09tQ0NmeHVTQ2p2OGhTRVJ5VHpwQS8xYkM4cFhI?= =?utf-8?B?dEU5Um45dmZTUEZPbk5Sd0ZQdmxvR0crVm45WnNGUnN1M3JrM1BydFdCd2tM?= =?utf-8?B?OUl5VVluOXc4NGhWanl0U3IwSzA3SkswMDZORVJqVXdkQTByOFlLVStHdU9y?= =?utf-8?B?clR4NUZHQTkxTkU0ckp4RlNtUnUxcHJMUEpjTHQ0SUd4Q0x4REZSaWZsV1pY?= =?utf-8?B?TTJHdy9yeWxuSHRUREdibEJyc1p0TFZueTNMc01ncFYyNDFNNnVPUGdFSHJL?= =?utf-8?B?UUhRb2ZTRU9Xa29OOSt4bG91eDUyZmttRTNUYks2YnJ3WFluTVM0NXpWbzJB?= =?utf-8?B?N1B3QU1Pc200ZGZ6NUhqcW5PbXE1ckpzYSsyWEdZTFM2OGw3TWIycmZKbkc1?= =?utf-8?B?VEM5ZXJOcGlKY0pxQmJOUmpwZE0xaC9CR1pPcXczQjZXbDliQkRSMWZHU0Rw?= =?utf-8?B?SXNrZVhhRDVjaXdCcUVvNEs0djB4TXc5Q3c4d3FGSUxTV0RzQjJKZllQVTlq?= =?utf-8?B?NGM4SEtGN0NzOGgyc1MxTHo3MHZyNGNUODlkWG8rbTlNUlNVdnRKYktCNkFO?= =?utf-8?B?cUUyTVVKeE1FRFVOU2prQUVUZUR1eEpEZHJmTW01M2NGcFdkTFFNYkdUbjhD?= =?utf-8?Q?KM4McJEWOdwHlcXGLw=3D?= X-Forefront-Antispam-Report: CIP:103.13.69.22;CTRY:US;LANG:en;SCL:5;SRV:;IPV:NLI;SFV:SPM;H:mail-qv1-f47.google.com;PTR:mail-qv1-f47.google.com;CAT:OSPM;SFS:(13230031)(4636009)(346002)(136003)(396003)(39850400004)(376002)(48200799006)(8000799017)(1800799009)(64100799003)(82310400011)(451199024)(40470700004)(32850700003)(3480700007)(41110700001)(83380400001)(156005)(32650700002)(35950700001)(73392003)(40460700003)(82202003)(40480700001)(7596003)(7636003)(7406005)(86362001)(3450700001)(55446002)(7366002)(7416002)(7336002)(89122003)(76576003)(82740400003)(88732003)(6862004)(8676002)(8936002)(41300700001)(2906002)(7276002)(6666004)(76482006)(5660300002)(70586007)(316002)(786003)(498600001)(42186006)(68406010)(26005)(336012)(2860700004)(580100008);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: adc627d1-27a8-4f98-bce0-08dbdbd59754 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT003.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 02 Nov 2023 19:06:01.0802 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: mDwotn2zgk4lxbadqcH0TUIii+A1eGEfKkJiiDZlyIujoJZbsZIVnU1IokpKVc3/OLOQb5ZkdnO6TCCPTRjRbEX1yLocpEfjZN3TabcYePBbDc1X9bGdxG9Lnsw8PAsm8jk1Y7CSB8X7XC0KSwWWsfWiJHB3LBv9SH0rH+xAmLCEPfyJF/2CxR9072YieDJZYnzZ1BDmYYZ3kv7gGMqf8g== X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB8392 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?akZ5NHNDb0tZVDZxNEJxMklIVUNyU0t2K0Z5SzdtR1lIQzJCbVF3dnljQUNk?= =?utf-8?B?bkV3M1ArKzNLSDhDZnV3ZGNQSUVUbkdBWVBaZy8zVmlObS9ZL3RRU0tNU3pl?= =?utf-8?B?Q08vL1A2OWdoM3hsTENYVGYwYzBSUDlrNmlKV284SmthQThhWGtWWDdOQ2t1?= =?utf-8?B?cXQ1RzNxQ0Uxd3BMWnFvdkoyNnVLVjBCaHorTkMrc29Mb1RuZWhnTnZyM0N5?= =?utf-8?B?RFpFYWNGd1pacGU1YXQ4SlpUSi8zVjRwUVFPSnhDR3R5eHlaNnZocGJia1Y0?= =?utf-8?B?bW1oZkViVlIzT2VDZi9EcEtPTzJ0NGlseUtUUW5zcXhrL3VOK3pMR1NiQitQ?= =?utf-8?B?b0VyenNqa3NnMENSN3BrcStCZXRNbjc1RjdlU1UzeUNaNDVZQTlqZGdzUjhI?= =?utf-8?B?SVJ1eDYwYzFBQjkxN1B1LzF6cHpvNVNyNkFjZDBvZmZBQmhtZVp2S3FQMkJI?= =?utf-8?B?NUdqemZyQjU4SmxCMDhGOWF5VExNNVdGTVZ2bFkyNFRuY2ZBSkNkVnROZjhk?= =?utf-8?B?OUdsaUNtQ2Vqcm9odWRGN3AxOUY1dy9qblI2L29LbkM3V3J5SU9IWm10UGVP?= =?utf-8?B?RW02WVF3VG5rQTU4aGo3bDhHTFhQeXFsbmJLejU1eXVPUklYUmRiYnJhRnpO?= =?utf-8?B?bU5DZmFTbDJOeSt0OEZzWjFsVXdnQWoxSlN1WFdYdGt6WEpaS3JKZmU0c0xw?= =?utf-8?B?cHFLNTJTbkpIaW4yWHBmajA4NnY2ZTRTeVFGMml4b1I4c0JlbnF0U25FMWVi?= =?utf-8?B?UDdCM21RZGcxa28rUU1ZN0RRY1VCZWlPckhHU2s2b2lxMk1sWGoydi9CaXZI?= =?utf-8?B?UmlGV3lYMzl3ZUUycStTa2NQdXBWS0s5WS92QmI2MG5ZUkZqZWF6eGk0dmlj?= =?utf-8?B?cEE4U09TNWNzcXU1blU5NG9OLzhzcVdVdlNRTGM4ck5YazROd1lPNDhzejEx?= =?utf-8?B?a1dVaXowSHk4UGs1N0d3Z1lqbDE4YjM5c2VnUVhxUTJITFArc2JqSWFNTlZ3?= =?utf-8?B?QzRKL0QwL0RESk5FT3F1U1pwTGJwM3l4NytzT0ZxNDFhck5jeGo0akFYQ3Jr?= =?utf-8?B?TTl5STV5ZWc4VUF2QU00OGtYbDBRK25vNmZYWkw2TGFDcm42WDVzeVhTMW84?= =?utf-8?B?RktiT1VRbHY1OWtVSXBEOTlyYUo4MVd3eE5KOW13S0V5dzVuUktqZml1UWp0?= =?utf-8?B?ZGVPNzBaQ01NbGNZMTZZRTF5RVJvcDNIVGtwcjQrcS8xazFJWDArcWZIcTNC?= =?utf-8?B?ZWNEb01OT2oyTSs2Zy9XN05nZ0lBZjNXcE9ENXl0V1hWWFBxWlVDMzk3cjV6?= =?utf-8?B?VHBzNXRzdXdIa1ByS3RPdWk4VDFSMTZqdEdRL2RWdlpKY2JlYkltMlNwc2JI?= =?utf-8?B?ZXBTSFF1Ty9IelFScG5kY2ZkcVdEeThLalZNdWFpT09aczB1ZWM4bXVGRHN0?= =?utf-8?B?ZDRjQnpSL1QvSVFJYXczNjBoWmhvNXlVMTZOQlA1ZHpLd2V0UTVCaTNVK3VR?= =?utf-8?B?c3dHYk1tblFqenRZbXRHSy9IMWZBTWljV3ZtL0RPSXV1d2JTL0pEZlhObVhQ?= =?utf-8?B?UU9PVk15OFNCRWlLaS95MkdYZURFa2tYeGhMc0RCZkN5WVFMNTlTTTBrOGpB?= =?utf-8?B?VXVJbzB4eGhTVWI3OW1ibTFyaXdBemRSc3BvVXNBMk40MHIvOXBqRXZYcVhT?= =?utf-8?B?dWI3WXlNNDlvSEZPY3lpZkwwVHdiRVl5TjJwSC9QaEdJUG1ZTjNack1KVGV0?= =?utf-8?B?eG04bEtraCtzR3BtbS9HOHUyZlNvZWREcWJwZmh3R3ExS0twQU5xeFpNSGNo?= =?utf-8?B?YmRaRUNESytqOWJWTUMrYVl3cGdUZWJ5cThMQU1mT3F3TkwzV3ZLYkQ4Z0lx?= =?utf-8?B?K0UyMTJJU0grU3dyRFR0eDFLYXlFSm1FTUZ4Y2trbW4xTmYydnVlVXlnMGNz?= =?utf-8?B?RVdHTHdTLzB0SEVXTHQ2OE9IYzRHckFtOW1sVkJrWXBkUjRnS1FDR3FQK0pN?= =?utf-8?B?OXNCTkdRSkFnPT0=?= X-OriginatorOrg: mq.edu.au Dear all, In a current project we have the following situation. For a category we are attempting to define, we know what the objects are, and also the morphisms. Unfortunately we do not have an obvious composition operation. What we do have is a "colimit" operation, which operates on a directed graph labelled by our objects and morphisms, and returns a putative colimit object equipped with a family of morphisms in the usual way (or fails.) We then define the composite of morphisms A->B, B->C to be the colimit of the diagram A->B->C. We then check that this composition operation satisfies the axioms of a category, and that our earlier colimit construction is indeed an actual colimit with respect to the compositional structure. It seems that everything works fine, and we are happy. My question is whether this has any precedent in the literature. The situation as I have described it is a bit simplified, in reality there is some higher categorical stuff going on. Personally I'm sure I've read similar things in the literature in the past but I can't track them down now that I actually need them. The nLab article on "composition" has some stuff about this with regard to transfinite composition, but we're not trying to do anything transfinite here. Best wishes, Jamie ---------- You're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. Leave group: https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as= hx?source=3DEscalatedMessage&action=3Dleave&GuestId=3D4eb9b40c-9b3a-48a5-97= 81-836e5a171e8b