From gmvooys at ucalgary.ca Thu Jan 9 11:04:16 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Thu, 9 Jan 2025 18:04:16 +0000 Subject: [Alta-Logic] Time Slot for the UCalgary Peripatetic Seminar for Winter 2025 Message-ID: Hi Everybody, It's a new semester, and that means we need to find a new time to schedule the Peripatetic Seminar! I've made a Doodle Poll (link following the body of this email) to see what times everyone has available on Friday so that I can sort out what works best for folks. Please fill it out as soon as you can if you're interested in attending this semester so that we can get things rolling for us all and look into booking rooms. In the meantime, I hope that everyone is having a happy new year so far! Cheers, Geoff Doodle Poll: https://doodle.com/meeting/participate/id/ej55zzRd/vote -------------- next part -------------- An HTML attachment was scrubbed... URL: From ggpayett at ucalgary.ca Thu Jan 9 12:51:23 2025 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Thu, 9 Jan 2025 19:51:23 +0000 Subject: [Alta-Logic] World Logic Day Message-ID: Hi everyone, Apologies for cross posting. The schedule of talks and the abstracts are up on the website now. A bit of a smaller program than in past years, but that is fine. The schedule is: 12:05-1:00pm Sophia Kimiagari: Is Feminist Logic A Posteriori? 13:00-2:00pm Kent Peacock: John Doe Meets the King of France 2:00-3:00pm Koray Akcaguner: What Counts as a Proof? I will send around a link to the meeting the night before, as usual. Take care, Gillman Payette Assistant Teaching Professor Department of Philosophy University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From ggpayett at ucalgary.ca Mon Jan 13 15:33:28 2025 From: ggpayett at ucalgary.ca (Gillman Payette) Date: Mon, 13 Jan 2025 22:33:28 +0000 Subject: [Alta-Logic] World Logic Day Message-ID: Hi everyone, Here is the meeting invitation for World Logic Day in AB and BC. Gillman Payette is inviting you to a scheduled Zoom meeting. Topic: Gillman Payette's Personal Meeting Room Join Zoom Meeting https://ucalgary.zoom.us/j/4242405213 Meeting ID: 424 240 5213 Passcode: 090681 --- One tap mobile +16473744685,,4242405213#,,,,*090681# Canada +16475580588,,4242405213#,,,,*090681# Canada --- Dial by your location ? +1 647 374 4685 Canada ? +1 647 558 0588 Canada ? +1 778 907 2071 Canada ? +1 780 666 0144 Canada ? +1 204 272 7920 Canada ? +1 438 809 7799 Canada ? +1 587 328 1099 Canada ? +1 312 626 6799 US (Chicago) ? +1 646 558 8656 US (New York) ? +1 646 931 3860 US ? +1 301 715 8592 US (Washington DC) ? +1 305 224 1968 US ? +1 309 205 3325 US ? +1 689 278 1000 US ? +1 719 359 4580 US ? +1 253 205 0468 US ? +1 253 215 8782 US (Tacoma) ? +1 346 248 7799 US (Houston) ? +1 360 209 5623 US ? +1 386 347 5053 US ? +1 507 473 4847 US ? +1 564 217 2000 US ? +1 669 444 9171 US ? +1 669 900 6833 US (San Jose) Meeting ID: 424 240 5213 Passcode: 090681 Find your local number: https://ucalgary.zoom.us/u/aLu65XwR2 --- Join by SIP ? 4242405213 at zoomcrc.com --- Join by H.323 ? 144.195.19.161 (US West) ? 206.247.11.121 (US East) ? 159.124.168.213 (Canada Toronto) ? 159.124.196.25 (Canada Vancouver) Meeting ID: 424 240 5213 Passcode: 090681 Gillman Payette Assistant Teaching Professor Department of Philosophy University of Calgary -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Wed Jan 15 09:45:01 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Wed, 15 Jan 2025 16:45:01 +0000 Subject: [Alta-Logic] Tangent Categories Seminar Plan Message-ID: Hi Everybody, I would like to plan a seminar this semester in order to introduce people to the theory of tangent categories and the cool things you can do with them! I've put together a doodle poll for selecting/finding a time to meet (it follows the body of the email). Please fill out said doodle if you would like to learn about tangent categories (or at least hear me rant about categorical geometry). Additionally, please feel free to forward this link to anyone you know who may be interested but not on the alta-logic mailing list. Cheers, Geoff Doodle poll link: https://doodle.com/meeting/participate/id/bkBjKo6a PS: For pre-requisite knowledge, a background of knowing what categories are and how they work is most important. Some familiarity with the ideas of differential algebra, differential geometry, or differential algebraic geometry will also be helpful but is not required at all. -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Thu Jan 16 08:55:48 2025 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Thu, 16 Jan 2025 08:55:48 -0700 Subject: [Alta-Logic] peripatetic seminar on Friday (tomorrow) Message-ID: Dear all, Tomorrow, on Friday, January 17th, Melika Norouzbeygi(University of Calgary) will speak at the peripatetic seminar. Her talk will take place at 2 pm in ICT 616. Title: Semantics of Higher-Order Processes in Categorical Message Passing Language (CaMPL) Abstract: Categorical Message Passing Language (CaMPL) is a concurrent programming language based on a categorical semantic given by a linear actegory. The sequential side of CaMPL is a functional-style programming language, while the concurrent side supports message passing between processes along channels with concurrent types called protocols. A notable feature that could be added to CaMPL, is the support for higher-order processes on the concurrent side, allowing processes to be passed to other processes. While passing concurrent processes between processes is feasible, supporting recursive process definitions requires the ability to reuse the passed process multiple times. However, since concurrent resources cannot be duplicated, processes must be represented as sequential data. Consequently, the concurrent side must be enriched into the sequential side. In this presentation we talk about the categorical semantics that lets us store a concurrent processes as sequential data and yet use them. Hope to see you all there! Best regards, Florian Schwarz -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Mon Jan 20 14:07:58 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Mon, 20 Jan 2025 21:07:58 +0000 Subject: [Alta-Logic] Peripatetic Seminar: Special Tomorrow Edition Message-ID: Hi Everybody, There is a special edition of the peripatetic seminar tomorrow at 13:00 Mountain Time in ICT 616. Priyaa will tell us all about Drazin inverses in categories. She has also asked me to tell you all that there will be cool pictures, so I hope to see you all there! An abstract and title follow the body of this email. Cheers, Geoff Title: Drazin Inverses in Categories Speaker: Priyaa Srinivasan (Tallinn University of Technology) Abstract: In this talk, I will introduce Drazin inverses from a categorical perspective. Drazin inverses are a fundamental algebraic structure which have been extensively deployed in semigroup theory and ring theory. Drazin inverses can also be defined for endomorphisms in any category. In this talk, I will introduce Drazin categories, in which every endomorphism has a Drazin inverse, and provide various examples including the category of matrices over a field, and explore various properties of these inverses. -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Wed Jan 22 11:12:20 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Wed, 22 Jan 2025 18:12:20 +0000 Subject: [Alta-Logic] Peripatetic Seminar for 2025 Jan 24 Message-ID: Hi Everybody, First off, thank you to everyone for coming to Priyaa's talk yesterday! It was awesome to see everyone there, and especially so on short notice. This week in the Usual Time Edition(TM) of the Peripatetic Seminar, I will be speaking on some differential algebra for rigs and structure theory of the commutative algebra/module theory of rigs. An abstract and talk information can be found below. I hope to see you all there! Cheers, Geoff Title: The Categorical Algebra of Rigs and K?hler Differential Functor for Rigs Time: 14:00 ? 15:00 Location: ICT 616 Abstract: The theory of rigs (rings without negatives), also known as semirings in the literature, is an interesting and important field of algebra with applications to theoretical computer science, logic, economics (through the use of tropical geometry and the tropical semiring), and also to arithmetic geometry (in the styles of Deitmar, or of To?n and Vasquie, or of Lorscheid --- all of these are built to discuss a theory of schemes over the ``field with one element''). In this talk, based on joint work in progress with Robin Cockett, I will introduce the category of commutative rigs and indicate a careful and precise construction of the ways in which the categories of commutative rig algebras and modules over commutative rigs interact. More precisely, I will show that there are fibrations associated to both the commutative algebra and module constructions and that the underlying module/symmetric algebra functors sit as fibre-wise adjoints between the categories of said fibrations. Afterwards, depending on time, I will discuss some combination and/or permuation of the following topics: what localizations of rigs are, what the module of K?hler differentials are, how they arise as a functor into the module fibration, and also how the module of K?hler differentials interacts with localizations and tensor products. -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Thu Jan 30 21:51:41 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Fri, 31 Jan 2025 04:51:41 +0000 Subject: [Alta-Logic] Peripatetic Seminar for 31 January 2025 Message-ID: Hi Everybody, I'm sorry for the short notice, but this week we have a talk in the Peripatetic Seminar by Adrian Tadic, one of Robin's MSc students, at 14:00 in ICT 616. The details are found following the body of this email. I hope to see you all there! Cheers, Geoff Title: A Planned Outline for the Abstract Machine for the Message Passing Language's Memory Management System Time: 14:00 Jan 30 2025 Location: ICT 616 Abstract: CaMPL is a functional programming language designed by Cockett and Pastro which uses message-passing semantics for concurrency. In order to run a CaMPL program, the code is first compiled down into code for MPL, which is run by an interpreter. In this talk, I will discuss the design decisions I plan to take when implementing said interpreter in C. When implementing a programming language, memory management is very important. The way a system stores, allocates, and garbage collects data has a high impact on its performance. Furthermore, there's no 'one size fits all' solution. Every language has unqiue propeties which lend themselves to different backend memory mangement systems. There are two aspects of CaMPL in particular that are relevant to the system I am implementing: ??????-functional sequntial semantics ??????-message passing semantics on the concurrent side These traits are shared by the programming language Erlang, and many of my solutions will be adapted from those used by that programming language. I will start by discussing the overall memory architecture of the system, which uses private heaps for individual processes and a shared global heap for messages. Then I'll talk about the implications for garbage collection that this scheme has, and outline the local and global heap garbage collection algorithms. Next, I'll discuss how memory allocation will work on both sides, and I'll conclude by discussing the algorithms I plan to use to reduce memory fragmentation. -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Mon Feb 3 15:24:45 2025 From: rzach at ucalgary.ca (Richard Zach) Date: Mon, 3 Feb 2025 22:24:45 +0000 Subject: [Alta-Logic] Research and Teaching Presentations - Tuesday, February 4 2025: Tenure-Track Assistant Professor in Theoretical Foundations of Computer Science Candidate, Dr. Dmitry Sokolov In-Reply-To: <1cb3bc60-b80a-41cd-af53-ce7ec953347c@ucalgary.ca> References: <1cb3bc60-b80a-41cd-af53-ce7ec953347c@ucalgary.ca> Message-ID: FYI Computer Science is hiring in theoretical computer science. First candidate research talk is tomorrow morning. Hi All, The Department of Computer Science is hosting candidates for a Tenure-Track Assistant Professor in Theoretical Foundations of Computer Science. You are invited to attend the Research Presentation and Teaching Demonstrations being held on Tuesday, February 4, 2025. After each presentation, you will have the opportunity to ask individual questions in a meet and greet style set up. Bio: In 2015 Dmitry completed his Ph.D. at Steklov Institute of Mathematics at St. Petersburg in Russia under the supervision of Edward Hirsch and Dmitry Itsykson. In 2017 he was a postdoc at KTH University in Stockholm hosted by Jakob Nordstrom, a postdoc at Lund University and a visitor at University of Copenhagen. In 2020 he got an Associate Professor position at St. Petersburg State University in Russia. In 2022 he moved to EPFL as a researcher. His research interests are concentrated in complexity theory. It mainly focuses on proof, communication, and circuit complexity. Research Presentation Date: Tuesday, February 4, 2025 Time: 10:00-12:00pm (presentation 10:00-11:00, research meet and greet 11:00-12:00pm) Location: ICT 517/Zoom https://ucalgary.zoom.us/j/91503836835?pwd=bnqV0OdIRCKdlG7sZOyoahqsdBrjfn.1 (Meeting ID 91503836835, Passcode 101239) Research Presentation Title: Monotone computations, bracket formulas, and liftings theorems Abstract: In this talk, we consider ideas behind one of my recent results that informally can be stated in the following way: "monotone algorithms cannot be efficiently parallelized". We discuss the result itself and the machinery behind it, which involves several areas: proof, circuit, and communication complexity. Refs: https://eccc.weizmann.ac.il/report/2024/186/ Teaching Presentation Date: Tuesday, February 4, 2025 Time: 14:00-16:00 (teaching presentation from 14:00-15:00, teaching meet and greet 15:00-16:00) Location: ICT 517/Zoom https://ucalgary.zoom.us/j/91503836835?pwd=bnqV0OdIRCKdlG7sZOyoahqsdBrjfn.1 (Meeting ID 91503836835, Passcode 101239) Teaching Talk/ Sample lecture: Sample undergraduate lecture on a theoretical computer science topic from CPSC 351 Recording: **Please Note that the Research and Teaching Presentations Will Be Recorded** -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: CPSC - Itinerary (Research) - Dmitry Sokolov.pdf Type: application/pdf Size: 239174 bytes Desc: CPSC - Itinerary (Research) - Dmitry Sokolov.pdf URL: From gmvooys at ucalgary.ca Thu Feb 6 07:05:41 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Thu, 6 Feb 2025 14:05:41 +0000 Subject: [Alta-Logic] Peripatetic Seminar for 07 February 2025 Message-ID: Hi Everybody, This week in the Peripatetic Seminar we will have one of Robin's MSc. students, Durgesh, speak about some categorical quantum mathematics. The talk details follow the body of this email. I hope to see you all there tomorrow! Cheers, Geoff Title: Generalising the Coecke-Pavlovic-Vicary Correspondence Time: Friday 07 February 2025, 14:00 Place: ICT 616 Abstract: In their paper [1], Coecke-Palvovic-Vicary (CPV) gives a correspondence between orthogonal bases in finite-dimensional Hilbert Spaces (FdHilb) and Commutative-Dagger Frobenius algebras in FdHilb. In the first part of my talk, I will go over this correspondence and the associated categorical statements. In the second part of my talk, I will give an outline of the programme about how this correspondence can be generalised to arbitrary dimensions. I will first introduce the ingredients involved- Finiteness spaces, Lefschetz Spaces and time-permitting linear monoids and then will give a few results connecting these mathematical objects. Reference: [1] Coecke, B., Pavlovic, D., & Vicary, J. (2012). A new description of orthogonal bases. Mathematical Structures in Computer Science, 23(3). -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Tue Feb 11 23:45:07 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Wed, 12 Feb 2025 06:45:07 +0000 Subject: [Alta-Logic] Peripatetic Social Outing on 2025 February 21 Message-ID: Hi Everybody, I hope that you're all doing well! During Reading Week next week, we're planning a Peripatetic Seminar Social Outing. I'll make sure that details are given very explicitly following the email, but the basic plan was to go about to the YYC Farmer's Market West across from Canada Olympic Park and enjoy hanging out and eating at the Farmer's Market from 16:00 ? 18:00. Transit to the area is quite accessible (I've even linked a Google Pin to transit instructions from the University of Calgary departing at 15:13 day of just for convenience), but some direct rides will be available as well. All are welcome (and this is especially true for partners, children, and anyone else you'd like to bring) and I hope to see you all there! Cheers, Geoff Location: YYC Farmer's Market West Time and Date: Friday 2025 February 21 from 16:00 -- 18:00 Who: You, your partner, your children, and anyone else you'd like to bring with you! Transit Instructions (from the University of Calgary): https://maps.app.goo.gl/oRxPTHaA5qjj2Ap76 -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Tue Feb 11 23:45:09 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Wed, 12 Feb 2025 06:45:09 +0000 Subject: [Alta-Logic] Updating the Participant List on the Peripatetic Seminar Website Message-ID: Hi Everybody, When I was looking over the Peripatetic Seminar website recently, I noticed that the participant list (under the ``about'' tab) is quite out of date --- it has many people who have graduated from the roles they're listed in and/or are currently at different institutions! I'd like to update this, if possible. If you'd like to be included in the list of current participants, please reply to this email with the following information for me: * The name you'd like displayed (while this may seem silly, sometimes people have a different name they'd like listed than just what Outlook thinks is the name they want, so this helps me get my ducks in a row). * Your departmental affiliation (eg. Math, CPSC, Philosphy, Linguistics, etc.) * Your degree/career stage (eg. Professor, Undergrad, MSc, PhD, Postdoc, etc.) --- if you're an undergrad, please let me know also if you have multiple majors so that I can display this for you! * A department or personal website, should you have one available and wish for me to link your name to it. Thank you in advance for your help with this! Cheers, Geoff -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Thu Feb 13 23:25:16 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Fri, 14 Feb 2025 06:25:16 +0000 Subject: [Alta-Logic] Peripatetic Seminar for 2025 February 14 Message-ID: Hi Everybody, This week in the Peripatetic Seminar I will be giving the talk on the differential algebra of commutative rigs and some of the things that you can do with this. The talk itself will be at a relatively introductory level so that everyone can hopefully follow along and get something out of it. An abstract and details follow the detail of the email, so I hope to see you all there! Cheers, Geoff Title: The Differential Algebra of Commutative Rigs: Derivations and Differentials Time: 14:00 ? 15:00 on 2025 February 14. Location: ICT 616 Abstract: In the last talk I gave on commutative rigs, we got to know a bit about how the categories of commutative rig algebras and their modules interact together. In this talk we'll continue towards our ultimate goal of understanding the differential/algebraic geometry of rigs by getting to know how the theory of derivations and differentials interacts with rigs. I'll start by recalling our main cast of characters, define what it means to be a derivation, define the rig module of Kahler differentials, and then start to show some of the properties these modules have. Depending on time we'll discuss how to encode derivations as solutions to specific lifting problems and/or in what sense the Kahler differentials construction is functorial. This talk will be relatively gentle in delivery, so all are encouraged to come and see how cool rigs are! -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Thu Feb 20 15:40:20 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Thu, 20 Feb 2025 22:40:20 +0000 Subject: [Alta-Logic] Peripatetic Seminar for 2025 February 21 Message-ID: Hi Everybody, This week in the Peripatetic Seminar I'll continue our discussion regarding the category of commutative rigs and their Kahler differentials in an introductory fashion similar to last week's talk. I've given the abstract following the body of this email, but just a friendly reminder that we're doing the Peripatetic Social Outing (TM) from 16:00 ? 18:00 after the talk. I'll be emailing a separate email with more details, but the basic idea is for people to leave from the seminar together to go to the Farmer's Market. Cheers, Geoff Title: More on the Categorical and Differential Algebra of Commutative Rigs Location: ICT 616 Time: 14:00 ? 15:00 Friday 2025 February 21 Abstract: In this talk we'll continue our friendly introduction to the differential algebraic theory of commutative rings by moving towards answering the question: ``In what sense are the Kahler differentials functorial in the first place?'' We'll start by introducing fibrations and their morphisms, move on to briefly discussing the Grothendieck Construction (which allows one to move between fibrations and pseudofunctors, depending on taste), and then explain the sense in which taking the module of relative Kahler differentials is functorial in CRig. The scope and vibes of this talk are meant to be more relaxed and informal, so if you've never met rigs before and want to get to know how their differential algebra works this is a fantastic opportunity (which of course I'd say, for I am the speaker) to see. Alternatively, this makes precise many constructions involving Kahler differentials which are at best ad-hoc in traditional commutative ring theory. -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Thu Feb 20 15:40:28 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Thu, 20 Feb 2025 22:40:28 +0000 Subject: [Alta-Logic] Peripatetic Social Outing on Friday 2025 February 21 (Tomorrow!) Message-ID: Hi Everybody, This is the Offical Extra Information Email (TM) I promised regarding the social outing tomorrow. The plan is as follows: 1. Go to the West YYC Farmer's Market near the C.O.P. (a Google pin is hyperlinked here with instructions on how to transit from the ICT building at the university). A group of people will be leaving from the university itself after the talk tomorrow. 2. Have food and drinks at the Farmer's Market. We'll get a number of tables to relax at. 3. Enjoy the company of your fellow Peripaetic-ers, friends, and family! More explicit details are listed at the end of the email. Some of us will also be driving to the Farmer's Markent (I, for instance, will have at least one spot); please let me (or more generally some of us) know if you need/want a ride from campus! Cheers, Geoff Time: Friday 2025 February 21 16:00 -- 18:00 Location: YYC Farmer's Market West (a Google Maps link is given to the location in said hyperlink). How: Either by transit from the university or by driving/travelling there. Who: You, your family, your friends, and/or anyone else you want to bring! -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Fri Feb 21 15:59:58 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Fri, 21 Feb 2025 22:59:58 +0000 Subject: [Alta-Logic] Peripatetic Social Outing on 2025 February 21 In-Reply-To: References: Message-ID: Hi Everybody, I've arrived at the Farmer's Market and obtained some tables towards the *west* entrance to the farmer's market. See you all soon! Cheers, Geoff ________________________________ From: alta-logic-l on behalf of Geoff Vooys Sent: Tuesday, February 11, 2025 11:45 PM To: alta-logic-l at mailman.ucalgary.ca Subject: [Alta-Logic] Peripatetic Social Outing on 2025 February 21 Hi Everybody, I hope that you're all doing well! During Reading Week next week, we're planning a Peripatetic Seminar Social Outing. I'll make sure that details are given very explicitly following the email, but the basic plan was to go about to the YYC Farmer's Market West across from Canada Olympic Park and enjoy hanging out and eating at the Farmer's Market from 16:00 ? 18:00. Transit to the area is quite accessible (I've even linked a Google Pin to transit instructions from the University of Calgary departing at 15:13 day of just for convenience), but some direct rides will be available as well. All are welcome (and this is especially true for partners, children, and anyone else you'd like to bring) and I hope to see you all there! Cheers, Geoff Location: YYC Farmer's Market West Time and Date: Friday 2025 February 21 from 16:00 -- 18:00 Who: You, your partner, your children, and anyone else you'd like to bring with you! Transit Instructions (from the University of Calgary): https://maps.app.goo.gl/oRxPTHaA5qjj2Ap76 -------------- next part -------------- An HTML attachment was scrubbed... URL: From scialumni at ucalgary.ca Tue Feb 25 11:15:31 2025 From: scialumni at ucalgary.ca (Faculty of Science, University of Calgary) Date: Tue, 25 Feb 2025 12:15:31 -0600 (CST) Subject: [Alta-Logic] You're Invited: The Calgary Mathematics & Philosophy Lectures Message-ID: <1453719905.83875723.1740507331819@sjmktmail-batch1l.marketo.org> Are computers changing how we view mathematics and the meaning of life itself? One key development in twenty-first century mathematics has been the rise of proof assistants, software tools that support mathematics research with underlying proofs. These programs use intuitionistic language, i.e. the language of formal logic ? and as a result, the mathematics field has increasingly adopted this language as well. In this insightful talk, Prof. Restall will describe this relatively modern phenomenon and how it impacts questions about philosophy and metaphysics. This holds implications not only about how we can know the truths of mathematics, but also about the very content of whatever we can think and say. Event Details Date: Thursday, March 13, 2025 Time: 3:30 - 5 p.m. Location: Science Theatres - Room 143 This event is offered in-person only. Check our 2025 Series webpage for the complete abstract and speaker bio. REGISTER HERE About The Calgary Mathematics & Philosophy Lectures The University of Calgary?s Mathematics and Philosophy Lecture Series is possible due to the generosity of the Watson Family Fund. Ian Watson, who started his career in geophysics and then later moved into computer science, credits his rich experience and education at the University of Calgary as the reason for wanting to give back to the university. During Ian?s time at university, he majored in physics with courses in mathematics and philosophy. This unique blend of disciplines allowed him to grasp a broad and more complex view of the world. The Watson family hopes the University of Calgary continues to thrive as an innovative hub of research and development and as a global centre for leading edge science and discovery. The Mathematics & Philosophy Lectures aim to introduce topics at the intersection of mathematics and philosophy to a general academic audience. They are organized by the Departments of Philosophy and Mathematics and Statistics , the Pacific Institute for the Mathematical Sciences ?(PIMS), and the Faculty of Science . Contact scialumni at ucalgary.ca ?for details. Unable to join us? Click here and you will not receive any further reminders for this event. science.ucalgary.ca You have received this message because you are a member of the alta-logic-l at mailman.ucalgary.ca Mailman list at the University of Calgary. University of Calgary 2500 University Drive NW Calgary, AB ?T2N 1N4 CANADA ? ? ? ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Fri Feb 28 11:00:37 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Fri, 28 Feb 2025 18:00:37 +0000 Subject: [Alta-Logic] Peripatetic Seminar Today Message-ID: Hi Everybody, Today the Peripatetic Seminar will continue with a talk by Florian Schwarz at 14:00 in ICT 616! He'll tell us more things about bicategories and the way limits are extended to higher categorical frameworks. Talk details follow below, but in the meantime I hope to see you all there! Cheers, Geoff Title: Bilimits in bicategories Time: 14:00 Location: ICT 616 Abstract: Limits are central within category theory. If you pick a random concept within any area of mathematics, chances are it is a limit. As part 5 of the series of bicategories, I will introduce the notion of a bilimit in a bicategory. For this we will have a look at the classical definition of limitis and reformulate it until we can attach a (bi-) to the right words and obtain the correct definition. This doesn't just give us a definition in bicategories, it also gives another structural perspective on limits in 1-categories. In the end we will look at a specific example of a bilimit in the bicategory of categories. -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Fri Mar 7 09:47:11 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Fri, 7 Mar 2025 16:47:11 +0000 Subject: [Alta-Logic] Peripatetic Seminar for 07 March 2025 Message-ID: Hi Everybody, Today in the Peripatetic Seminar one of two things will happen: first, either I will give a talk on tangent categories and ways to categorically capture what makes morphisms immersions, submersions, local diffeomorphisms, and other such things (depending on time and with the caveat that I want things to be understandable, so the pace will be gentle and with running examples). Second, Robin may give a talk on something of his choosing should he feel the desire. In either case, I'm looking forward to seeing you all at 14:00 in ICT 616. Cheers, Geoff Title: Immersions, Submersions, and Local Diffeomorphisms Categorically, Oh My! Location: ICT 616 Time: 14:00 Mountain Standard Time? Abstract: Tangent categories are a categorical abstraction of the structural properties of differential geometry as incarnated by the tangent bundle first discovered by Rosicky in 1984 and then later rediscovered and extended by Cockett and Cruttwell in 2014. In the last decade, research in tangent categories has proceeded rapidly and shown to have myriad and insightful interactions with many areas of mathematics, computer science, logic, physics, and more. Of particular interest to me is the fact that tangent categories provide a bridge through which the categorically-minded may understand both algebraic geometry and differential geometry (and in ways that are categorically sound, i.e., developed without pretending schemes are manifolds or that manifolds are schemes). In this talk I will introduce many of the ideas involved in tangent categories as well as how to incarnate the notions of immersions, submersions, and local diffeomorphisms from the categorical framework. Some of this talk (effectively anything I present which is yet-to-be-published) is based on joint work with JS Lemay. -------------- next part -------------- An HTML attachment was scrubbed... URL: From scialumni at ucalgary.ca Mon Mar 10 09:00:41 2025 From: scialumni at ucalgary.ca (Faculty of Science, University of Calgary) Date: Mon, 10 Mar 2025 10:00:41 -0500 (CDT) Subject: [Alta-Logic] You're Invited: The Calgary Mathematics & Philosophy Lectures Message-ID: <795496129.47382166.1741618841748@sjmktmail-batch1l.marketo.org> Are computers changing how we view mathematics and the meaning of life itself? One key development in twenty-first century mathematics has been the rise of proof assistants, software tools that support mathematics research with underlying proofs. These programs use intuitionistic language, i.e. the language of formal logic ? and as a result, the mathematics field has increasingly adopted this language as well. In this insightful talk, Prof. Restall will describe this relatively modern phenomenon and how it impacts questions about philosophy and metaphysics. This holds implications not only about how we can know the truths of mathematics, but also about the very content of whatever we can think and say. Event Details Date: Thursday, March 13, 2025 Time: 3:30 - 5 p.m. Location: Science Theatres - Room 143 This event is offered in-person only. Check our 2025 Series webpage for the complete abstract and speaker bio. REGISTER HERE About The Calgary Mathematics & Philosophy Lectures The University of Calgary?s Mathematics and Philosophy Lecture Series is possible due to the generosity of the Watson Family Fund. Ian Watson, who started his career in geophysics and then later moved into computer science, credits his rich experience and education at the University of Calgary as the reason for wanting to give back to the university. During Ian?s time at university, he majored in physics with courses in mathematics and philosophy. This unique blend of disciplines allowed him to grasp a broad and more complex view of the world. The Watson family hopes the University of Calgary continues to thrive as an innovative hub of research and development and as a global centre for leading edge science and discovery. The Mathematics & Philosophy Lectures aim to introduce topics at the intersection of mathematics and philosophy to a general academic audience. They are organized by the Departments of Philosophy and Mathematics and Statistics , the Pacific Institute for the Mathematical Sciences ?(PIMS), and the Faculty of Science . Contact scialumni at ucalgary.ca ?for details. Unable to join us? Click here and you will not receive any further reminders for this event. science.ucalgary.ca You have received this message because you are a member of the alta-logic-l at mailman.ucalgary.ca Mailman list at the University of Calgary. University of Calgary 2500 University Drive NW Calgary, AB ?T2N 1N4 CANADA ? ? ? ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Thu Mar 13 11:55:05 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Thu, 13 Mar 2025 17:55:05 +0000 Subject: [Alta-Logic] No Peripatetic Seminar this Week: Instead Please Try to Attend the Math and Philosophy Lecture Today Message-ID: Hi Everybody, There is no Peripatetic Seminar this week. Instead, please try to attend the Math and Philosophy lecture by Dr. Greg Restall (University of St. Andrews) today at 15:30 in ST 143. Additional details, such as how to register for the lecture, a poster, and the abstract may be found on the event website here: https://www.ucalgary.ca/programs/mathphil/2024-25 I hope to see you all there! Cheers, Geoff -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Thu Mar 20 09:49:16 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Thu, 20 Mar 2025 15:49:16 +0000 Subject: [Alta-Logic] Peripatetic Seminar for 21 March 2025 Message-ID: Hi Everybody, Tomorrow one of Robin's MSc. students, Saina, will be giving the talk in the Peripatetic seminar at 14:00 in ICT 616. Details regarding the talk may be found following the body of this email. I hope to see you all there! Cheers, Geoff Speaker: Saina Daneshmandjahromi Time: 14:00 Mountain Daylight Time Location: ICT 616 Title: Incorporating Universally Quantified Types into CaMPL Abstract: Haskell?s type system is based on the Hindley-Milner type system, which supports only rank-1 types. As functional languages have evolved, higher-ranked polymorphism has become essential for expressing more general and reusable functions. However, full type inference for higher-ranked types is undecidable, often requiring explicit type annotations. In this work, we propose a simplified type inference approach compared to the system proposed by Peyton Jones. Our approach explicitly handles universal quantification of type variables, improving predictability and helping programmers determine when annotations are necessary. We demonstrate our method using a minimal programming language syntax, providing a structured approach to inferring types for higher-ranked polymorphism while maintaining clarity and usability. ? -------------- next part -------------- An HTML attachment was scrubbed... URL: From gmvooys at ucalgary.ca Thu Apr 3 23:56:36 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Fri, 4 Apr 2025 05:56:36 +0000 Subject: [Alta-Logic] Peripatetic Seminar for 4 April 2025 Message-ID: Hi Everybody, I hope that you're all doing well! The Peripatetic Seminar continues Friday 4 April 2025 at 14:00 in ICT 616 with Melika, one of Robin's grad students, speaking about actegories and enriched categories with copowers. Melika has TeX'd her abstract (hooray!) so I've attached it to this email. In the meantime I hope to see you all there! Cheers, Geoff Speaker: Melika Norouzbeygi Time: 14:00 Location: ICT 616 Abstract: See attached pdf. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Presentation_Abstract.pdf Type: application/pdf Size: 133574 bytes Desc: Presentation_Abstract.pdf URL: From gmvooys at ucalgary.ca Wed Apr 23 14:30:29 2025 From: gmvooys at ucalgary.ca (Geoff Vooys) Date: Wed, 23 Apr 2025 20:30:29 +0000 Subject: [Alta-Logic] Peripatetic Seminar for 2025 April 25 Message-ID: Hi Everybody, This week in the Peripatetic Seminar at 14:00 in ICT 616 we have a visitor, Rose Kudzman-Blais (University of Ottawa), giving the talk! Rose is a category theory PhD student supervised by Rick Blute and she will be graduating soon. The details of the talk follow the body of this email. In the meantime, I hope to see you all there! Cheers, Geoff Title: Cartesian Linearly Distributive Categories: Revisited Speaker: Rose Kudzman-Blais (University of Ottawa) Location: ICT 616 Time: 14:00 Abstract: Linearly distributive categories (LDC) were introduced by Cockett and Seely as alternative categorical semantics for multiplicative linear logic, taking conjunction and disjunction as primitive notions. Given that a LDC has two monoidal products, it is natural to ask when these coincide with categorical products and coproducts. Such LDCs, known as cartesian linearly distributive categories (CLDC), were introduced alongside LDCs. Initially, it was believed that CLDCs and distributive categories would coincide, but this was later found not to be the case. Consequently, the study of CLDCs was largely abandoned. In this talk, we will revisit the notion of CLDCs, demonstrating strong structural properties they all satisfy and investigating two key classes of examples: bounded distributive lattices and semi-additive categories. Additionally, we re-examine a previously assumed class of CLDCs, the Kleisli categories of exception monads of distributive categories, and show that they do not, in fact, form CLDCs. -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Wed Apr 30 12:43:43 2025 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Wed, 30 Apr 2025 18:43:43 +0000 Subject: [Alta-Logic] Peripatetic Seminar for 2025 April 25 In-Reply-To: References: Message-ID: <0B3A7A7B-694F-4653-B07A-7F6BF9BF8ADF@ucalgary.ca> HI everyone, I would like to invite you to join me tomorrow at the Topos Institute virtual seminar. I am giving the talk - title/abstract below. To save you the trouble of converting time zones, the talk is at 11:00 am. In case you are planning to attend FMCS this year, I will be giving a version of this talk at FMCS delivered as a tutorial (slower and with more background!!). Cheers, Kristine From: Tim Hosgood > Subject: Topos Institute Colloquium (1st of May) Date: 28 April 2025 at 17:37:54 CEST To: Seminars at Topos Institute > Reply-To: tim at topos.institute Hi everyone, Below is the title and abstract for the next talk at the Topos Institute Colloquium, this Thursday at 17:00 UTC. You can check what time this is in your local time zone on either the website or ResearchSeminars page. Everybody is welcome to attend, either via Zoom or by the YouTube live stream. More information can be found at https://topos.institute/events/topos-colloquium. Looking forward to seeing you all there! Best, Tim ?????? Talk details Kristine Bauer: Distillation systems as models of homotopy colimits This is joint work with Kathryn Hess, Brenda Johnson and Julie Rasmusen. Colimits (and limits) are among the most fundamental notions in category theory, and also among the most useful of the basic structures. In topology, colimits are used to ?glue? spaces together. However, problems arise when we try to work with spaces as they continuously deform, because colimits are not invariant under such deformations. In this case, one uses a related notion called a homotopy colimit. But what are these, really? Homotopy colimits do not satisfy a universal property, even in the homotopy category, and are usually defined by the way they are computed in particular types of categories, such as model categories. In joint work, Hess and Johnson identified a list of properties that one would expect homotopy limits to satisfy in any homotopical category. These properties were chosen carefully because they are needed to perform certain constructions in functor calculus. Building on their work, we have identified the categorical structures that govern these properties. A distillation system relates two actions of the category of small categories on the category of categories through a lax linear functor. In this talk, I will define distillation systems and explain when they do and don?t recover homotopy colimits. Zoom: https://topos-institute.zoom.us/j/84392523736?pwd=bjdVS09wZXVscjQ0QUhTdGhvZ3pUdz09 YouTube: youtube.com/live/L4drX4HbySY To unsubscribe from this group and stop receiving emails from it, send an email to seminars+unsubscribe at topos.institute. -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Thu May 29 13:47:31 2025 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Thu, 29 May 2025 13:47:31 -0600 Subject: [Alta-Logic] Peripatetic seminar tomorrow Message-ID: <7425f2aa-5744-4954-a254-7418141063e2@ucalgary.ca> Dear all, Tomorrow, on *Friday* *May 30th at 2pm* we will hear from *Melika Norouzbeygi* in the *peripatetic seminar*. /Title/: Actegories and Copowers with Application to Message Passing Semantics /Abstract/: In this talk we prove that giving a right actegory with hom-objects is equivalent to giving a right-enriched category with copowers. While this result is known in the closed symmetric setting, our contribution extends the equivalence to non-closed and non-symmetric monoidal bases. This generalization is motivated by the semantics of higher-order message passing in the *Categorical Message Passing Language (CaMPL)*, a concurrent language whose semantics is given by a linear actegory. A desirable feature for this language is the support of higher-order processes: processes that are passed as first class citizens between processes. While this ability is already present in any closed linear type systems -- such as *CaMPL*'s -- to support arbitrary recursive process definitions requires the ability to reuse passed processes. Concurrent resources in *CaMPL*, however, cannot be duplicated, thus, passing processes as linear closures does not provide the required flexibility. This means processes must be passed as sequential data and the concurrent side must be *enriched* in the sequential side, motivating the technical result of this paper. It will take place on Friday May 30th at 2pm in ICT 616. Looking forward to seeing you there! Best regards, Florian -------------- next part -------------- An HTML attachment was scrubbed... URL: From florian.schwarz at ucalgary.ca Thu Jun 12 12:34:01 2025 From: florian.schwarz at ucalgary.ca (Florian Schwarz) Date: Thu, 12 Jun 2025 12:34:01 -0600 Subject: [Alta-Logic] Peripatetic Seminar tomorrow Message-ID: <1954d1ad-4783-41b4-898e-d9bd0090020d@ucalgary.ca> Dear all, Tomorrow, on *Friday* *June 13th at 2pm* we will hear from *Priyaa Varshinee Srinivasan* in the *peripatetic seminar*. /Title/: Actegories and Copowers with Application to Message Passing Semantics It will take place on Friday June 13th at 2pm at 2pm in ICT 616. Looking forward to seeing you there! Best regards, Florian -------------- next part -------------- An HTML attachment was scrubbed... URL: