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,HTML_MESSAGE,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H5, RCVD_IN_MSPIKE_WL autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 23673 invoked from network); 24 Oct 2023 05:18:13 -0000 Received: from au-smtp-delivery-110.mimecast.com (103.96.21.110) by inbox.vuxu.org with ESMTPUTF8; 24 Oct 2023 05:18:13 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mq.edu.au; s=mimecast20180308; t=1698124691; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type; bh=leTXvS3uW0Y4BFtVTGb4TDrjJ4QEuBAflZsYqbwkPUg=; b=DO+neWaiqxxsfy7LDeXB1Z9Xk80dPS2iV2T2PxnQuUJa/moNaiGLEW9euWQRixz9Pa/ic9 rplRF6qxxzWArjHbEnT1vzslsnQnx0uHH9M9WFUGKJ7mLCR1Zn6SUYTpr37+D1vhg8Tczp tbxGTAYO1VDgcr4RO84UOtMByw/EVjg= Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01lp2232.outbound.protection.outlook.com [104.47.71.232]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-94-KdZgnXyBNzS369ngsSwJgw-6; Tue, 24 Oct 2023 16:17:22 +1100 X-MC-Unique: KdZgnXyBNzS369ngsSwJgw-6 Received: from MEYPR01MB7102.ausprd01.prod.outlook.com (2603:10c6:220:141::11) by SY7PR01MB8080.ausprd01.prod.outlook.com (2603:10c6:10:1e3::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6907.31; Tue, 24 Oct 2023 05:16:51 +0000 Received: from ME2PR01MB3122.ausprd01.prod.outlook.com (2603:10c6:201:25::10) by MEYPR01MB7102.ausprd01.prod.outlook.com (2603:10c6:220:141::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6907.31; Tue, 24 Oct 2023 05:16:48 +0000 Received: from ME2PR01MB3122.ausprd01.prod.outlook.com ([fe80::ed8e:6f67:8f03:2a3d]) by ME2PR01MB3122.ausprd01.prod.outlook.com ([fe80::ed8e:6f67:8f03:2a3d%3]) with mapi id 15.20.6907.032; Tue, 24 Oct 2023 05:16:47 +0000 From: JS Lemay To: Categories mailing list Subject: [Categories]: book on categorical computability Thread-Topic: [Categories]: book on categorical computability Thread-Index: AQHaBjksH0ud4Ye2SEuQoMMf3/N1og== Date: Tue, 24 Oct 2023 05:16:47 +0000 Message-ID: Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: msip_labels: suggested_attachment_session_id: 3bd3b2d7-9eaf-fbf8-ac17-50c86a3e019e x-ms-publictraffictype: Email x-ms-traffictypediagnostic: ME2PR01MB3122:EE_|MEYPR01MB7102:EE_|SY7PR01MB8080:EE_ x-ms-office365-filtering-correlation-id: bc21ff6b-0f18-4bab-dd59-08dbd4506c1c x-ld-processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0 x-microsoft-antispam-message-info: c6tenuO/rkJ4ACU2m1vZ/jxzSFbcuuMjy/IqaSCxK+1KCDVrbrcBTizgy22qlmhbkHnnMd3z1uiAtxpomagftkryTmaRUnEUJZTFIrbR2uf/uiQdFh07MtIIwucrFy9oFl6dpLC0G+uVsSIHtwK4CHQveBk7SiaJtgKmdGhV6ZLnyXFSqDfshr/WzR+xWcMK9osJ4iUtUOoh/lm5FoqA8QEUVBsb8GLj/U7wiTQvoVGIr+l7RxWyviprAG3cKIPnjBxJfJhVjqWMCb+Ep/GVuKa1sVRGOsq7pVbvp7U/juz84pmooDEP0pJADHAlvgoQ+BYzLz4RDD05ya9naiqM+SPEjKoTi0Z1XojKCCH9YWP1jh5gUh3YdpoKeVR149a0Z7/zOPLrWrAAC9ohimv7gqTk+Vcuabiuc/+rjv9Gqb/tMWoXJ/okanWVeToCqS5zpW8C6VriyNeEt4p9iQMN6gm1FeJcsAnUdGrGFcg5S98eNQPWgCXjLh1M5Vxb7BJiO0yjaROfP00dWJNXj/qS2nKNs356mQS/UcxfmYb3x45f2JylEx9opfagydCqt2RCt9xL1FAy/CioUOekLAyuKAIG2eES+iRvLCWmlXrlkxMU4Qk1PkHqPH7qZRfXyP1nGNfwUDeAdqlraZ9Xx+L8dArq2TP6QgaO/eL81xlXFYaNl5EY1EAK9Y6CFLL+GpVLmgjUHPvOUYZmnG7GdaeboQ== x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:MEYPR01MB7102.ausprd01.prod.outlook.com;PTR:;CAT:NONE;SFS:(13230031)(346002)(366004)(376002)(136003)(39860400002)(396003)(230922051799003)(451199024)(1800799009)(64100799003)(186009)(66899024)(55016003)(26005)(7696005)(7416002)(1015004)(6506007)(9686003)(71200400001)(66446008)(83380400001)(8676002)(5660300002)(6862004)(7336002)(52536014)(7366002)(7276002)(2906002)(7406005)(8936002)(41300700001)(89122003)(76576003)(88732003)(478600001)(966005)(76116006)(64756008)(66476007)(66556008)(66946007)(316002)(786003)(6636002)(91956017)(122000001)(86362001)(166002)(38100700002)(33656002)(19627405001)(38070700009)(41110700001)(41090700016)(41080700001);DIR:OUT;SFP:1501 x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?Ilv+9NWHSHM7EzYwSE3IkxYg+vQCUoa6IYtTeIIt52MjkfvN73dEUfrNem?= =?iso-8859-1?Q?77WiD4TjH8cHoCZDRS2odeztU/MB3K0BO+TvmIh3oEmVYveASk8FthFS+v?= =?iso-8859-1?Q?cpYY6xQeu+JiJARJoRrvvlwtypPk9gO9Sb5vFPpw6CnZIY02Fl1yjm5+iG?= =?iso-8859-1?Q?MmrterpxFPBBiqXByRrINhS9tDlGlTyCOmVsP2tuZLs3xle0tuzUBY+UUW?= =?iso-8859-1?Q?cj+8Vt66qhtyQKu42XnZ9nOYemviLpukXEq8pfTia2/wadWJqIRDLPXWR4?= =?iso-8859-1?Q?ngMjN1Qf6LwdjOxRVs5IeOfOpYkCQUDfe28/Yi+H3kiQs2Xko3g6nxkmZc?= =?iso-8859-1?Q?MuhIBUY8n5dhbyMLIr8AxMi/S9TuBP90B/gChx1OvGUKwmKRpqOsUX7h6l?= =?iso-8859-1?Q?Jiemc0Nqo6Nu1lWtg99Ls8CkGl1giIa3za6NgA1QF52Zh8uNjuFWjGG0Nv?= =?iso-8859-1?Q?/3dp/F7gOwYEnMn8Cb8vptwmSDcK6MT3T4+j3YjrOV8gwwz7Qf2ICJOPGN?= =?iso-8859-1?Q?r9a+YGNM23vohl9/NCYgtEliE10We/Vj94iEHPpMcwH7f+xxykMPXBfRrW?= =?iso-8859-1?Q?fkhqpVt1JQJj4RGnBP0zG9GQtxaACkyp0Y9yE1yft5eKNdNxP19UV7ONjF?= =?iso-8859-1?Q?8YEIaJqxlbtoDAfNfQPCCTtrKsy1qavVfAiILhFSjUpxPH9z6RtJlnNRwn?= =?iso-8859-1?Q?g7+K4p84u3wEjYb6gpSgicYvlHwo+AF19xfHzorncfP07RZRCDe2eDjSpD?= =?iso-8859-1?Q?/o6E4IVYQ6B6DPbz9Bj9udQOE94mpDcdik2Um8EMTGRk0J2TATr1hjC6qf?= =?iso-8859-1?Q?9hs4efLuHpwCv5dUBQMh4jwqVAO0a8JvRypRcsLYzulSdbdLBmySlk8mnV?= =?iso-8859-1?Q?Bt0z5MU1saDEY+OchE4G65FQEafzgiE+S4FOx2E5dSLE76nlnUVkjupH2P?= =?iso-8859-1?Q?zFpXO+ihXeb0tJD0YssrA5dp96DabRiCM+8v2K/oZL9VvAqtP8t16rekOX?= =?iso-8859-1?Q?L7NO7uv/vk508sxuEHItyglxBBNJk+3i4/w0JeyYXOYwuXmA5tvozVhB5l?= =?iso-8859-1?Q?y5RQcHAUz/7zhMMGVTJZP0sd2edEzFQNim9mhhbjN0jq5XqfqpacpE2DOl?= =?iso-8859-1?Q?ZaABgJjYhckY8EWelSHksu7io+vbwlpR3a+OKLMzCQo5iz+eq9XDBsfIhf?= =?iso-8859-1?Q?E3/Fnyk0PZSZfml2UXwEeHwpONLpu0ux7rvY0nsy4Gz0xbe7gxq3MTvmR2?= =?iso-8859-1?Q?w0rlP1On7DZbBpwqHIjEk0KOurHaU27g7amnFCpQ8B8JvHY7ahHwFt2cLS?= =?iso-8859-1?Q?GYA6KoRgVmvWsJHrlFPrz2r3X3cYb+9gBIl37k8qCHwBskTGJypt+G7apm?= =?iso-8859-1?Q?FG4M1qJ33uh4z48IVIJWmFssEBfR4Dxa14dLsHLzwqCg6OBWucNJm+yPFV?= =?iso-8859-1?Q?Pr1mjaDlvYm6ftjhlQbVFU0JUt9ZxIGuNFdQbKR1MPhV54ilK0MDffEGLQ?= =?iso-8859-1?Q?GJCphYOa1JgEm9Gb2TBNrUIyFjJtHCQmFLDIVfTo9gTjacXI6GDQxXALBF?= =?iso-8859-1?Q?ADZew3gedzqanMc3a3NFNhUZ1VXNQPb1X1tLLN8hgSYt0bw+IMUVBgHtzZ?= =?iso-8859-1?Q?LCre0+zQOtP5KlQNAD+lT0fkUkP7rmPP4S?= MIME-Version: 1.0 X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-AntiSpam-ExternalHop-MessageData-ChunkCount: 6 X-MS-Exchange-AntiSpam-ExternalHop-MessageData-0: =?iso-8859-1?Q?kmulUBBFUoMltDVvAjFudLdRp7ryF5JM3oxMDsj9lwjQo2fsdXCMRuP/Rb?= =?iso-8859-1?Q?3TF6+98wZ6H+gQzqBT0rdsKQX7nvRJ5fkB+8DdXFJQmZkjZSxsIR1ekPU/?= =?iso-8859-1?Q?fVUQ7xUnTqeXhPzqb01GC/zW1FL74NszojQuvIuNogja05LJhvcdIXxDnM?= =?iso-8859-1?Q?ZNfh4G1U+015Xq3kEC1XSvSnwq6azUvcj8HQs5+rQM8ez50U+NGaDSJ8LL?= =?iso-8859-1?Q?dUhGqEvQKieVeIH60805pQumrWLXYLG2b78ufehjM1Ad7k2pCVMMQtVFr6?= =?iso-8859-1?Q?2slo8ghngFtvJZSqddYDMiGrG431lCGmUR2cHYd6N6IK1ECCgjQic1RHgf?= =?iso-8859-1?Q?HJ0Yc77wgGuZRtFrQP2Dfu2yHLVLMc3Dx5R/pfqWLXZqELBS2N+ZADJBO2?= =?iso-8859-1?Q?uHnqI9kgmK2JTKtsaQIKbKMJLJVHykXfqo0uCfQEoXEFHzd6nBmDxNVbrv?= =?iso-8859-1?Q?Me5xiacOWkA811EjcqYObKzXiH3Ub+7q40THyMTPOb3r1vLvIerKBJpszt?= =?iso-8859-1?Q?68YGzrZwa6jBNlq40FJqnxtJXIUf0OXJz0a2KCe+e+dnrgTtC479jaGbXy?= =?iso-8859-1?Q?0t2OLxl3ecxgO8r+8jT1cyK0d6F6fYCv57BlCPodwtHt+cUf8AsfuS3M2Q?= =?iso-8859-1?Q?oui7MVWCghOR/TTUuPp/1U3eIN1X87LWgUpN85YDuoaWF9iu12WMU5AYDg?= =?iso-8859-1?Q?8KdTZTm8C5AYXDHJWjmjTOqpMxJh1d2+WkOEMhntXn9S9vxTB9kEkepmL2?= =?iso-8859-1?Q?rCXbE+tg6v2/KN5t4LN9vn+YWFC+QUeN5/x/EyrxlwYVp6eCXLxOtvcDdb?= =?iso-8859-1?Q?Pn1v7DfLXZFDlXZSGLnHZxp5GtzNK/GK3kyxKnz5d0ws8ZkC/wkjwd05de?= =?iso-8859-1?Q?doURwSDh7jHeb8yEj840EA2X0Ledr6VxGvwFoDXXj5YUwAvxIylyyVgavR?= =?iso-8859-1?Q?1XXZ4EGeVVkD0YUxk/oQda5Ght7aqAugCMUfaWmnacZc2Br6QKtIOk4alS?= =?iso-8859-1?Q?QzWWRSnLnR4OccY6GKymaV4zlvogGC6G0KohTrOTyYSmYNCm5ng18Ndg4P?= =?iso-8859-1?Q?cJY8GsS6p/kl2Uhl+8pvQM4mLesMJHnWSWS103j3XBICk8rfM1baiNBsd7?= =?iso-8859-1?Q?Z9SrKucAEiq1SekcMh3iD9C2mITDt/R5Tq1IegII/fbnXsrgELd1X5vGFw?= =?iso-8859-1?Q?VyWts87jMa4Bz2KxOTj14iBUIavoI1giKUwINT+gvnJV547HZj6lhN91bS?= =?iso-8859-1?Q?Qrf24r4oxiKwJMGPIezjDWqAbciP9x8WEpFWhMiShBpZKnEdnhBWYQAOuO?= =?iso-8859-1?Q?BZKJGKoVHk1oeac62HwPvaGMLc6c+U0yMSMZxxrUc4e4RqKM2pkLsadfgw?= =?iso-8859-1?Q?8uqkEXzpVul7un1gGDndgYB+TL/CwLr+gQiIL1czQyHwPVUSYHXtUsmeWv?= =?iso-8859-1?Q?botJGXL2Lfxmn97X45hzHa/kJQ1XSWbUuhwaC1WWPmyoaMCv7UK3VZl5pr?= =?iso-8859-1?Q?Ko7W+4RDuTvpPLu/adkl1+E9sPL7Z7WyzE5eqWV+69K2NC8mgfxCqNdhJX?= =?iso-8859-1?Q?A06xTvdF4bPi8peMFihxSeY+bN5A5sdaKsLdGuc/aJlc+d1OAPR6poZ+H6?= =?iso-8859-1?Q?mSwu+lowVIA9WZGoCT0qX4YubxyCFn7O00Trp6xRSRiqwSPtqV1D39ZVhQ?= =?iso-8859-1?Q?GtPjrPC8/CHPIRHCriLuwZzN5WASL+tOPcjEI8ug8r3QYhccoyiAnyVBN4?= =?iso-8859-1?Q?MPdHcwQbQfTk+Y2oi7YErZ2Qkm9wPUCR9rpZnLEk2DNbUizrC9rfopGd9L?= =?iso-8859-1?Q?83tW0aVTCJi3bYLeZuMFlcStYk6sQ1QkTNC54KQY9KuuLyv13qQCITTo6H?= =?iso-8859-1?Q?IG?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-1: =?iso-8859-1?Q?zHkQJ3LNZBOcgxPFvB2oWTqa9zWmFntUgO3Ky+0wqwyylYgndTUCh2txIO?= =?iso-8859-1?Q?+QphDmQ1vviTGNGH7Tgr2ztTndD/UtucsW4pEBJnr7ZYfqx9VRoYxIF13m?= =?iso-8859-1?Q?SnpQzsq7mQ2OepFHbHwmaoNP4canUclMJKErdSnsrygW/P9evFs5pKGQWR?= =?iso-8859-1?Q?T5fdsG2TahcIhDywD7Y8v3W4SlEk4tmLVaD2gM06w6BQ5PYtup1NK4iIHX?= =?iso-8859-1?Q?C6CZWWKsjh7ZvL+WtfWYfGXMUv1a6Bh89dqzejWaCtjGIm0kEYlRlbi11i?= =?iso-8859-1?Q?mgl7Pi3EuTQ6BNYllSZ58Ab684OoXaI4qo7Eda0vswYfnG3kCLFQ8bi4Ah?= =?iso-8859-1?Q?PU4bARlgt6jPDuWHwQfcdR4s3SJuGzNSuotbEckL23YbhiHn8MmrlC/pio?= =?iso-8859-1?Q?ZGcmysu3Xrl2evvIZnBKG5F+v4IRSVfQH3jv7VFerpQe+mYiwwkQiny7RC?= =?iso-8859-1?Q?qel6zPYBBzFcndlUFETbzuKyajvN74ymguwwgDVvjYYRNWGK/BlMRKv19l?= =?iso-8859-1?Q?u6v/JM/Un9GNtn4udveIdBn8lw1Ac38YtFfxMdGlldAcTn8Vml1iSK+F9F?= =?iso-8859-1?Q?IaQCj3M/G9vdtdSNMM/7bHNp0EWxHGr1UBW8yfF7o894AW0IwGkfwyHbPS?= =?iso-8859-1?Q?cl11Q+cre0y8J3F6wbAM+LTNM0ut7pDAQwGL+yJDN9vsgB9k4QMBXe0SxW?= =?iso-8859-1?Q?mz9ehzd6xw0IEYUq0/QlW1MwGA76RHXaL8qe7YTMwldeyklVSxGAPFTeQd?= =?iso-8859-1?Q?5eDXlngLP6e4vk/Ffcu2Jmp38eVHqSq8Nog0YDaOZy1O0KJICp0cx+f3gm?= =?iso-8859-1?Q?jQNikQSuiNOfHg0BIddI8dOOT9S/sSZpzbNlsiawi+7wQXJfFguOD84L89?= =?iso-8859-1?Q?Jy/8LnPbvkoVdhh0a7KfolTPn23ZHGRXuzNo5sk0GEEitB8HCPQL9S1t2Z?= =?iso-8859-1?Q?sCzAjrFqbrCviQqCeF/or9vejA2STXi/uAhDpJ23sj8bPzsEyONshcZHNx?= =?iso-8859-1?Q?VV9rMC+WzsIXr6URBiyOpPh9ABjlvmRKUN8j3NPop9lq5IITJueFnl8afL?= =?iso-8859-1?Q?N0VhgmibYgipIlOyLe3O/9+c9BmX6Y8MwCZ0TvNqIFQGZB3oiXt9vdhrEL?= =?iso-8859-1?Q?oiB1G76JkocyfrOTsxoX7ZptipNcdrRjyfXr97YJ9rmN8RK07qbNdkursG?= =?iso-8859-1?Q?qUIcMoY41dMopX0wyBxh4Mv1i9JHIQ8q0k6d1L6n2JuszRSGrNhKVBPLbH?= =?iso-8859-1?Q?X3tUHbfF/+bssQEUED6/aJ5uXD0HlnR7Tlpih3pr/9rIqsngXZCFqa3R69?= =?iso-8859-1?Q?fGoA025sEbw7G58lYaOJJQn9/GTm7MOXKXk8rO+QohTFBE6I3nzXbFQG46?= =?iso-8859-1?Q?AiDJ8h8V3npu0Gl/R+qc4Krv+J6u2LJrXcdekr5EpXF3RWe7uzUdw/taYT?= =?iso-8859-1?Q?qirVcgvz8RyofGgd9ywtM9rJuMp9T8OHeCfbiJu9FiqReEvCNPXlqSpakK?= =?iso-8859-1?Q?SvTlGmEvX/zN+JckpXU1YEBWT80ibWpgew9BnGr7zntpiUOn16Le1rQfFO?= =?iso-8859-1?Q?i7QuxK96V3XrX+KqY1NuEio4ILMP26WI2yIfqfdcdHXIgVSlNBdCx2IW64?= =?iso-8859-1?Q?F/BA5GytmIqO4+rDufhhY5JeQMMv0RLK0dE96G1Cctd9dIRkDL8oHgJ1ui?= =?iso-8859-1?Q?WCmgIa2MQHQKayBpQB/WgI83lXxlJgdo4OO545/ozHkTlMP3T5HoRtdFmq?= =?iso-8859-1?Q?EQWiKFF27QF30w2QVE3E6pidsUWxJsqswMf5nv63t9C5v4TrLf2ByAt5sZ?= =?iso-8859-1?Q?CZ9mOdTUo+RHHiua5Qiec9UGOXN6OMcCRPP6Z1R0VB0zp3hcwibvm7yH4O?= =?iso-8859-1?Q?VX?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-2: =?iso-8859-1?Q?L7Du9UU8tkS+PrDkQ8KP7TntZn5XZGW1jrCsUrRLP2nhj1MBy21MMsj0uS?= =?iso-8859-1?Q?jyUD55kh2G0EQ2hQSOnT6NjDOcHPONd0MaKf/0L4m94UlwzPelmAGvS+v+?= =?iso-8859-1?Q?Smp3R0i/MZ0p92vhCNDbsClNL6ZffaoDwbavAxSL6NXn5oSnoUDlD+4qeA?= =?iso-8859-1?Q?txinsMZUZvFwv93O/IYkRnV8F5KXVnKDZhiSCXue2PHZZQ+PD7E1ibf9dU?= =?iso-8859-1?Q?ki7BZSL9Canwkjuu+cqftFZBYjTMkU15MmtuVtP/0t+gjQdI8jr7VBIGJe?= =?iso-8859-1?Q?8IZ8rIsXubRc7A6ZYJzKzgCQAhlepW1jQAClxvIvhZtwXD2985bxlkf1wx?= =?iso-8859-1?Q?tGyO4aA+KaBdpk9PTXU1xUzTFJjPbZ1LnJKatNASZrdni9nAqjWt9JteQv?= =?iso-8859-1?Q?r4/BU8sEKunfPtP94iqL4QYH6NEgHvGSQ0WjLpYrcPH3y7UaqtBjTdj2Db?= =?iso-8859-1?Q?cFDXRRdTnoBHeL7c0nQRsQEbPIBw8jPJ5oh00D/stDnWUocS4xt7N9ojOJ?= =?iso-8859-1?Q?2eS0M0HSsxx0POSKPlbQ0dUW10Gdx950SP9mf/Fy1/BvTvMkrpdQbDR1qb?= =?iso-8859-1?Q?s2HK6Sfgo2uhBWSeMJxu+LYZc/MgGGPG7YJ5GDVYuwiU69KMf8MK6aJaOj?= =?iso-8859-1?Q?ODAVGw7L4ZWFUDgC2XjSPz8Xacu3l9AVq/GYyThQ7B88f2emfOQCnpUv03?= =?iso-8859-1?Q?OGVjn8bLhG/SN+Ub4pJg2hcnJip+lq8QPhRnf5nIuWXbwzzSYbN5jC0WfP?= =?iso-8859-1?Q?FEIrCpvp/A5R/RO6m6pMlh3Z9bYroLx8gtAOETQbVahSfxp/L0peEfvCk/?= =?iso-8859-1?Q?it8QZuXYDOdBAGqnmqIKRmWpAfNzylgfmyt5VP7hYmzFIKpAyrSTTqddLo?= =?iso-8859-1?Q?2HHvp5yIUv7Oo+bvPBns1C/TH1qNQ1kVvoYAz6ElfQep2RejIgOla6UXi0?= =?iso-8859-1?Q?0h9aQNULRP5jnG/rEOrhdhJzsMqkrwzDBT8PuVAHZk+pxau3IXW/Aey2xb?= =?iso-8859-1?Q?Dz0HxOn4aDvZ3TG926KMTkYVWj7PYgse96krTu8Gk9t+BS0ufYl5dJ8N75?= =?iso-8859-1?Q?ci30J/abtakR7DdX7JFn2/G40UHdpTY8HvU/lLsbRY8s1mjFKSAdNalhQq?= =?iso-8859-1?Q?wvpCb4hlGoTO2+LuVdBaMMw8juSYceTzylHT2xz573V4+cDM2N6q3o91AY?= =?iso-8859-1?Q?VE9AElpkmFu11XUD+tYlhydlkn2yxnW838gOtvyq8vTIO1doUv5zkxI29S?= =?iso-8859-1?Q?tTIvH1jBj1wMkMAvFSFV8tDFSF3YwfVlvopoYvJU2/U/05bW8sFWsoAL2D?= =?iso-8859-1?Q?bwHC1t4E5rVaZ+Q8K6FgaRltB8J4hIOqtS3DUARCfLZaTqFFT8qA5z0LOM?= =?iso-8859-1?Q?aNsl8g/xCbtGrVVxj51EpRXuoKZc+bZlDkMgeZ0bMKf+xmKCf6NaUP8c/H?= =?iso-8859-1?Q?uGuFs+vU0hLCS5uCrODk6NBYyD5qJZI2VOmA12YLZE/3tX90oo/bO2dQ+R?= =?iso-8859-1?Q?sB8/iwz80iDjPh9hq8ItK5KSt/kavT+qjhjYZJYRxx1ZcoXSsvWct3rgdV?= =?iso-8859-1?Q?OcivW7FeZYtNV5/tyEDENBBrnDdCxAnUKEWaLOi3cvT3n/5xmTBGc8nv51?= =?iso-8859-1?Q?rw7Ea40ijYW+pO58qg3gRlKU4efAGbYZkh4adH10pIq9AwMEyh4kF7ATxj?= =?iso-8859-1?Q?pohwDczSOA0iHJa0SacQWElCSCRfaxkXY7OgrUSU1dFMUtY8EKGTxS8QJM?= =?iso-8859-1?Q?DOQe/TuOwdsfTefKTBf+6haL6krrp1w++eoWvUfp14UvjY1un0PZ1BOJ2P?= =?iso-8859-1?Q?bfydm3yV92r+/kE0jCAcyKmXt7/fE60mIoKvyD856Hen53VYoxD2nFOVan?= =?iso-8859-1?Q?HV?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-3: =?iso-8859-1?Q?QGFWFgc9Ep/1dzIMX01fKdA/bdxfyoxlA2tRmrMZnWA3Slu4fAbSMDOuDF?= =?iso-8859-1?Q?94anU+ShcxY5vvUXGH709tvflo0QLk++70VzANiR54cY28Nl4Q8akpzVI8?= =?iso-8859-1?Q?B6bBLXffdVhevt2hFMP+AYiZFaNTDzwxXJlXPMm0sg+FDTrYOOoMirMoVc?= =?iso-8859-1?Q?iaa51mB/M2whFEoIdoU/to3EX4GiXwxyEW4dNreQ6Dq63drteJM8SkZxDL?= =?iso-8859-1?Q?9rFOBriXKDQqNk08us0umrq7vkLU76hDFYlgQplf5Vpuoi7UpvlWLM/O49?= =?iso-8859-1?Q?qavyQKEEm99m28UUyF6L0UEqLs/VnL3UJjoJLKIF5RxXe600k7R89p0NdV?= =?iso-8859-1?Q?8VlsCC2qpbodTSk3ZBOTkNAbOCUVYGokzJH4eCtIyFZPr04traDok0wPuN?= =?iso-8859-1?Q?5goxUFjGaEFaXd8HtQXUmUmjLjhx9AkSEGI3lvs96bPGwiPiyHGXRXDfci?= =?iso-8859-1?Q?GQssMJVrp4lbpKlb34vckrZ3FQah5ohKZer6r2N7ULAiouSEdbkIusKpXC?= =?iso-8859-1?Q?0sVSdx/jfiHcylNWeNSwGnxXF+4IGqR0P5fSpXJNZn6dbyhLIBKyRksADT?= =?iso-8859-1?Q?RuEYC30D5CCT4ZfkJaBW03+FxVpsCPSZv2QNa0B1agPgWzcoqO7xoBA9pj?= =?iso-8859-1?Q?ZfVuEm4aO3I5eAF++gFWq1QgYD//R8bthxf3W9l20s00sDrZj2fJ6T5PCA?= =?iso-8859-1?Q?/OaZuDmNaTR04GXCiKUWbUTWUVG/SsHngG2vJmNNkRmCNkj0YC69s6xifX?= =?iso-8859-1?Q?+Bi5LsHMLIn5/buf2hAXEhA0XijUGkg8V0y3n10PQJ9G0SuSsop1+OAkni?= =?iso-8859-1?Q?7LR6lBilAwHldf2N4BRbdKltqdnClCWSuEyVweBBlgyoh7zd3GB5PuOjTe?= =?iso-8859-1?Q?+Do0BC84Hyuc0szL01e2yIrICxvqoj48gjG02sQKAo/rqFxMv0iLJ3oqHn?= =?iso-8859-1?Q?L4Vz6Noaw2oUI6/BFQKfg/fpFJMjIH2VTFSnLLMTaIDyBWYCyjK6qFBs92?= =?iso-8859-1?Q?vSYWuNv5ICWJaxQl8ha7HVZq8dBzR01/NX4bLZgOte6bRqQUVABWnUFxpy?= =?iso-8859-1?Q?HEXB/hlgerhvehlxw3iDQavcEcbdu3hlBvEW6jHFmyQTX3qX2KcijF4tqS?= =?iso-8859-1?Q?Lm1YdCggme7Mo7STMIqF5x3sb6V19DxVZefZLwW7fY6BSzzluANzCyFY3n?= =?iso-8859-1?Q?f/vzq2uCC4nOhEMLqbthox7sr6M18j2UAQmjTm1fLLSYESHA/5zIl9t98+?= =?iso-8859-1?Q?bvF5+jzzlagMF4tHCvwdVbb/20TtDkroR8mZJA1K5NRWx42dMtNwS4n+uY?= =?iso-8859-1?Q?xty6wkjwi4oSQVDL5XVpRk38DozULItHqZWafaI4lRhLZw0lTJavMrXS30?= =?iso-8859-1?Q?xRbV80M9rB6HJC96KYWL+eHMJ4kNbkyt5rYfjxrpSGEOTcGWvE2CI4fQ7j?= =?iso-8859-1?Q?PzEmg+qMx9MJtKDLXNt9SU4p21hsUjvFNcM8nybg0mQLV2r56GBR5mcNpD?= =?iso-8859-1?Q?dOh0Ufrp3H4gNgc7myTL+aOqYibNaZtlRPgZ+bSSj7wRx9bAudNyDyUqgP?= =?iso-8859-1?Q?7NzSnYVpL+FWdSY8R8MnBbRBVq9ma83YCqaG5HAL50FEP/LtDsPwJVat2k?= =?iso-8859-1?Q?aUDA9k56MHdT9PGzlYWWdiGSUtP7qHeGjtDQM0C+XtDkRIH6trEF7pat98?= =?iso-8859-1?Q?SD7mez9pIQ6t1mvH/5XP4ZqbNDml6Sjr36AyVu61kXeaoaQEyNdkdFMvkm?= =?iso-8859-1?Q?o3tWYaa2FuN/u+VZl5jU/yIiuVFnExVdrtY4/gKhNbu9C8+gLw1v6tEv1E?= =?iso-8859-1?Q?QczhXA/siFXtga3Rd7JxtJWJgWeyPD34JPou0uo0xKJ0cwIfZebOCTuNqD?= =?iso-8859-1?Q?Ks?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-4: =?iso-8859-1?Q?abwo04PWOhjAi7c89BEKwHrPYADZshO/mbQRJbe6RBt14o6AEMMTyNCl+6?= =?iso-8859-1?Q?axQOqF5d924sD2Fb/7+zQpUhQcJDSN0lmyiKV5DgXSGTyAhE17Gv2fTwGj?= =?iso-8859-1?Q?ol6ld21za96V81HWfa/q5RkOUrjfSnfeo04R6DCu3LnijfHD0A0D7YvsOF?= =?iso-8859-1?Q?ZdSP+kT1baveadX7wc4KaZDtrIevxFaaEts2GgFiW/rHFyHadXTxLXZIIK?= =?iso-8859-1?Q?QYAoJVpN8JWMX0ZNXVWU4mPTSbtEGB8ro8Xuvr44y8K45PymYg2zQcs22H?= =?iso-8859-1?Q?t5357GUUimCxGNh8AdLIChgS54c3gUxi1DOQ5vOrGyh+zBxNr9mgFl6nTH?= =?iso-8859-1?Q?mZdEa1oxNN7fZElnwoSPHVjyh2PXtF741OYmW/de6dZlRso17Cjzm9uN3f?= =?iso-8859-1?Q?sLmLfaM2M2si/1dk1ID9FfSpxOMiFXhG36reqOo2YaryiagJSoJh97jSbp?= =?iso-8859-1?Q?CTrKf6G3YhwZb8dRJ1haqaN5ZHrBkXn1msQUZeEa9fXUW8kV9Mb9j2ixBX?= =?iso-8859-1?Q?vT46baLBaW73P9gWFI5S0hHD1cu21yzGCx2ANcPhchTDmey7OTZrMMhIAF?= =?iso-8859-1?Q?5cGYuBcSXu3SdNORZo1ob6fD5UHOzy+XCPEATSsx3zz6e398KQU4qSnr26?= =?iso-8859-1?Q?fB5fvUixKWh0qn74k1fpdTtWsNV/jPaxKKsKJ/H5lZU2tR4S/xloFn61d2?= =?iso-8859-1?Q?BQzPkZfcS3DKraqfDSDLWIVDCugkwqqDVLDnAJLtA0VPT6TJ8OC+Y/8+kl?= =?iso-8859-1?Q?vxdidDp4ATQSR2NHjO3MqHOmPFMqcrtHfjg5NfeCryOXhK3zLCfhYiPw2z?= =?iso-8859-1?Q?QeFwmbb2R479LuV7ASMhWnCtRdHr00LW8hhHsGPzjLPsCypBC/CKl1PG62?= =?iso-8859-1?Q?3QA9OlgbH4CIWA0MKHSowPEmNqJ9E1wMoICFgZaani5Nh0CdLPgRkQQQhx?= =?iso-8859-1?Q?JWPU7V8UkjRk0YivNhkmv0n3wkmUIQCBoCuUxuBgHIk3WR9asrx/BtnZdK?= =?iso-8859-1?Q?5TDnaYri/nBIZbj/4Z/rThYXMxa71VzmxS7YBrQDFEfZ9mBX7KCR1DFLEN?= =?iso-8859-1?Q?qY57L3TvhiCA9L63ul39sst0gkazy9JVWBkxqBzfwH77oN+E+ENspWPyPX?= =?iso-8859-1?Q?XVs/rBaYeFJq5bMQoCXnznPiwu+Z24eB9KbYuSwRtc93zHkJL7pq4O23hs?= =?iso-8859-1?Q?g/6gzvnAb36YTdBa1Bqr59OjFFRn7HUplCW5udQJ6qzFViPOc+qBJ/osq6?= =?iso-8859-1?Q?SMS+IkwBbxCK6axz7zHKzU7hQS0n9xMS/T9w0A+/HMuHJfVt2+pC/9TK0X?= =?iso-8859-1?Q?7NB4tDYagnxfJlDPjDRSrHli7UTCnsxnYxk/9N0YueNQSG0c6k3LE2o/nA?= =?iso-8859-1?Q?Q3n/z1NackjIK7gJivpsXGAHwVUd1xuG0jfVSEWIwbLfj77I8TwdRcG+Nc?= =?iso-8859-1?Q?Jt9RRv3jrIaRxUuRU75RSeMZjGiV+zRZMuRIj2lj6nT5EGTK3zpqGX/MGM?= =?iso-8859-1?Q?XqNF1zp9B3ZbsGRkabZhdUONHYuddgp+iVz0RwXBRPpb1JT/Zmpx0TldYq?= =?iso-8859-1?Q?s3lu3cEVCu0PL7OlNr/qilVS67y1jEzdV3f9KRKKpB+xKDrkB9Baq9y9Xe?= =?iso-8859-1?Q?HGX/RoHP6HgRThFtns7sS/gRELKQYhrAarvcUY00OhV8QInNsmUr+jd0EV?= =?iso-8859-1?Q?cjyQHPNexdXG8KDpjteqlYpMkPDlMtarnAD9fo5soJEnM1N4wKhjfJZhWh?= =?iso-8859-1?Q?juYT+60OwEKnOX2XvmKs3H2DapuOKlTxMnJQ1uhQRJNYEl51bsQC/4OQxW?= =?iso-8859-1?Q?FZzC1LsZZGeT9vtqVOjPzWc8yQILDPTuhPEwH4r759i5Nc3gODHbwG2SZH?= =?iso-8859-1?Q?Sr?= X-MS-Exchange-AntiSpam-ExternalHop-MessageData-5: tEp7617Q2VjRKYNUmIyCoobi X-OriginatorOrg: mq.edu.au X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: ME2PR01MB3122.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: bc21ff6b-0f18-4bab-dd59-08dbd4506c1c X-MS-Exchange-CrossTenant-originalarrivaltime: 24 Oct 2023 05:16:47.8948 (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: IeB9dXwl+0FDYj6IrQIdiLH3/hZbUam3gy5eI7Z1YThWFd8C2N9Y/z1qg+G3uI0x6uDfno2h1Gva+yyM8d/z0w== X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY7PR01MB8080 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: mq.edu.au Content-Language: en-GB Content-Type: multipart/alternative; boundary="_000_ME2PR01MB3122C10C9891F51C34297898CDDFAME2PR01MB3122ausp_" --_000_ME2PR01MB3122C10C9891F51C34297898CDDFAME2PR01MB3122ausp_ Content-Type: text/plain; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable [[JSPL: The following email was sent to the old mailing list by duskgoo@gma= il.com while it was offline]] Dear category theorists, A couple of months ago I offered PDFs of > The book > ** Programs as diagrams: > ** From categorical computability to computable categories A couple of you who accepted the offer asked that I announce when the physical version becomes available. So here it is: https://www.amazon.com/Programs-Diagrams-Categorical-Computability-Applicat= =3D ions-ebook/dp/B0C54RZJ4G/ or https://link.springer.com/book/10.1007/978-3-031-34827-3 I waived the royalties to be able to distribute 75% of the text through arxiv, so there is that version as well. But the stories and workouts that are not included may very well be the nicest part. And I should update it. If you would like the physical book but it looks expensive, I can order copies at 40% discount. On the other hand, if you purchase a copy through the link on dusko.org, then = I get 30%. Sorry, I probably shouldn't go on about sales and percentages. I hope it's a useful book. There is more but maybe even this is too much :) -- dusko --_000_ME2PR01MB3122C10C9891F51C34297898CDDFAME2PR01MB3122ausp_ Content-Type: text/html; charset=WINDOWS-1252 Content-Transfer-Encoding: quoted-printable
[[JSPL: The following ema= il was sent to the old mailing list by duskgoo@gmail.com while it was offline]]

= Dear category theorists,

A couple of months ago = I offered PDFs of
> The book
> ** Programs as dia= grams:
> ** From categorica= l computability to computable categories
A couple of you who acc= epted the offer asked that I announce when the
physical version become= s available. So here it is:
https://www.amazon.com/Programs-Diagrams-Categorical-Computa= bility-Applicat=3D
ions-ebook/dp/B0C54RZJ4= G/
or
https:/= /link.springer.com/book/10.1007/978-3-031-34827-3
I waived the royalties = to be able to distribute 75% of the text
through arxiv, so there= is that version as well. But the stories and
workouts that are not i= ncluded may very well be the nicest part. And I
should update it. If yo= u would like the physical book but it looks
expensive, I can order = copies at 40% discount. On the other hand, if
you purchase a copy thr= ough the link on dusko.org, then I get 30%.

Sorry, I probably shoul= dn't go on about sales and percentages. I hope
it's a useful book. The= re is more but maybe even this is too much :)

= -- dusko

--_000_ME2PR01MB3122C10C9891F51C34297898CDDFAME2PR01MB3122ausp_--