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,HTML_MESSAGE,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from AUS01-SY4-obe.outbound.protection.outlook.com (mail-sy4aus01hn2217.outbound.protection.outlook.com [52.100.199.217]) by inbox.vuxu.org (Postfix) with ESMTP id 8DC332CAB5 for ; Wed, 21 Feb 2024 22:57:42 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Si4qZiiWgIQQ5dTfRloZEwZQlRbxJxJO/k7svd3ArhlRzcRoSODDkrzLiPzMxW6cpo81G6GJNC5um67ktOqj35J6qSuczSvHOhlmY5kzszgGnsBFPpZqP1Vq88x/KU2w6cEY8vPgs63R89RseJQORQVWkAtVuEGoR20VVjYop95P7mVhtXAiOG290iF0djNAV2LcP6APbBFNtpjtyIMZnSaD7PFkvVrQygydfZzSjZduAEPLqCIzkYVEvhlE90oZDrT8dXj89nlBZgp4YBDU9blSeXTfEotmDRTcItuCB4N0rAg3jrqqYAFw0T2r/5/2E3ApFzbAVRiOV1UMs3NDAg== 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=ivPlpPSQ3fzNUbaw5vnbHKp5C70DTtnAZ2SV6O35Qf0=; b=PXb+lpXVCYB9gytBoBusl107dtgAYjuFUFqHdZ2FU7zfzIZKoiCLG4RepWG9wVxrf92BG2iz209cOuXYCogih/Ka5iPWw3ah9JtVdNER7MigDgf1bf0OHoD6DlTO/jQs0Aa+N+/Ime2//Ch1L8Jc5szUr9KRWREclPUdwG5axz+PVkMC30c2VHvygLk7djU2FWEdRg7HDA7+1yAI3/xlhcuVNl/e0XF3Ne8jJz9+4RJvxMa0+UHSdkq7f7LGI3TJzVCacUU+SVE/kefZHIgPNI8NLhQ1ilWtEVwL7SLY38+T4ziCGdwb/YfU7+VVvOwmfyiWw23pORTbvSEh8zam7g== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.222.173) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=nd.edu; dmarc=pass (p=reject sp=quarantine pct=100) action=none header.from=nd.edu; dkim=fail (body hash did not verify) header.d=nd.edu; 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=ivPlpPSQ3fzNUbaw5vnbHKp5C70DTtnAZ2SV6O35Qf0=; b=WYQUxzKkYEvhnSGX61jHUzH1uRyXFw9w3pTScnlXnbcJkO6qQCEq8i4stEHDGwGUeLXQGDKiWq7FsWWP7bYjlyahvx9Qa+8187C+bdYNfMW8ug2mpPzyNU5ybOSJzwLShrtDRW16QRrbgNTSrdBeY8tvtyUX+9uTZBU6tX2inlUAfx3W9Pz++h/Xe6Kf06/d0mNVLKqd+M2g5PNaOS2mDbvob10J8U+/3CAM8synjOxen9De6ehjfuZm65GaiLkvPXPGgNu3kwJtguyszf1fiix2jeRS/1XVaJqBcTTFn+fn2gonvHy91M/Mc/CkOQIuSaHAeIg0bslS1hUDhoqkOw== Received: from SmtpServer.Submit by SYBPR01MB6761 with Microsoft SMTP Server id 15.20.7316.23; Wed, 21 Feb 2024 21:57:39 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=kJV98Mtxe1pJPeD7WPJJGdZCWkpCqJ5B5i7rblwdFhlL0nLriUEJzCVUUCd47m2oxHFtDHcYtV8m4nqRkR2Kfz28aijMujN8sOj8arV33dQ7oLCo+IJ+azLC5LjnHqD8dwuIO8pkDUh7jEZz5mVDg7JYhIkCiBT9Rxu/ewWHuz35UYuLXyHDTZIET4bpk1yRF3OhrrJ97PZKOgKOGdPMdJSTsJ9T3a9+kMQSaf1T3Z4qHPfRd+to244ZgRe4B5xezilwz5uJwJP2QwrjgU+VHfm5RN3i739Z5QQZhTuYOv+ZYbcCliMsIpSylin8EExXrncJq6mmmLx2pla8uahFCQ== 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=uvZf9I2eveFOwbIHFmenbo7sIa7zzvwTLYz5w6uJ54Q=; b=W9DcQOKznVMyBUDUWMpag4YTrFHaUPk1OQ8Gk8wVJINocOtYUkxM8vrtILj4JGv8xAf1fmCP6NMHjqD5sqZbWnvld5Poz8/UX8Sao4QN+pR8JUywy4EeFLDR1MlxXb6ohep+0YbNvJXuJ01z38nOqjZ26RHpAurpaiWmBMCTpqwEi5Xu71lEpe9PfVQHGCs5Zcd0M7yLCqLhW6cSDHOVXK0ATRX+DhND4GbpLZP2PCqLqKUh+tuVCJl5AzvE360a/+dzDDpo/ksK0LDk+uzAnjlQUlmtSaMP2cLxMt43DbaEi878ko3r96nafq8lAEIwUmU6v04r1qzCnKrSDhIW0Q== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.222.173) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=nd.edu; dmarc=pass (p=reject sp=quarantine pct=100) action=none header.from=nd.edu; dkim=fail (body hash did not verify) header.d=nd.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from SY4PR01MB6282.ausprd01.prod.outlook.com (2603:10c6:10:ee::7) by SYBPR01MB6761.ausprd01.prod.outlook.com (2603:10c6:10:12c::9) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.23; Wed, 21 Feb 2024 21:57:32 +0000 Received: from SY4PR01MB5977.ausprd01.prod.outlook.com (2603:10c6:10:f8::13) by SY4PR01MB6282.ausprd01.prod.outlook.com (2603:10c6:10:ee::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.22; Wed, 21 Feb 2024 21:57:27 +0000 Received: from SY4PR01MB5977.ausprd01.prod.outlook.com ([fe80::748b:1c3f:aac0:be3b]) by SY4PR01MB5977.ausprd01.prod.outlook.com ([fe80::748b:1c3f:aac0:be3b%6]) with mapi id 15.20.7316.023; Wed, 21 Feb 2024 21:57:27 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Bq7IgK/6lJbqm/w6/230bYp4DPwwe7pTdEZe0T1753FKSdN59ARWHDRgkDyy1jfeoe14qjdcJt5ttvB1/OG6eKRhOa122dNRBgWey8ChJbowRwY9ClccCsIUFYr9h44q2oo3HvJeVcRKolJiFKP6sTirbHGcZcrWDZ7keijsuAiRFe723HSNHgrniGijxj8crCT8rmEYT8ZhwT+0txf9C06iyKQN2eJzmhM+FCX0LnYSfw2qQXK6o8J93bp96LU2EEq7qmthq8Txk1bqbeG3us4qwaFolRFZ70EdnV7dtGtLWs6Bvf5CzoSxwygmlDyhYmG992aOg8LvuBnB3MjUmQ== 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=uvZf9I2eveFOwbIHFmenbo7sIa7zzvwTLYz5w6uJ54Q=; b=F6OiC0qEusVYBL4v+bTSRANSkk1HJiv9n2ndFGkw431rCS7Izf01jFLV5RtJT+h/z41VFKQNjWp2672RDQQCiyKTeIw83ud0Kx8wRPAZlgNa/viCBmWAGE2Ff0jvRXdW/BUTWKhXhdtjXpAo2DGIfB8nLotM5MGwx+VeaNgx7lwqtWdR5qI5+a7pwumYZahNQND8HAhm7bNSIej0rHmbrgVApQEx5gXokCIu0vmZ9lnudB7BM+ACZksrlsnjHv5k9FU5kJTNq2oK0f0BjuVuvu+HrTW28uZbRPbSu+nDi974A+fd/8f3EBc7AdITydCFg9i2ShHd9YHKLusWk9hzAA== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.222.173) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=nd.edu; dmarc=pass (p=reject sp=quarantine pct=100) action=none header.from=nd.edu; dkim=fail (body hash did not verify) header.d=nd.edu; arc=pass (0 oda=0 ltdi=0 93) Received: from SY2PR01CA0031.ausprd01.prod.outlook.com (2603:10c6:1:15::19) by ME3PR01MB6642.ausprd01.prod.outlook.com (2603:10c6:220:123::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7316.23; Wed, 21 Feb 2024 21:56:39 +0000 Received: from SY4AUS01FT005.eop-AUS01.prod.protection.outlook.com (2603:10c6:1:15:cafe::f2) by SY2PR01CA0031.outlook.office365.com (2603:10c6:1:15::19) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.42 via Frontend Transport; Wed, 21 Feb 2024 21:56:39 +0000 Authentication-Results: spf=pass (sender IP is 209.85.222.173) smtp.mailfrom=nd.edu; dkim=fail (body hash did not verify) header.d=nd.edu;dmarc=pass action=none header.from=nd.edu; Received-SPF: Pass (protection.outlook.com: domain of nd.edu designates 209.85.222.173 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.222.173; helo=mail-qk1-f173.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY4AUS01FT005.mail.protection.outlook.com (10.114.156.159) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7316.22 via Frontend Transport; Wed, 21 Feb 2024 21:56:37 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1708552597; 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=uvZf9I2eveFOwbIHFmenbo7sIa7zzvwTLYz5w6uJ54Q=; b=GRNaa3NaHpM9amVPEF0d2XmTC+eacxPgAtrBG9Re8v1ojs6FcNPL3yT88g+uSiNrNhyHk3 dKA5ui/+vv5NKcU2cpx8GHMx5pL5dJt2BQCPnIFWWczFpSUQRMH3xbj/X9LADtIkllXiWO q5Iwk1IfZvzQeHnaYRWob5/F0I9DY7125sRt963ESWVBBCcxlbMa79REShywfqw/+Orhy3 BCyK9N+sE3qcDFv5jcMG51ZbTIwg49rUCrfQtiojQeNcTbqOhPGzsd221kWOQqE08RR2UD otSQTXMzRyeo1hqF0U4BQv5Hu3l+Q2Xcns9B6GnwsTpcsx6FN/mg6qTaWgyuFA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1708552597; a=rsa-sha256; cv=none; b=SskyK7VXn0tHPjwIx34ioolZrIW7HgKhf/p5JbdNEqLKYU+MDaayvqydWjliSSkpDOskLt 9Hj7oXtgD4J8KLkhJNxC9VPHuxqOOtYllVYjTFyoz1afKu0MF3TGrYtogAPIdQPRapC+Qx ICQMQw4wcjTUsGzOJPfEfHOKjKNI+KWkE+lsTI3lVxp98hv865Ct8sEYGWj+SVbvg9YaGF u7bcReHmklFqgehQyGIsq/psceyKCqvkdPMdX9ExHq1AZ5SeTPh4ZmS+Oi2ydCYrbUB2w1 zKN/9mADkKDfx26Izu/LYkGbf+XUhNcXS9bFI9ieTHENVjJcv4S3yv2zNI4Xew== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=nd.edu header.s=google header.b=Ub9RKmHX; dmarc=pass (policy=reject) header.from=nd.edu; spf=pass (relay.mimecast.com: domain of lriva@nd.edu designates 209.85.222.173 as permitted sender) smtp.mailfrom=lriva@nd.edu Received: from mail-qk1-f173.google.com (mail-qk1-f173.google.com [209.85.222.173]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-83-vDtZCNluO2uqicG4DhSd3A-1; Thu, 22 Feb 2024 08:56:34 +1100 X-MC-Unique: vDtZCNluO2uqicG4DhSd3A-1 Received: by mail-qk1-f173.google.com with SMTP id af79cd13be357-787953bdf55so14783085a.3 for ; Wed, 21 Feb 2024 13:56:33 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=nd.edu; s=google; t=1708552592; x=1709157392; darn=mq.edu.au; h=mime-version:subject:message-id:to:from:date:from:to:cc:subject :date:message-id:reply-to; bh=xLNmDbsMaGychUnYngYGccRuM/5DzuRsxde1uYm15iw=; b=Ub9RKmHXccBZBU2Gknb16XNFv4i5w0lcFmHnO/PJ+v9nEg4IusZHgGLtWr0pr3gVpO XODjHzEBKBiS9wQ6xxoQCt4LTdZrlPXsIL3gtPIlAzPTVF9OYHSevyKUQWKsk5ba6fni XUD6FcOngLP5TuB6O/RIJtlTL8wxoRmJdIGy9KItLhHJvVepQtFXd0iv9IeDBOXwRLFY 70/ndSZ9hfxw9ooRNoLdKr6ZWpcWzX3B5u7tU+ukrp3sh+nnvYmKqwaQkZs855jF9QtK rKEZQVtIO0nY/Ozrn/5LMLM65ijXf51jLE7KkNEPt7vHMJiJoFDIFKUSh3BFjTB5Ryqq 3CMw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1708552592; x=1709157392; h=mime-version:subject:message-id:to:from:date:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=xLNmDbsMaGychUnYngYGccRuM/5DzuRsxde1uYm15iw=; b=ONdV8LPl/HC3Lof6OQuz+xGLkCOV3MUH1PLEgY6eINBqlyQJ1Kfi5Cwj6AzAwjtjtj L7RIF1cbsV8avo2nJ/MVhnHbvwXbLPPnnnTP3E9sA9A3XbKUrhmCI/cbZTWwBXR4D0dS qW77m905/oNWFnBz3S1lXEe4xb/OC1T6dzdcBi9FPlyRpcwGV2vAAXbBEH0a8noXd8TB it6aAkN3YAmAErTFrnyrO9ge1F0C65iWeWz/THgwev516Qc5XFytDzwbnwBpyOr7avl0 sA5OZSAOSLJqMyu9qHDiWYYLrBTTk1pvt4+G++tBn3IU6ffEY5whrdJWRelAFmbHLlsX NsRw== X-Gm-Message-State: AOJu0Yyu14D3uMYXOfThjobu6OJkklB+uCtWSTqec9qtYh6ZPgH19Dkc LgAnfIS16EyBQ01sUmdDQBB1870oLmfY9RF3X20MJLUW1d3IWxsu7gL8eSfTb7zWeMB9dvxSy0Y = X-Google-Smtp-Source: AGHT+IGBP9JQdj/TPTdkaIob+44p4gyPeFcmXeW3EeT5P4gVq3XOIDpL/i2jRxq4otILu9SlvWoBLQ== X-Received: by 2002:a05:620a:11ba:b0:785:d6ae:cc3b with SMTP id c26-20020a05620a11ba00b00785d6aecc3bmr23316638qkk.9.1708552588991; Wed, 21 Feb 2024 13:56:28 -0800 (PST) Received: from [2607:fb91:22cb:c05a:76:2521:100:0] ([2607:fb91:22cb:c05a:153:1b9c:fde2:b7df]) by smtp.gmail.com with ESMTPSA id b16-20020a05620a089000b00787746323c2sm2187016qka.16.2024.02.21.13.56.27 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 21 Feb 2024 13:56:28 -0800 (PST) Date: Wed, 21 Feb 2024 15:56:07 -0600 From: Lorenzo Riva To: Categories List Message-ID: <41c88f03-d4b1-445b-bed3-77194d5c2ea1@Spark> Subject: Strong monoidal functors and Day convolution X-Readdle-Message-ID: 41c88f03-d4b1-445b-bed3-77194d5c2ea1@Spark MIME-Version: 1.0 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=nd.edu header.s=google header.b=Ub9RKmHX; dmarc=pass (policy=reject) header.from=nd.edu; spf=pass (relay.mimecast.com: domain of lriva@nd.edu designates 209.85.222.173 as permitted sender) smtp.mailfrom=lriva@nd.edu 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="65d67189_7c23be94_4009" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.222.173];domain=mail-qk1-f173.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.222.173];domain=mail-qk1-f173.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT005:EE_|ME3PR01MB6642:EE_|SY4PR01MB6282:EE_|SYBPR01MB6761:EE_ X-MS-Office365-Filtering-Correlation-Id: b381619d-30f3-403b-da62-08dc3327fa25 X-Moderation-Data: 2/21/2024 9:57:26 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: etHuPemiLCA6Twp933BfVd6XJZoAE7lRu7d2YTxC7Pp7rV1BhUmxLmvJSJ+uJ5PBK5H1eX1GgrkVKRHDNuAQgeXB0TArnsV5jvAZHmI9MEzT2uZ4KNuxvmAVlOc3UOQ10VS8xdz9U0qtaTRwTZSflQJ+jm/Q3BNo0UbsC7cw1cR8ifPmzcEuA/+acQeTmtEEtI+wKJ+jvGQZllxlntlvuPG6RYSUYE5v/GBreVw/4lFQOmSyLspxwSPppDoBDSJXs22h3oAVt6yqOomAO+oFk338HMV1D8S0lOW9FDpg1Rn8zlJfetdEZvZAPWCTyH68oun5SY6Y1/2VWXVqDBYV1X26v6RixY0aX+PGeFgJ7qdRn3Mrer/3rGYLGoaas9c7A/7Wvd8KB1aE8dJ+b59jRhlCQYz299tS4cMa6piJqWF/AFZPCwUEfPd6ijDvLlI8WQm5BU41qPZJjOrB2D0Bp5QM4UhwJ4r/grw3EMlt4CXmSzBmAIaaj9j9YdHX7M2D1YMvssTHrrvG1LCFuXjC/G34b+HIW2Vxs4NpIb44Hs9/7RalxMY3HHN0+mb1flHqsLuGsXLRSibcSCbJNQrykN5RksAEHlwRWikKF4iPMAAt+Mo64DMMMjI7NoUULnnGsi9fvdg3WGW3J7ismygsPyl6twU7TQWFpB9UhcHr1eHBsdR3nXtl+c7Rol9G1xS8M+yFJkJrs9P+jhKoUA/JWmBlorGXjLI2955qwZaKDxCUSNfNIyUxbdkW2WFAyP4fG3jziPoDHQ8w/EyHv1eOLl0TKPHtUT0ivPH60N5yprI= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-qk1-f173.google.com;PTR:mail-qk1-f173.google.com;CAT:NONE;SFS:(13230031)(35950700004)(32650700005)(40470700004)(41110700001)(41090700016)(41080700001);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: b381619d-30f3-403b-da62-08dc3327fa25 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT005.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 21 Feb 2024 21:57:27.6249 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: AiBKSlygX+aVRhSnm+psALnGdP40NDfhD+ctiSrU0UvZOQw5zlGF+q+z+m9qW9RhCPnHXgMZ+04R4triqW1hAmdNTA0gecwNJKV3cneROXTMumiKog0L66zbCTkrgAdXPbGB0TYcBwX1ze/pgCim2a20zMe42AjngOKbCEgjCyExWnQBfTf0xrfb8uDlVz2/ X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYBPR01MB6761 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: <41c88f03-d4b1-445b-bed3-77194d5c2ea1@Spark> 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?cEhiVEg0Z3JCZzExRExRQ01IcG5JdDdubGpqUjVYUzBTeVNrM09Tc2pueVB1?= =?utf-8?B?R3Z5RktuWUh4VjhSQjgxNEg4WEJWUlNzN0NjUFVCd2dJaHl0K1lrWjhCVTBp?= =?utf-8?B?bm53Q2lLZk1BUStBU0ZydFRnYVdRczI5UGdXUlRBclhXTkZKd00rNHZjeG10?= =?utf-8?B?NHorRWhYcXlicVpYUTZnMStnWDlIWXJSOURwaXZvb0ZBclNwUWR0a2VRNmMy?= =?utf-8?B?WWpUQXJlZHZsK3BHL2Q1M0tLYWVJRHRTZ0YwUllac2JmL2dFQWhlN3BiQmt6?= =?utf-8?B?cldyREhPS2dPOTFmeGFNRjlPeXJXeWMvQWRaVzJrM0ttK05wWDdhdVo1WHhT?= =?utf-8?B?VU9kT3F5RUs4VVhhSkJCY1BsYk9aYVhWYTRURkRBbHBkQ09lZUdTWUxVbHZ6?= =?utf-8?B?c2lWMEMxbFAwSmF0QlQzY2JoZDVIUytMeVJVUm9VRVN1VE41Q25DVzVMTyti?= =?utf-8?B?QUl0WlRaZFJGc0NDejJQRnNvQkxoTmNQS21vUTh0RkRoa25RY2UvTit1QW1Y?= =?utf-8?B?SDVKYWNRR1gyU0VmYnptS0ZXS0ZRWjNOY24zaUJUQUZGSkpMTzdkVitJRkQ5?= =?utf-8?B?dmZvMUU0V1Evbm1ERnpjNmVrNHlLRTAxOVZQeURhTG5zWlhEZHJxY0Q0R2tr?= =?utf-8?B?T2hieUhwS1BoYlF2MjFpNGdjanB0RHVlVVRGdXExN3VOTndSNEVhREtZYkla?= =?utf-8?B?VlBGRSticW0xdW5KNGJ0aW0zaWZWY2R2WEVQcnhLUEgvKzJWQVczM3MrTGVI?= =?utf-8?B?eHIxbThEZm9iQnZyTG1ZN1l1bXpadGI3dFV6elAyQ2FLUG83c1NFMW8yb092?= =?utf-8?B?SlBaMmNpeGttakdCVENTK2lNY210dURsV2JWODZoUy9WRHdYQUNGckJlejBD?= =?utf-8?B?UE93K1lKTEluWHprSC95SFZrUlRTOTh5bjlza3VVZWE5Wit2T1l3ZkpVUk5y?= =?utf-8?B?dzVIa2t4N0RrV2lEb3YrbFNlT0djQ0ZwK0hkM0QzVEY2TWU5SVZnSFR2UU5E?= =?utf-8?B?L2doWEZuQ1ljSHIveEx1NE9yT2l4ZUlkN1pJVWJoRXloNjg1ZGx0NGtyVVRK?= =?utf-8?B?SWluQUVFY2RFaUdxcUx4aVlvTGdyYVJuRUhJbUFLWnZnSTdHN2MvVGRucG92?= =?utf-8?B?cTVCUUtlQUhxbGdUL2VpOWNzdk5IQ0R0UG9HS05FY0tmbEN4Sk1ENmVraWdE?= =?utf-8?B?WnpOQytOV0o3dWYzL1lOL21janJXdERlYytnOFBnOWhwenRtVHJ0VVRGYktF?= =?utf-8?B?QlRlM0pUWFkyR0hWOEwvQzNDd0FySXh2RzdpRkFjOTFVVkk4TGNJOVNBSm1J?= =?utf-8?B?NW52ZFRGZWdDdTNOOGdxQVZGeXE4eDBKU25hL0x2ajA2MnlZSkZkOWRZWTVQ?= =?utf-8?B?eENGdTBYNXlQMWpQdEhjOU9MU2tid2RHTzhLcnlaQWJHbjR5blJWVVlBY09r?= =?utf-8?B?bGRBL0UxLzNDZEEzb05PWWJzNHVZcVN0ZGp4ZXpBd3I1M2xFZmtkczhLTHFX?= =?utf-8?B?NEQ4dnYvS3VKb05QRHduaE9ycUFGK3lOaXhLTkxFQXRtZDg3eWVTWFBpb2lF?= =?utf-8?B?bWthRlErd3lOa0dpR1NnTGVRNHd4TSt5ZkJlTUp5U0NZWFExYTMzS1NZMzRt?= =?utf-8?B?WFRtYVZjMzJkMS9zUnhZaWtOVlFOUnZTYmRNdTBoNzdJNXk1NndVZ2g1UFcr?= =?utf-8?B?U2pZWnZGU0ZUQUN2bW42T3BnTFdOWUYzcGdrRlVBZG0zYnZRcW5rZkxFeGFa?= =?utf-8?B?ZDliSDdiT1hLc1NPaWxsNFEyeVRzTjBZcFRYL1JXa00rNGtQWUdPUXRSMzIw?= =?utf-8?B?anVMeXpTQnlrNWk2cXFLdFFWWkZlNkMzVWFTTkxqUk9UL0R5MnprMzJ6STZ5?= =?utf-8?B?eVk4dXl5OVdSVWhFd1NhN01WODRqNDJuRWxCNWdIanZtR3E3akh4VmtpdFlZ?= =?utf-8?Q?/LW7hkg+NSbzJZjTYMk2v9KzdIvQnMng?= X-OriginatorOrg: mq.edu.au --65d67189_7c23be94_4009 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Dear all, Given a V-enriched category C and sufficiently many assumptions on V and C,= there is an equivalence between (symmetric) lax monoidal functors C --> V = and (commutative) monoids in Fun(C,V) with respect to Day convolution. I am= interested in knowing if there is a similar characterization in the litera= ture for strong monoidal functors, as a property of objects of Mon(Fun(C,V)= ) or possibly BiMon(Fun(C,V)). The latter contains functors with a monoid s= tructure for Day convolution and a comonoid structure for Day coconvolution= , obtained by taking a right Kan extension in place of the usual left Kan e= xtension in the definition of Day convolution. Best, Lorenzo 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 --65d67189_7c23be94_4009 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline
Dear all,

Given a V-enriched category C and sufficiently many assumptions on V and C,= there is an equivalence between (symmetric) lax monoidal functors C -->= V and (commutative) monoids in Fun(C,V) with respect to Day convolution. I= am interested in knowing if there is a similar characterization in the literature for strong monoidal functo= rs, as a property of objects of Mon(Fun(C,V)) or possibly BiMon(Fun(C,V)). = The latter contains functors with a monoid structure for Day convolution an= d a comonoid structure for Day coconvolution, obtained by taking a right Kan extension in place of the usual left Kan ex= tension in the definition of Day convolution.

Best,
Lorenzo
 
 
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
 
--65d67189_7c23be94_4009--