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=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H5,RCVD_IN_MSPIKE_WL autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 7446 invoked from network); 2 Nov 2023 23:34:05 -0000 Received: from au-smtp-delivery-110.mimecast.com (103.96.21.110) by inbox.vuxu.org with ESMTPUTF8; 2 Nov 2023 23:34:05 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mq.edu.au; s=mimecast20180308; t=1698968042; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=02Rsq0y4b8ADy6nvCWp4W01aJAaK+YRzkawIP8IIG5s=; b=coCRbGx8oUiBS9jsBVDg1++cggFq/otB+3sk8CLqfRhI4cbH/8+7L1hBCHHkuLYEsIq0f5 RBS0sOhFSqMoWWJao4dz8a/tcdu/L7j9ffmyvVy+dz2lNDKmDVu+Rr11x4Q329hNWVsUvC y27XfGazGWWvbFG8LYbe2y8n4BM/lzY= Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01lp2169.outbound.protection.outlook.com [104.47.71.169]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-91-KC8UKcX0MjevKrfB_Pb76w-2; Fri, 03 Nov 2023 10:33:14 +1100 X-MC-Unique: KC8UKcX0MjevKrfB_Pb76w-2 Received: from ME3PR01MB7991.ausprd01.prod.outlook.com (2603:10c6:220:193::7) by SY4PR01MB5449.ausprd01.prod.outlook.com (2603:10c6:10:1d::8) 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 23:33:02 +0000 Received: from SY4PR01MB6899.ausprd01.prod.outlook.com (2603:10c6:10:140::5) by ME3PR01MB7991.ausprd01.prod.outlook.com (2603:10c6:220:193::7) 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 23:32:58 +0000 Received: from SY4PR01MB6899.ausprd01.prod.outlook.com ([fe80::ffec:66e3:912:5fdb]) by SY4PR01MB6899.ausprd01.prod.outlook.com ([fe80::ffec:66e3:912:5fdb%2]) with mapi id 15.20.6954.021; Thu, 2 Nov 2023 23:32:57 +0000 References: User-agent: mu4e 1.8.14; emacs 28.2 From: Richard Garner To: jamievicary@gmail.com Cc: "categories@mq.edu.au" Subject: Re: Defining composition via colimit Date: Fri, 03 Nov 2023 10:23:11 +1100 In-reply-to: Message-ID: X-ClientProxiedBy: SY5P300CA0048.AUSP300.PROD.OUTLOOK.COM (2603:10c6:10:1fe::17) To SY4PR01MB6899.ausprd01.prod.outlook.com (2603:10c6:10:140::5) Return-Path: richard.garner@mq.edu.au MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4PR01MB6899:EE_|ME3PR01MB7991:EE_|SY4PR01MB5449:EE_ X-MS-Office365-Filtering-Correlation-Id: d7c03626-3639-4683-9836-08dbdbfc0ba5 X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0 X-Microsoft-Antispam-Message-Info: 7N2/po+uKJw5CRG1L9WgNlhGgZzvLbgrlaPkf3ULzmvgRBaeM0vHqn4OEHAkkBA9CeAaoKNNpWgAW0PEpiLgCWEf45SX4OWnTv2keNzs/eq58NGGCi2cJvkMxUOWmbndBQYiCmw9shiiW12RL94vkgdn5VRzWHdR3uTjQVA6epSxbEYvf0yIpdIrQUYgizKrwmkF39/QvNIJzzwtfGki7O2WVmLmyNBfHvEg9jS4hMi9jWl2QXCcLI836QVLihcSVlGXXxV3XpbnkW+H7TtbSouLg20mZE0txpXccxzUBlVF+0qB+lFdAtPMIsIcaK+dhoMdb1ftU8SxuAGkw+GsoH1g7aaGYFXdKuuLUMFYFKioxCVD7h8MKZLztnDUePwe/C4B7Gi6zG2kJ98E0isuvikHsIvRQjw3gzhl7yBSM3sQ4SCrOMmvm/f7ijBny9WAqbo5ZWR7jGvw1+BNMXYx5IHQvPTlIcuEI4yl/oAYumW1ThmUOidyfziKRiimNW4tOgZJOB1k7IPhKS9DIRbLCXrAo6TQjJpCEWXjP8mrFY2/Jmddao6UJ63CNE8RZzVkGSFm4STCIQVXh0nHBOaaC6PFJy5h4oy6BHA06gK4MCDF5DCt1adY9Tx35dxLA97C X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:ME3PR01MB7991.ausprd01.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230031)(376002)(346002)(39860400002)(396003)(136003)(366004)(230922051799003)(451199024)(186009)(1800799009)(64100799003)(2906002)(6486002)(478600001)(76576003)(88732003)(36756003)(2616005)(89122003)(41300700001)(3480700007)(38100700002)(83380400001)(6506007)(86362001)(6666004)(6512007)(786003)(66946007)(66476007)(66556008)(316002)(44832011)(7406005)(7416002)(7276002)(7366002)(7336002)(5660300002)(34206002)(4326008)(8676002)(8936002)(41080700001);DIR:OUT;SFP:1102 X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?U0svY0cxTVFVc2lvbkp2OXRHVk1DcTRrdmhReUFaZE1aTHhKYmhlcGV4MzRv?= =?utf-8?B?R3hKM0IrWVkrRTBTQU1tcVd5NHhrWkhRSWhRcFloN01CaHBwOHhaTjhwN0gr?= =?utf-8?B?WDdKcHpMKzZSUzRTRWZBZ05PMEtQSkRNTzNyUXY4RDZ3ZjhaZ0lTYmVoZXl3?= =?utf-8?B?TG5PVDU3ZnlqVmUxQjlQYWNOQXcvVnN5bE0ydlFvM251aTB1cktuVFROaUxi?= =?utf-8?B?cWN2bUNZT2VKUC9Yd04xdTQ0Y2ViRHA0M0ZDZ2hXWHRsZ1ZhSFFYMHpNc095?= =?utf-8?B?QXI5dzJnK3MwQUxHYzVqR3BDZWRuNG5WOStzSks3WGVNZWd5UVJFcHE2S3Ex?= =?utf-8?B?QzgwRURKQ2psYkxKQjBSVy84MktNSVZrcXhBWjhhQ1p0TWlkeUVhRjRkRmtC?= =?utf-8?B?QTBHS3ZpanQwTWMyMjV0dXZDUTNHQllPaVdTeVNjNXhwdlVqbSs5cVVDbE8w?= =?utf-8?B?b0NzR3JrbmRYUnBna3F3NXpGZjlKM1daMlZNTmlWaEY0dXFvS0dZcVV5SktP?= =?utf-8?B?aFYzcWFCNGo4Wi96QzJlWGVNODBZWWRRdXZqQkFDeWFWa3l0Qnh6QTBiMTRv?= =?utf-8?B?emVmT3J2b1ZWaytwWXdhNGJrbGVyK01LYXNuMllRcmlCNGN6d2ppZWMyM3dG?= =?utf-8?B?T2lIOWROUW1ZN2NhK09pVGNkdUFlcXJVQ3ZsRzUxVTZwbi96UmRweWRheVIv?= =?utf-8?B?bFM4NmxYZkRpZE1hMUZMZEdzdkNPcUExd1V3S1RSUDNsOGNhcWVYcG94a3Ri?= =?utf-8?B?aER3S2lONzJPUGJ3Wm40eHNkWHA5NzY1bU8xb2xUTzVqYThvK3BaT0tTVFVz?= =?utf-8?B?dlpMS1REUWZ4MjhwRGNLRnlNNjlONGNGTUkrQzFYWW9kQ1BEbWdjYmkrbzZk?= =?utf-8?B?UmJ1VHVrOXFOY3NLQ2M0OTF1L2FaQW9MN1YwWWt2bjBDNE45enRvRXhTRDV1?= =?utf-8?B?dmpLcjVoM3JwUFJFbmtrdlEzNGQ2SGRCNitoMXNuaWVaK2VtZFkxSllYVWRH?= =?utf-8?B?YVgvYk5tV1ZCdjk2ZnEzRGtHTE1YQ21ON3J4dDlMaTFoaGs3cGRoOVN1U0Jq?= =?utf-8?B?YkhEbENNbjZ3MkxqWE9BWnRPWW80Y0p4OGZZb2c0cFk2cmQ2Zk1oZUdLUVpy?= =?utf-8?B?NDJ2TmZwTytNRkRWNE9tS3RTODJsSjhGT3EwUldxRURTYUhSNVNtbm9yUnVw?= =?utf-8?B?VWlReDgwdlJ2TXlkd0tIMkYrbGdvNFd2Ky8rdDUwSkJkRlljWGFCZk9OeHFF?= =?utf-8?B?OEEzTnZnVVVtUFNubitjZ0hjU1lHb1YyYXRDQWVGLzVXOTJ3bEd5ekgxNmN3?= =?utf-8?B?SGRRaVN3VVFzYllOMWJjR2NXQm9NYzFYeWdHNzJVRzcrS3FoL3NtWHVKMWdD?= =?utf-8?B?cWpOMTdreTkvTEptMnNFSTBSS1hwRFQ4RTVSMnErL3JjcTlBODJuR3R1WWpQ?= =?utf-8?B?YVJKRWVHRWc5UVB2OFhZMmJoWXdPNHNOc2c3b005b1c0bGJNcVpGcHhIQmdU?= =?utf-8?B?UWUxVEcvNyt3L0IrVG9aVC81Z0tKWHlXcWFoVlRLQ3V0eFZiTzNBMUtHUGtD?= =?utf-8?B?cUZxbDBaYTZ5Q3BnVUtXKzBjd3BITjBxbGdqNTE2eGNFRkFWNVhRTUZieEk0?= =?utf-8?B?Vk9yc0wvZnV4NlFhR0d1R3pveGNpb0MrcllubHQxNWFyU0hobnRhYlBHU3pJ?= =?utf-8?B?TkZFS3ZzNmU4a3h3elYxSXQya2xDTGNMSjZaRVdpN0tqeGo5amZwc2dJZ1Bi?= =?utf-8?B?N2ZpQTZvNzFsU0RYY24vdVRyK2FZcXpwd085YXV4b0w2SW11dGlhejYxRWRH?= =?utf-8?B?UnRxRllaRjR0YlFvUStBRTZKemx5L3FQT04vbGxvSHVCSEhCcHpQZUVFL1F4?= =?utf-8?B?dklDN2JHZTFpWmZEVmJpYXRoNEhtazVGL0hSZEt1SnNQNUZvblZGUXYyUFNn?= =?utf-8?B?Vi9ZQmZ4QmtJRWFySEJQSHVMZ3VpNUhibDNQalgvSEYyclhtWnBiR2pZaEt5?= =?utf-8?B?UVFsMU5EQVp4czk2OWZMbGhzdU9WRENZUSsvYWlOYkcvb0N6a1FjWVprRVpy?= =?utf-8?B?SnR5RVhXVVB1Qnc4NkJYa1dYQk1zcitHaUVZZlEvVG05Z3lzMXcyL20xaUZj?= =?utf-8?B?SXZVM0xSSmpBVThiZlBjczRjV1BpQ3VXT1BkT1N0cTlBYWVSWXl5L0hSK3hG?= =?utf-8?B?Wkd3VEZTd3BiY0MxOXp4REtoYjV6bHJqaWNleGN4d2RSOUhpdFVHcFhGaE95?= =?utf-8?B?TVBLWUJiMGowV0YzTWdKcjdYVTNRPT0=?= X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 5 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: =?utf-8?B?NjArcE5sUzN1OG9QZEphVzFPRmhkMk16dGg3NGFqUzNiOUJOaW1ULy9CWTdi?= =?utf-8?B?UHRtUnRXQnB6amNSOThkUDkyVkpwd0EySlcrNDVZRnpNSHFXTVVFZHBvTy9w?= =?utf-8?B?T1ZFelRCTWF4dDFRK2pDVWNJV1doeGlLd2VRRGhvdktxNUczYmlGc0QzSms3?= =?utf-8?B?MVJKcytvT3hPNTFJUXlIK2FlQ2Y4ZytYNHdxa09hUW1GSFFydXYxSGErd2ZG?= =?utf-8?B?RnpPNTZseVJkVlhndlFpcVRwalFNc2RuOW02ckcxdjVLWUt3ZDVwd0cwSWFM?= =?utf-8?B?VWtTTXExU0xhenIzQmVuK2xRL0ZoREF0SDVsaDBHcy9VS3FFRjcxOFhucm9Q?= =?utf-8?B?UWIwaFJEMGxPSG55RkJhUDR1VnFHa1I2V042ekZpMW5XMFVjbWJOYUcxSEpy?= =?utf-8?B?TTJqNVlkQmY2Yng2UFIvL0xBWDlFK3p1bGxpaUw2NW9aVGlMRlNJVXo4VCtl?= =?utf-8?B?c05JbWZINnd4SVVXa25XRDFObFdjL2c4YTBJckRsb1VzTVc4dzhYTUNBZ2hw?= =?utf-8?B?TkFIcGRQRVFNSUpJdnlGaXcvWktHc1VmLzBscWs0QnBFc3lnSWhXSFRJN3Nj?= =?utf-8?B?VVdrRmNlbkxiL3MzQnVrYVhXMlprVUJubmVnS0U1SVFCVURmd0p0UU1ONFlL?= =?utf-8?B?Qnl1U1NMWEVHZ1FZU21qb0hYN1BHNXgwR29CeU1qUDdpUnZObVczYmY4RWRl?= =?utf-8?B?NUNSN3dsamlmV3M5cklSOEs5YXpVUWJJelRZS1ptTHpsYzQzOEVmbUJzV2dh?= =?utf-8?B?M3NFVWxDb2NSMlY4V0ZYNThjSW5sVU9kYkwwU3lCZDdScys4ME02aVJRQzhZ?= =?utf-8?B?Z2JGOGlObVowNTcvR0J6cmxtUEp3dFpUa2JheGpBSDBEOGREZ05SclFKKzFU?= =?utf-8?B?VVhsTzhuNjk0NjNhNjh0MTJHMVhMMWs4VlhPUFZlUk82RTJxdHpVOTUzR3E2?= =?utf-8?B?MGRiZkxGWEx0TzFSZld5UVlieHlMSElyYzNmMzR3OXBud0E3dE1iSy9McEht?= =?utf-8?B?R0N0OGt2WjVFMWdSaFNBUTdyMy9WNUNJT1F6UVhaZkZmcHZRZ3hiOC9JVXh5?= =?utf-8?B?RlMxTmVOYVlmaUEvdmJLNTR5ZDMrcGRLZGtUeFo0Vko4eXVzWmhHRXRwWTAw?= =?utf-8?B?WDFqU2YxMWRYN21uc2IvaDdDZlE1UllPU0tWaW10c2MrMUxCaGF2VWtxNUNz?= =?utf-8?B?TW11L1NjNy8xZkxJTkxEeTh1dmRTUnlmZFVsMlFGeS8yWGt3NzI4YVNMUzQ1?= =?utf-8?B?UGdOUEVyeUpybEliOHVmZ2I0QU5yYUpGTkNncDlCcmRyd3JnaWxmbC9oditp?= =?utf-8?B?UFd6Mlo0KzUrcEM2R01DUURtUWJoVlIrRDRQSVBuVUo2L0dxZEE0V3FINGNP?= =?utf-8?B?ekl6N1Z2NjdhbW0wWWx5bkNCZEJVZ2RZWVZLL1hwQXhEOVlCNGE5Z2plY0RT?= =?utf-8?B?NjlRbFhDNkgwbjNiTnNTek52dC9lNnRveHhEQ2g3eC8xUWQvNjg5dEJrZUp2?= =?utf-8?B?M2dCTG5ET2NDWXJ5MkVBbWZ5VDBtcnlEWEptczJHUnJyaHBoNFBzS282UUtI?= =?utf-8?B?YnRKSDJwb3ZOcUFVcHhFWkIxK05MV2pMTUxuVTJGQkdHWHVYcjJ2S0tvc1hQ?= =?utf-8?B?MnQxNk9KWkhtYVJndVhRelRVOTZKUTdFQ3g5ZkdsT2lEd0hxVDlidVpIZHVE?= =?utf-8?B?Vk5XUXBsbUxzUlIyaWI2VmIvL05yUTFZVHVWdi95bHM1eEpReGpRNFcvQk5o?= =?utf-8?B?TDJHRHh6cUZYWGsyNG45MVlkdnRaK3l6cHZFSGhOYkx5YWgzMXlkcnd1UjVs?= =?utf-8?B?b2xXZU4zRmRSbU8xWGVITVRkZVdMRzM4S09jT3BSeUVCTUQvQWhyWEJjTUFI?= =?utf-8?B?VFA3Z2REK3ExSTVXTDA1V3pXTlF2cUg0ZXFvRUVxWDA2YllZNzk3NDYyVjZV?= =?utf-8?B?WUllbTM2Ri8ydjB2dzZ6Rlg5a2VOQjljdnQwRDMya1hlakROVHN4TCtJaUxn?= =?utf-8?B?eXZ5MWVZTk9WNjg0ZzhtRklHNXQzREY3OElQUXZMb2UwNXF3eExKTU1WM3Uy?= =?utf-8?B?dnBSeEk1cnVCNkttRTNxZnUyYW9YZ3lyeXNMb0V5cktuTDh4eHV2T3R1UWdm?= =?utf-8?B?eTkrc2RIekduc2lROXBjMHNUMnJZVThMa0U3UUF3STZkR3QvRWNPa0Q2SWx0?= =?utf-8?B?Yys5aXZYVFJMcDJ5bFFyWnVjOXpnVVhMM29VTnFnMG1Xa3dvcmRGcWxpVGJP?= =?utf-8?B?ODFZQzlZMytWYWtscVphdzZOM1NvcW1JUEwxcmd5elZSalZhaFcvQ3lkcTA3?= =?utf-8?B?eWhNc2MvTkxyR1dGb1RoUmZCVkZRT2lBdWtMVmZDc2IvRG9FeUtnUTdSNGtq?= =?utf-8?Q?PCm22tzhAirBYBCrX+OMb9JwcH8zw1P9/fy5E00/mE6O8?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-1: =?utf-8?B?SE5wWHF3d2ZRY1ZJMnRSNzlvRVlhWHlha1J6cTFhY3JKWXRTUGdYOCsrSlpS?= =?utf-8?B?MEpEZmNmQ09TTHRja2VZK2FGWng1OFVPbTVDOHhtbWxPa3UwdEUwVXRDUVZX?= =?utf-8?B?bVNUT0RoWW1sV0hYR05HSEdPQ0RUUDhDV0lrMEdZcHcvWGl0Qm1tdzlTT1VQ?= =?utf-8?B?TXZ1NGhGRHFhRHJBc3lGdWpmQUZKdWhyNVhUZkFXak5JVEtkaHN1WFkzMHlm?= =?utf-8?B?RUkxNDNKdFRTcXZZNVlTNFNvVTlDNVZjRUk5MGlSNi96TEVocDlYUURGdXFI?= =?utf-8?B?SVRPTWd5Ynl0ZytNdGp1WXlVZXV3TTB3aE13NkM5cVNFTXR0QXRUQ0F3eHB4?= =?utf-8?B?UTRnbGN1SjRoWG80dG9nN2lYcndLQVl6WUIySlMyREl5M2VIRFFITmlsUFEw?= =?utf-8?B?RkVPRVpGbGlPeTFoSHlqLzNrS2oyT2Y2VGdYR3JiL2F4akJXaHA1SFNpNFFz?= =?utf-8?B?V2h3YUxEdjk1OStaTUpvME9ZVGl5ODhGa1lrR01CN2Y1c29pd2NyV1V2MXVq?= =?utf-8?B?RVR4ZmI4aEhRQXFQNkd2ekJGZmdsZ2NMQVQxcy9wTDV1SFhTeDFmQmZ4Zlk2?= =?utf-8?B?ZnZKQzJKeSsrWFAxaEI5QTVseTExenVwa3A2aFhWb1VhZXNocjRjeUM2Vlll?= =?utf-8?B?dzRLMzYyWFJUSFBUdFFtYUQzdnpaVHltc05NTHFFdFJIb1IwbDVIZ25tRG8v?= =?utf-8?B?S25vbHVCZXFGdklZZlVXM2R6bFhodG92K2NuUmtzOGI3cTk5dS82T2xyVzZk?= =?utf-8?B?MXZiUHJjT1c2emQ4N3hpa2swclZxOXJ3ZGxsWXdSUTdRUkhmb2FJS21pU2hn?= =?utf-8?B?NUJJbmkybWZHWkhSdndRWkM4NEJqVktvYjlacXNOV0VuYzd2TU9NUG9ZYVhM?= =?utf-8?B?Uk4xcjJLd1M2ZmJuNDRUb3B5dW8yUmVCeEdwU0lTRzc2WWc4WFVxSHhtdzBk?= =?utf-8?B?ODZ5czdRUG1MNnhoRTJ2UTBJWEJKcjhvaGRHM2hvbVBLZ3d4ekUxdk1EMDBq?= =?utf-8?B?Q3VGc3o4TjV2M3N2ZnU4MzNJUWU4REpWTlloKzVDRklyWU9DRlFXdFN4T3BC?= =?utf-8?B?MjNFblMvcUFiOGVGS0NhTmh5YXVpakV4dHhiTy8rVFZJWko3NTExbXZBejNq?= =?utf-8?B?MW4vNWdQZktqTTdaQmcyZ1cwd1lEK2FQTldoMU1GWElHOG1ISmUrUjdDV2Mx?= =?utf-8?B?ejJJcWNsM3ZQRTE4a0NTT1dVdVI5WUpnNTJnZzN5ODc3WHNnNzZlYVd1Kzlu?= =?utf-8?B?MTFQeDRaNlFpZHdtS29UT0xtZklOSExuY2xXQWVoOVB5Mzl0NjA1eDFQR1Vu?= =?utf-8?B?VDJHUG9qWnVmbjVmMExyaGh1a2FidWJmclRheGV5MFRWeVNHOWNOdGh5cVd3?= =?utf-8?B?QURHTng1VWRJR3dDUVI1bkFlalJyY2pobHl6enRzc0d2Q2lLL0dJWUtRTWti?= =?utf-8?B?Y3FCRkpUVW96Ti9jVkJqb2N2MGMwOFlsVEZudlAxMWhNMDRjbzR3VXo2S3Fp?= =?utf-8?B?U3lxTk1OSlZ1aFc0cEJacFl6SnM5bXFqeU9lMTV0cVMvUFI1YWx6RENEZEg0?= =?utf-8?B?SzJhOFVTb01ySHhDMmZ0dE5LRnRaMldUWkYyeTMwVVJmL1lkU0oxRE4yRWZ2?= =?utf-8?B?UGNBMnJQSFdQeW5SSTlYN2ZHQy9MWkgzcDVpZDVRUzlWenVSbmtYc2xWalBo?= =?utf-8?B?T1ltR3lKanlJQzU3NUdIL0EvRGQ0NHdsTnJYTWZNZnpWemtPNkwzVUVqWFpU?= =?utf-8?B?NmhFTnBkR3dyS1oxSnJJL3QycHlLUGl5VndNMXozZnJrajY5UnFud0Uya09s?= =?utf-8?B?RUhtQzlVbUcvdFlYekNVRGdBcDBWN0llbWdXMTNWeUQ5MG5HSUYvUFY0QWhi?= =?utf-8?B?VlFHdkNsL25lanNOdjBXeXhQR0JYd0FncndpYVJsUkNDb1dDZTBCUHRpeU1h?= =?utf-8?B?UStjd2N3NWlvdWkvY0xuTkRPQUtqZnhtYmlEMXkwMXRtbXBZa1Bma3dIN1o2?= =?utf-8?B?akFTTG9jVjd5a0N0VlNSRHgyS2hkaE9NN3ZsTGU2SFV0VG1oZGE2S2ZtWGht?= =?utf-8?B?UDFNYTJvQzFXelZPMEZmem5IN2JYUWZDSlY2MVpOelVZV1dpc1c5YmtOM3Ji?= =?utf-8?B?ZEI0enE1d0ZOMldKSmR0Zkk4SUxEZHUrNmQzVVp4Zkd2Mkp2NnoyR3BFcnBK?= =?utf-8?B?MTJtY2lxc1h4dDlNVW91WkU4a0xmc0NwZFVNTENOM0FuUy93QnhnOXR2eW11?= =?utf-8?B?Vkttb3luZjIwTk5kQnZKbUQ3dEJLWEFCRmtNNDV1VUd3NUFkcENKTGxmbnFZ?= =?utf-8?B?SUg3QjhsZGt0UXd3UUZQaGlzcGQ1eU54YmlGU1BMQnFQeERuR1FvbWRFQTVm?= =?utf-8?Q?1KMg7WyodGRlkbRpXq9YvePVquzSUklUgP9W1jUzIKpgs?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-2: =?utf-8?B?TEV3T0dKbjhtQUIrOU5pd3o3R1NwWlhLMDdXZkMyTTVML1hKOTFCcWh1RmY1?= =?utf-8?B?dHd5czlqYWRtZ1p0OExRYUxpUk4rbmpZWUthbU0zSXgvWGVIaDBqQ3N6elNS?= =?utf-8?B?TjRKSll2VUE2bDFlU0N5M1lmNHE5d3pwT2g4Rlk1WHpsbEhEa2pROEpqaGli?= =?utf-8?B?MkVEajRCQkRGdVFFL1FRYWMrRFJLL21oUExTNDBZcjBlNHY2ZnVtNDRyT0wy?= =?utf-8?B?Yld6RjkrcEE2b0d3cFdxZ0hNYUtjQmk3S0xhSkF5blVwSmlvbTRRblhEYzlP?= =?utf-8?B?aGFzbm55QXU4Y0M5cWhkMFpkOU41WU11TDVzYjlrU3hEaGM0elRxNExOdDVl?= =?utf-8?B?NjRyem8zdmx1L2tDUGhXTjZqNm52Q0FhdUR6Vy91TFFZZ1lydGFQMFdjWFZz?= =?utf-8?B?Vk10ZmNDeXpTblptL1o4VWxKQlB4aU4zajhnT3Q4cHBTWldaVXFwVHV2UFo0?= =?utf-8?B?QmJZbnJVakdzVnd0RmtCTk5kTW5KWVMxcTk5eGJJZnlRRk8zeFpNbElnUWkx?= =?utf-8?B?T2dwMXhLZVhxNDZZTlZ2Tm1LRStUd3ZFUUtZZDFwelZTWXkzYVhOOHNHbHFo?= =?utf-8?B?US8rWXgrellwaXZNM2JldEduQVNMNGN3ZWxhWUpZVHNGeXlsLzhIZ3lxalZq?= =?utf-8?B?VHhHVXhBbmdValJHZyszNURTQXpRNUFnc3B1SWR5S1BJbEdDTGtBUGlWOHpQ?= =?utf-8?B?bUY1aFg4RFhyemlBdkJhWGhzdDd5UERmQTdIcHd4endnMWRhU0htbzNuRkQv?= =?utf-8?B?dlhZZTUyWUY5T1RQMXArMGdqQkJFR3ZBUUNyN05Ga3dGK0pnK29pcHY0R1Bt?= =?utf-8?B?N0xTTEp5T3lnYWlLTXIyVnlzcGxkTlNBY0pSb3BKWWV3NWxONTBJT3Y5d0Qz?= =?utf-8?B?clg3Rk9FRlZnTEkvWmR6UVNjRUxwZkJORTk2YlVodkVoa0hmUDduWiswTWVl?= =?utf-8?B?UHIyUWs4SHlVU1lzanJrOXVyc3dDNldqN1lmdHNmMjJveGp0R3EvSUlMVmp1?= =?utf-8?B?RTNoWUQ2a1NyeGFIdThWZHcrK2U2ODRSejRSK3R1ak1MSUZXWk5jNXdqSDNj?= =?utf-8?B?b1RxZUErNzZkMXoxbmdsOWdNMlphSGhYdmJnOHN1d1crNDRVRXpqaTQ3ZG1w?= =?utf-8?B?UGpkelF1UUJnYkREQXJjTjhLSGpuVkZqMHVLcmIzbEcyd212T1JGQW9IRHJ4?= =?utf-8?B?WnYwOGFyUjVyVkllTHpyQnEwM3ExeW5ZR1JCM0JEMG1zQXo2L0NnOWhlWnFs?= =?utf-8?B?cjlSNFNyK1dTVWFlS3cyNnVENlAydTBTUHAwQk94VEJtVmR1dTVRSWlKTFl6?= =?utf-8?B?SHk2ZHhWOUpsV01BQVU3M0RVTmk4RUxFeHFhdEpYN3BoTnlZSFdObEVOZy9E?= =?utf-8?B?RnA0SlVSN3VuUHVqUEtHRUkwNExPamFPbHRjS0JFU0lNcG1YY2RZQ3VkVWkz?= =?utf-8?B?THBOTW1VMFBwaUpzRGgzaXBBRUd6NWcvSDNGQjZRK3p5cWxjL0k0NTI5MGNq?= =?utf-8?B?K3FKNS9oMUd2SlM3K0Fid21xWFdpNjJRdG5YdDNWUzd2bWhtb0c0UW8zYmtP?= =?utf-8?B?SDlqZ1dPL0toWnBYMEczbnBOVDEwZFRnV1JhbCtpRmVSdWRGazlUWVRYV3Z1?= =?utf-8?B?V3dBSGJLQVBtazVsSkZVZFJwbUllMExhZlA4dVllMDVoUUFkQXljdmxpcWtJ?= =?utf-8?B?b1N4WUs5VFVuZU01OC9EdjQ3RTUvQ1k4Q093K09zTHRCalFHaVJKNkxBbmNU?= =?utf-8?B?UjlvVWZjZHNMZGw0aUE3NW9FT2Z3VmtIb3pTbTRRQkFtWExoUlM1Wm9TMjlQ?= =?utf-8?B?NExUU3A0VFI0MC9zSUcvb0hybTliU2pyci9raGk1UnNaOU9ianlOaEZ1OEp6?= =?utf-8?B?UlNiUDFjQ1Z1Rkx6QzRNTkhYaTdoRExRRnFsQWZ1Q3R3cXBwM28zcWJzVWt0?= =?utf-8?B?VWRnRDlBKytzLzVYbk5na0t3N0x6SVBueEVSUWFrWmxENkdFc2d1MXVhRTli?= =?utf-8?B?bmU0eTZpN28wc01sbVI0UDZML2J6cWdhb2JNSmJnWXBnZmh1VXRaeldjVmVT?= =?utf-8?B?MHRZRFJEdW5RekgyeWNmcElyT0w2L2w1dkIxcXZwQm1KM3hlR05NYThkMTd6?= =?utf-8?B?dC9IN3p1clhra0I5M1ZwL2doc0tUQ0FIUUkrSDRva0hkajZKOVlnTHBVTVQ0?= =?utf-8?B?czhtK0NjMm9DcGlHblJzTW1IaEN2RElFRE5ZYkFlaWlTWXArdFUrNkVpV3J4?= =?utf-8?B?WUVvYXlMekQ5WGpZVndjcnduU1BzRmhTc0xsODRwQ0RLZEFiTWhwRFJoV3VP?= =?utf-8?B?VjI5MSs3TUoxczREWmwvRFdyOWc5T08wdE44NVVEMTI1MUYxdE5ERnRvVy9k?= =?utf-8?Q?FLTnoCnRrnnjn1TzWfA9cU2p2Roq62FB3cKK4107a3gEA?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-3: =?utf-8?B?UEFYNmpzelZTT1MwMFBBWVAzYThudjg3bEsyUjhVZXN6ZmhnK3NRTjY2UFJL?= =?utf-8?B?ZkVPaENnR01XT3IvQmhmQkttNEt1V0FvMkl4elppbVp2bG5aUnp6VW5iTDI5?= =?utf-8?B?Uyt6eVA1SExjMkJpT0VVYXhsY2o4ZFA4SVFLM0pmVEVRY2JGVXQ2NElaZmFT?= =?utf-8?B?Yk1kb0hVZ0RzbmduS1pkOFFoVWJSTk10dkRKRmhZY3hCeUwvVFJoOGVlRld2?= =?utf-8?B?S2tpaS9LR2luMkF6YXlldzBVY3Y3TTFzODRudFFjMkU1bnROc2NEUVFrZVM5?= =?utf-8?B?TnE3cDBjSkcxbDRTQ0lvZTlDSDBmRm42Tkxhdk44V1hMT3JuY3l0bTN4L0ha?= =?utf-8?B?eHd0UHVkOUZURUhxRmJoT014QlRxK3AvT3FUdXlZWXdQcUhud29pb0xWK3VU?= =?utf-8?B?R01lMlBGN1Z4eU42REV3ZE9NUDhOeDdRTWdMTVg4QTRveUdWQUtxSGNSRXAy?= =?utf-8?B?Q1RrQnMvNFRBa3NBR1pHQnNLWlB2VEl3cTJuaVZIV1lzeUlTb0Q0WGRFM1p1?= =?utf-8?B?V1hNOS9sR0k3S2RqenBzQVNCWnlocHZEVHdGRStaR1BTQis4eE4rRDFKUzRy?= =?utf-8?B?MUNkclV5RWpJWWc5V3cyN2NzN0V5K3pLMGtMb0ZLdWVSN2NUSHdpL05jbkpZ?= =?utf-8?B?ZExWSEtqYmVIK2pEUG01QmtUNG5HTHNNaHExMThsdmxIOEZYVXpGQkRvcldU?= =?utf-8?B?emhob0J3UDVyM1NkendoeTlUdU9KdXpaSVYzOWVLOFBTT1dpaGYvM01jMG04?= =?utf-8?B?MGdUVGdHQUlJUDZOQnlYUUpUVDFMWE5hdlRZWCttc2lOZ2RSMytHNTJJNU5Q?= =?utf-8?B?bHhFcjRDMzBENnJ4bzd0ZnVIRHhWUWxXV3QzYjlrN0xEakxqR2FFNHRBVDVm?= =?utf-8?B?V3RnNiszOXIyZEhhZThPd3NSWDhTRXpRdHVBWm02RThpb05TejVaK2lGZXZI?= =?utf-8?B?R3ZsVXpkMVh4Q3pzbzBWSHdnOGlPWTF6RXQwTjFpeFJnWWw5cWFRRnNna2Rs?= =?utf-8?B?WnN2a3E2WFl4Vi8rbE5YdFpEQVlid2FUL2hVZm9EVG1ZMmRmRzNJL1ljY1BV?= =?utf-8?B?Wm5BNFBEYm9TK29hcEFSaDIzZFNETjFvcHozbmpiSk9wb0JOTzJuZnRYYU9V?= =?utf-8?B?M0dBL3VUK3lFVncrRW1YRllJeGppWGRsUzBaWFREQkFJckhObzBYeWREVTVT?= =?utf-8?B?SDdQcXR2SjI1N1BwVk9qZXpRdnIyVDhuemtLWmpWQ3hYVjRiZXdSeHltUjFU?= =?utf-8?B?U1V4alE3cEcySmZuRDhkSUJiMUFwb0w0eVFCU2lJdURGOExhZHF0dkZTdUtQ?= =?utf-8?B?VHFJMXArOVhsVjhRemszZEdqcmVSdExJbXNLQm4zekQreGplcUJrdkE4d0lW?= =?utf-8?B?UHZRK2syR1lRSUpLZU91bTF0NUFrY3lwSmZiYjZQOTRHdkdqZTVVNjM2MEtH?= =?utf-8?B?QXBhQ2RtQVZQSUJXWnpER3lnc29VaFJGVmMrNDZqZGV6Zng3MWh0QW0wMUZz?= =?utf-8?B?cktRUWFJRVU4SHBySUh4Ui9IRThQYmFqcWZJdVZTVytReEtkVTlNNkZKZmFL?= =?utf-8?B?ZEZtaTJqeHFQRkIxU25LWFB0L2g1dzlGazlWWHV3bmFiZ1pKL2tUb2FNRldZ?= =?utf-8?B?VjhWUkI5RWpvRU1peG1vd3h3KysxUStmelpCZC9QTWFrbiswL2pKYkpDM1ZU?= =?utf-8?B?NmROd0tEQkJmS0ZNVk8vWVgwOWFhMXo5N1Vud1dUclcvOG9lUUNrS0ROTTBx?= =?utf-8?B?WWNSeTBRSHRKSDFXUk5FM3Y0YXhwNFhhalBPRDA5anZ6eWpMbm9MdlN1TnZM?= =?utf-8?B?SWo0VjA5ck9aWUVjeU4yTlV6NjNwVXY4K3dzUUNjSHRqQ0JaUmhaN1pnSkVR?= =?utf-8?B?a3pHdCtzWG9qcVAzb3QwMXF0NTQxdDRPMlFTbW1iWllKaHJMVDk5ZUI3NTRT?= =?utf-8?B?Vk43WkNDd0VFRmJNMHo3dlJxZFV5Q09yMnFwSVV4NGJjeHI4MVIxM1NiWEpU?= =?utf-8?B?ZGlIK1FsSzdKV3oxd0NjTHFocm9KTmFBcCsyNVVLeWg2aDFtcVIyVjhmbDNU?= =?utf-8?B?NGRsOUYybVF5a21rTjlDMEdmZm95VzRibGtkanRFQ1psNVlYY3E4aWl6bWJC?= =?utf-8?B?c1hHZnhCaU93aWNSNVhCaFpNaUVVY2ZLNm8rdXpPemE5YmlrL3lLUktmUkx4?= =?utf-8?B?QnAyKzVDRWRZcWlqSk5mK1RzdkhrMFY3N1RXWHJ1TTBZWGhIVGRoMTU2OWFi?= =?utf-8?B?Z016a0w1dGhlOXVZU1BaVHdjR2R2V1RQQUg4RGJ6VDFXSnN4QnVtS1gvZTBk?= =?utf-8?B?WDVmZXZjWWVrYk1xQTlkNmxyUHlWNDdaOUhwVjlLa2xMRWNaSExPdW8rZjRW?= =?utf-8?Q?Al1O1sFKSSD/N+j8GYcltLUks52PEzitY1Jm/0U+ZEtso?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-4: =?utf-8?B?b29CaVBXTzZjSEw0anhaSVdzai9uTUlicysvS2IrWjBUR3hGWWxUc09yb3B0?= =?utf-8?B?WjUxNlc1ZHZYZkgxQjA0QmpvZmlqOXVPQVRibzQ5ZzN4S0JDV29Ec3pSUjJI?= =?utf-8?B?dEh1eWdDWlh5WTlNeTdOTmEwYnYrb3haYlRHdEZxVHJJa3RJWSswMUltM3Jm?= =?utf-8?B?MHN5YTYwMjZhN2FuSDZZTEtQTFkxRVVNVmJDVWFLY2NlSVpNVzY1SG5selBr?= =?utf-8?B?S2Rtb1hkdHpWTE01bWIxd3AvelJVVkVJVkc2Njk1TGRxR25kWlZRNjZITmxo?= =?utf-8?B?QkliM0NJZElWejlFdXdwcjJTVVpEWDhmSFFtM3RMTk9xSzJNM0toVXlpWlpI?= =?utf-8?B?bW8wMURFcDZlczB1MUkra0tTNXVNLzZCOWxrdXQ2MzI1TjJVMWhjNUxmZ2cw?= =?utf-8?B?U3YzZTdOVGFqUFhlOE9jZW1PUU9wdyt0cU9GY2xHQzh0bUJDZkp5U2l6ejdr?= =?utf-8?B?U3dDZEZzWmI0dXVUd05EUmpQaVNneDBxZDZ5d3Y2ZDEzbDRPblAyWEVpSHZ1?= =?utf-8?B?VDg4dktBdEsxZ2o1MWtFbW53Yjh3dlM5eWxkTUVHTllvTGVlam5CRFBaM3pW?= =?utf-8?B?N285eWJtL0REWUJITzJSRE1veFE3NExUZXppRStLbWhzdnZ3T3BhZnoxam9w?= =?utf-8?B?QXVwMG1VQndFTkZkS29BY0pyYVJaeUZhSVRDMDJQVndIaFIvT0ZNUk1OWm9V?= =?utf-8?B?b2VhMy9kKzg2VUpVVGc2cENqRW1hbVdoNTdCUTBGR3N4d2pDNUVRSjhLd3Vn?= =?utf-8?B?RUdZN0I5Q3NVKzJRbGVjRFlmc1NROTJxMG9CSVpXemRWa2JNWFlML1plR1FQ?= =?utf-8?B?SHpTWkNjdjZtREVXVkR5OEVBeWV3SEgrMGtzZHFGek83ZngzNjJ2MjRmWTRQ?= =?utf-8?B?Nis5UmpraTBNM3RTMTFicGoxdjZSTkVkOVVXdkZNYXJYclRocWYwamNBWnBG?= =?utf-8?B?NGlhY0Z2T1Z2R1ArUTZ4N2FPTkNmUDV2ekY1dXlwOVpham84OFBKTHpXOE1j?= =?utf-8?B?MFJTQWY2eG10eUZPbVp5VU1TR3F4bWhaZHZ0R3FnUFN1QjlNeUhoM21qUDFB?= =?utf-8?B?QUdQblU2ZnBwTDhGK2J5M25NOTNhQjF0NG5weGJzb1ZoR0tNUUd6eHhwa0FY?= =?utf-8?B?aHo5OTd0WTR1M2ZnZjN0aEZVM3JlWmpBNHY2TjA3Z3RpRTY5aHR4VXV2MHdP?= =?utf-8?B?aTcyT1hIcDBLa0x1TjVmZ044WElKV3A3UXl6MS96SDhhaUcwZHVnb1ZoSzlM?= =?utf-8?B?NytHUXEvNGNjWExvMEtzQUtINStaUVB4MFNTNVo5VUlmL00wRXN1a2NZTWcx?= =?utf-8?B?SnhodTR5ZitPblBHZG1UaGxWTWE2WmVhOHJBMmN2Z0NnZDljYUZENVhTaUxT?= =?utf-8?B?MnJEOGp3Szlqd1VCeHhobmo0WXFudTVRRllWSUo4aVcrYUpHUm1YNE1ad0tW?= =?utf-8?B?Yncwc3l6OVhYc3BXNlJIamdKRjR3VWJEeUhiS2tOZmk0NzVWdjYzUit3Y3dD?= =?utf-8?B?aWd5YlVVMXhvcTA4NSsra2plYUllblh2dG81bHdUdGJKOVFIdDJod05yL3JQ?= =?utf-8?B?WVl6dHRWQUdEN1RtcUxzTGJYczVQT2p5eldLQmhneFU4d1dPTksvSWFIdW51?= =?utf-8?B?SElDd0lRQ3d4YVIvVU5uTjF5bWQrYWFEQ2xjQmd0MVFHZ243czRxa0ttdi9u?= =?utf-8?Q?kCNen0Drvs4eAeRT/5wtccvT8pc+kww=3D?= X-OriginatorOrg: mq.edu.au X-MS-Exchange-CrossTenant-Network-Message-Id: d7c03626-3639-4683-9836-08dbdbfc0ba5 X-MS-Exchange-CrossTenant-AuthSource: SY4PR01MB6899.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 02 Nov 2023 23:32:57.8660 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: T54YVfPy7aRx5R8vRovd+X/uAUZro3D1S18e+9ikej/gWMn9gwF7/8NB8KSF6OtE5QNbN3U892j6BbjxiadRAAJaOI6zdgzfppAGH2MRayg= X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY4PR01MB5449 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: mq.edu.au Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi Jamie, That does sound interesting. Did you look at: - Kelly, G. M., & Le Creurer, I. J. On the monadicity over graphs of categories with limits. Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques, 1997(38), 179=E2=80=93191. This paper, among other things, shows that categories with limits indexed by finite acyclic directed graphs are monadic over directed graphs. It seems like you could be describing an algebra structure for this monad (which is a fortiori a category). The paper gives a fairly explicit presentation of this monad by generators and relations, so you should be able to check fairly easily if that is indeed what is going on. Richard Jamie Vicary writes: > 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