From benjamin.macadam at ucalgary.ca Sun Jan 5 15:11:33 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Sun, 5 Jan 2020 22:11:33 +0000 Subject: [Alta-Logic] Peripatetic Seminar Message-ID: <2eef0d41-e356-4dde-8a27-b2df6b9268a1@Spark> Speaker: Cole Comfort Date and time: Monday, January 6th, 2020 at 01:00 Location: ICT 616 Title: Completely positive maps and the Cartesian completion of a discrete inverse category Abstract: In this talk, I relate Giles' Cartesian completion of a discrete inverse category to Coecke and Heunen's CP^? construction of quantum channels for well behaved symmetric ?-monoidal categories. In particular, by taking the subcategory of classical channels of CP^?(C), CP*(C) for a well-behaved discrete inverse category C, one obtains precisely the Cartesian completion of C. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri Jan 17 13:58:14 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Fri, 17 Jan 2020 20:58:14 +0000 Subject: [Alta-Logic] Peripatetic Seminar time References: Message-ID: <1266cc8e-7917-44e5-b843-b709539ac7cf@Spark> Hi everyone, There are two issues to address: First, we are trying to settle on a time for the peripatetic seminar this semester. I think there was originally a bit of consensus on having a Friday meeting time, but it seems like there is a conflict with the algebraic number theory class and the math graduate seminar. I propose we run the seminar at either 13:00-14:00 Friday 12:00-13:00 Thursday If anyone has strong feelings for a particular day, please let me know! Second, I would like to get speakers lined up in advance. If you are able to give a talk in the next four weeks, please send me an email and I?ll start building the schedule. Please include a one or two sentence blurb on the subject of the talk. -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: embedding.pdf Type: application/octet-stream Size: 920354 bytes Desc: embedding.pdf URL: From benjamin.macadam at ucalgary.ca Mon Jan 20 10:28:07 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Mon, 20 Jan 2020 17:28:07 +0000 Subject: [Alta-Logic] Peripatetic time References: <3a4845d3-e356-47ed-b890-b0cfea495209@Spark> Message-ID: <32d55f1b-7d8c-49f1-a587-9a1cc8638fc7@Spark> Hi Everyone, Thanks for all of the feedback! Based on everyone?s responses, it seems like the best time is Friday at 1:00PM. I will announce the first talk of the semester once I manage to find a speaker. Cheers, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Jan 23 13:23:16 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 23 Jan 2020 20:23:16 +0000 Subject: [Alta-Logic] Peripatetic Seminar: Organization References: Message-ID: <53ebe1b5-abba-4dee-8569-ba42b4b73389@Spark> Hi every, We will have an organizational meeting for the peripatetic seminar tomorrow, to make a tentative schedule for the semester. Time: 13:00, Friday, January 24 Location: Math Sciences 427 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Jan 23 13:23:44 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 23 Jan 2020 20:23:44 +0000 Subject: [Alta-Logic] Peripatetic Seminar: Organization References: Message-ID: <53ebe1b5-abba-4dee-8569-ba42b4b73389@Spark> Hi every, We will have an organizational meeting for the peripatetic seminar tomorrow, to make a tentative schedule for the semester. Time: 13:00, Friday, January 24 Location: Math Sciences 427 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Mon Jan 27 15:48:31 2020 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Mon, 27 Jan 2020 22:48:31 +0000 Subject: [Alta-Logic] Fwd: ANTS References: Message-ID: <51D6A151-C021-4A8C-9B2A-D87B3C011B40@ucalgary.ca> Hi everyone, My colleagues Khoa and Thomas are seeking feedback about scheduling the Algebra & Number Theory seminar. If you are interested in participating, please respond to Khoa?s message (included below). Cheers, Kristine Begin forwarded message: From: Dang Khoa Nguyen > Subject: ANTS Date: January 22, 2020 at 6:23:12 PM MST To: Kristine Bauer >, Thomas Bitoun > Hi Kristine and Thomas, We?ll continue ANTS this semester. Here?s the website: https://sites.google.com/view/calgaryants2019-2020/ I plan to have this during 1pm-2pm on Thursday. I?ll announce this to the department soon, but before that I can still change the time slightly (say 12pm-1pm or 12:30pm-1:30pm) if that suits you better. What do you think? Best, Khoa -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Jan 30 08:34:38 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 30 Jan 2020 15:34:38 +0000 Subject: [Alta-Logic] Peripatetic Seminar Message-ID: Speaker: Jonathan Gallagher Time and location: MSC427, at 13:00 Friday, January 31. Title: Taking the derivative of computations, backwards Abstract: This talk will introduce reverse differential restriction categories. The reverse derivative is a fundamental operation in machine learning and differential programming. Reverse differential categories provide an axiomatization of the reverse derivative. In this talk, we will expand the axiomatic framework for reverse differentiation by combining it with restriction structure; this allows for reverse differentiation functions that may be partial (such as those defined by while-loops). -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Feb 6 13:28:58 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 6 Feb 2020 20:28:58 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: <8e8b4806-96a1-44c6-8a14-6d665e5a09c6@Spark> Message-ID: <7e1952a6-d844-4673-b843-bbe9f6d10c1f@Spark> Speaker: Robin Cockett Title: Latent fibrations: some theory, some examples Time and Location: Friday, 1:00PM in MS427 Abstract: Latent fibrations are to restriction categories what fibrations are to ordinary categories. I shall introduce their basic theory and explore some basic examples including the "standard" latent fibration and the latent fibration of "propositions". -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri Feb 7 10:19:05 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Fri, 7 Feb 2020 17:19:05 +0000 Subject: [Alta-Logic] Peripatetic Seminar postponed References: Message-ID: <795e0993-ff1b-4d50-8d7b-ba7bc378f361@Spark> Hi Everyone, Robin has a cold, so we've postponed his peripatetic seminar talk to next week. -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From jdgall84 at gmail.com Fri Feb 7 10:59:53 2020 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Fri, 7 Feb 2020 10:59:53 -0700 Subject: [Alta-Logic] Peripatetic Seminar postponed In-Reply-To: <795e0993-ff1b-4d50-8d7b-ba7bc378f361@Spark> References: <795e0993-ff1b-4d50-8d7b-ba7bc378f361@Spark> Message-ID: Sorry to hear that. Hope you feel better soon Robin!!! On Fri, Feb 7, 2020, 10:19 AM Benjamin MacAdam wrote: > Hi Everyone, > > Robin has a cold, so we've postponed his peripatetic seminar talk to next > week. > > -Ben > _______________________________________________ > This message was sent to all subscribers of alta-logic-l > To unsubscribe, see instructions at: > http://www.ucalgary.ca/it/email/mailman > > E-mail: alta-logic-l at mailman.ucalgary.ca > Homepage: https://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l > -------------- next part -------------- An HTML attachment was scrubbed... URL: From jdgall84 at gmail.com Fri Feb 7 11:37:46 2020 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Fri, 7 Feb 2020 11:37:46 -0700 Subject: [Alta-Logic] Peripatetic Seminar postponed In-Reply-To: <795e0993-ff1b-4d50-8d7b-ba7bc378f361@Spark> References: <795e0993-ff1b-4d50-8d7b-ba7bc378f361@Spark> Message-ID: Since we have the time booked, we could still meet and discuss what each other is working on. On Fri, Feb 7, 2020, 10:19 AM Benjamin MacAdam wrote: > Hi Everyone, > > Robin has a cold, so we've postponed his peripatetic seminar talk to next > week. > > -Ben > _______________________________________________ > This message was sent to all subscribers of alta-logic-l > To unsubscribe, see instructions at: > http://www.ucalgary.ca/it/email/mailman > > E-mail: alta-logic-l at mailman.ucalgary.ca > Homepage: https://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l > -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Feb 13 18:39:29 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Fri, 14 Feb 2020 01:39:29 +0000 Subject: [Alta-Logic] Reminder: Peripatetic Seminar In-Reply-To: <7e1952a6-d844-4673-b843-bbe9f6d10c1f@Spark> References: <8e8b4806-96a1-44c6-8a14-6d665e5a09c6@Spark> <7e1952a6-d844-4673-b843-bbe9f6d10c1f@Spark> Message-ID: Hi Everyone, Just a reminder that Robin?s postponed talk from last week will be taking place tomorrow, at the same time/place. Cheers, Ben ---------- Forwarded message ---------- From: Benjamin MacAdam Date: Feb 6, 2020, 1:29 PM -0700 To: alta-logic-l at mailman.ucalgary.ca Subject: [Alta-Logic] Peripatetic Seminar Speaker: Robin Cockett Title: Latent fibrations: some theory, some examples Time and Location: Friday, 1:00PM in MS427 Abstract: Latent fibrations are to restriction categories what fibrations are to ordinary categories. I shall introduce their basic theory and explore some basic examples including the "standard" latent fibration and the latent fibration of "propositions". -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: ATT00001.txt URL: From dangkhoa.nguyen at ucalgary.ca Wed Feb 19 21:42:30 2020 From: dangkhoa.nguyen at ucalgary.ca (Dang Khoa Nguyen) Date: Thu, 20 Feb 2020 04:42:30 +0000 Subject: [Alta-Logic] Seminar talk by Charles Favre (1pm-2pm at MS 427) Message-ID: Hi everyone, Tomorrow, we will have the talk "Entropy of non-archimedean endomorphisms" by Charles Favre from Ecole Polytechnique and UBC: https://sites.google.com/view/calgaryants2019-2020/ Since there are fewer people around this week, let me give the further comments that Charles is a top-tier mathematician and he plans to make the talk more of colloquium style (i.e. more accessible). As always, apology to those who receive this email more than once. All the best, Khoa -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Feb 20 11:36:38 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 20 Feb 2020 18:36:38 +0000 Subject: [Alta-Logic] Peripatetic Seminar on February 21, 2020 References: Message-ID: <1df309ef-3f28-4dc5-950f-3be142a8fd76@Spark> Hello everyone, There will be a peripatetic seminar this week: Speaker: Deni Salja Title: Persisten Homology and it Generalization Time and Location: Friday, 1:00PM at MS427 Abstract: Persistent homology has seen more widespread use as a tool for analyzing data over the last decade. Generalizations of the theory to multiple parameter filtrations would have even broader applications. In this talk we?ll quickly see how (single parameter) persistent homology works and look at McCleary and Patel?s generalization of the notion of a persistence diagram by exploring a counter-example to their first attempt. -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Feb 27 12:46:03 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 27 Feb 2020 19:46:03 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: Message-ID: Hi everyone, There is a peripatetic seminar this week. Speaker: Daniel Satanove Time and location: 1:00 PM, February 28, Math Science 427, Title: functorial colimits Abstract: I will give a method for working with large colimits, and use it to prove a lemma -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Mon Mar 2 16:24:24 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Mon, 2 Mar 2020 23:24:24 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: Message-ID: <418df88c-4d38-4d62-bde7-9e483a1bb931@Spark> Hi Everyone, There will be a peripatetic seminar on Friday! Speaker: Jonathan Gallagher Title: The fast Weil to go Faa (with Ben MacAdam) Time and Place: 1:00PM at MS427, Friday, March 6 Abstract: This talk will introduce the notion of a tangent complex in an arbitrary category. We will then use tangent complexes to show that tangent categories are precisely coalgebras of a comonad. We will then show how to reconstruct the Faa di Bruno construction as a subconstruction of the cofree tangent category, and we will not require any combinatorics to do this. -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Tue Mar 3 12:48:31 2020 From: rzach at ucalgary.ca (Richard Zach) Date: Tue, 3 Mar 2020 19:48:31 +0000 Subject: [Alta-Logic] THURS March 12: Mathematics & Philosophy Lecture: Paddy Blanchette Message-ID: <69bb6165-62e9-6966-597e-66966f6cae85@ucalgary.ca> Geometry, Logic, and Philosophy: The Case of the Parallels Postulate [cid:part1.C6B66BFD.F7248050 at ucalgary.ca]Patricia Blanchette University of Notre Dame Thursday, March 12, 2020, 3:30 ST 135 Free registration required One of the most important techniques provided by modern logic is the use of models to show the consistency of theories. The technique burst onto the scene in the late 19th century, and had its most important early instance in demonstrating the consistency of non-Euclidean geometries. This talk investigates the development of that technique as it transitions from a geometric tool to an all-purpose tool of logic. Prof. Blanchette argues that the standard narrative, according to which our modern technique provides answers to centuries-old questions, is mistaken. Once we understand how modern models work, she'll argue, we see important differences between the kinds of consistency-claims that would have made sense, e.g., to Kant and the kinds of consistency-claims that we can demonstrate today. We?ll also see some philosophically-interesting shifts, over this time period, in the kinds of things that we take proofs to demonstrate. Patricia Blanchette is Professor of Philosophy and Glynn Family Honors Collegiate Chair in the Department of Philosophy at the University of Notre Dame. Prior to coming to Notre Dame, Blanchette taught in the Department of Philosophy at Yale University. Blanchette works in the history and philosophy of logic, philosophy of mathematics, history of analytic philosophy, and philosophy of language. She is an editor of the Bulletin of Symbolic Logic, and serves on the editorial boards of the Notre Dame Journal of Formal Logic and of Philosophia Mathematica. She is the author of Frege?s Conception of Logic (Oxford University Press 2012). This talk is the sixth annual Calgary Mathematics & Philosophy Lecture, co-sponsored by the Departments of Philosophy and Mathematics, PIMS, the Pacific Institute for the Mathematical Sciences, and the Faculty of Science. The Mathematics & Philosophy Lectures aim to introduce topics at the intersection of mathematics and philosophy to a general academic audience. The event is free & open to the public; a reception follows. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: mathphil-2020-blanchette_0.png Type: image/png Size: 110789 bytes Desc: mathphil-2020-blanchette_0.png URL: From dangkhoa.nguyen at ucalgary.ca Thu Mar 5 00:59:21 2020 From: dangkhoa.nguyen at ucalgary.ca (Dang Khoa Nguyen) Date: Thu, 5 Mar 2020 07:59:21 +0000 Subject: [Alta-Logic] talk by Nathan Ng, 1pm March 5 at MS427 Message-ID: Hi everyone, We will have the following talk: Moments of the Riemann zeta function and mean values of long Dirichlet polynomials by Nathan Ng (ULethbridge) at 1pm on March 5 at MS 427. For more information: https://sites.google.com/view/calgaryants2019-2020/ All are welcome. Best regards, Khoa -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Tue Mar 10 07:27:45 2020 From: rzach at ucalgary.ca (Richard Zach) Date: Tue, 10 Mar 2020 13:27:45 +0000 Subject: [Alta-Logic] Blanchette's Math & Philosophy Lecture CANCELLED Message-ID: <728b4f8f-2a0c-9dd5-0918-15bbde6b171e@ucalgary.ca> Hi, Patricia Blanchette is not well enough to travel, and so the Math & Philosophy lecture planned for this Thursday is unfortunately cancelled. We'll reschedule the event at a later date, probably in the Fall. Yours Richard -- Richard Zach ........... https://richardzach.org/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From benjamin.macadam at ucalgary.ca Wed Mar 11 23:05:32 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 12 Mar 2020 05:05:32 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: Message-ID: <899de6f8-a6bb-409e-b197-dff25b995df5@Spark> Hi Everyone, There will be a peripatetic seminar this Friday. Speaker: Ben MacAdam Title:Enriched limit doctrines, Lawvere theories. Time and Location: 1:00 PM at MS427, March 13, 2020 Abstract: Following Lack and Rosicky?s ?Notions of Lawvere Theories?, we will look at the theory of strongly finitely presentable objects. This leads to a notion of enriched Lawvere theory that mirrors the classical case, particularly commutative theories and morphisms of theories. -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri Mar 13 11:24:10 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Fri, 13 Mar 2020 17:24:10 +0000 Subject: [Alta-Logic] Peripatetic Seminar Postponed References: <4b06dfcf-00a1-4dce-b7b8-355fa64cbaa4@Spark> Message-ID: <80f0edd0-1fe7-45b2-91ea-5fc7a9955d5a@Spark> Hi everyone, Because the university is closed down today, I think it?s best we postpone the seminar to next week. -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Mar 19 13:09:13 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 19 Mar 2020 19:09:13 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: <3988538b-88df-4d3d-81ab-09e123c30736@Spark> Message-ID: <72e4bdaf-3f53-4b55-a7df-54bfae50fc79@Spark> Hi Everyone, Last week?s peripatetic seminar will be taking place tomorrow. Also, now that our seminar is online, it may be worth looking into inviting speakers to give a talk (since there?s no longer any travel). Speaker: Ben MacAdam Title:Enriched limit doctrines, Lawvere theories. Time and Location: 1:00 PM at , March 13, 2020 Abstract: Following Lack and Rosicky?s ?Notions of Lawvere Theories?, we will look at the theory of strongly finitely presentable objects. This leads to a notion of enriched Lawvere theory that mirrors the classical case, particularly commutative theories and morphisms of theories. Benjamin MacAdam is inviting you to a scheduled Zoom meeting. Topic: My Meeting Time: Mar 20, 2020 01:00 PM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/232597169 Meeting ID: 232 597 169 One tap mobile +13017158592,,232597169# US +13126266799,,232597169# US (Chicago) Dial by your location +1 301 715 8592 US +1 312 626 6799 US (Chicago) +1 346 248 7799 US (Houston) +1 646 558 8656 US (New York) +1 669 900 6833 US (San Jose) +1 253 215 8782 US Meeting ID: 232 597 169 Find your local number: https://ucalgary.zoom.us/u/adJkhRlWY Join by SIP 232597169 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 221.122.88.195 (China) 115.114.131.7 (India Mumbai) 115.114.115.7 (India Hyderabad) 213.19.144.110 (EMEA) 103.122.166.55 (Australia) 209.9.211.110 (Hong Kong) 64.211.144.160 (Brazil) 69.174.57.160 (Canada) 207.226.132.110 (Japan) Meeting ID: 232 597 169 Join by Skype for Business https://ucalgary.zoom.us/skype/232597169 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Mar 25 12:13:30 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Wed, 25 Mar 2020 18:13:30 +0000 Subject: [Alta-Logic] Calgary-Categories on Zulip-Chat References: <2edfb798-d445-4821-98bd-e155d54e927f@Spark> Message-ID: <188b436e-9193-421e-abec-e7ceed9a871b@Spark> Hi Everyone, The MIT category theory seminar is using Zulip chat, and it looks like a great piece of software so I?ve taken the liberty of setting up a Zulip chat room for the Calgary group (any anyone else that wishes to join). There?s also a broader ?category theory? Zulip channel that may be worth looking at, if anyone is interested. It has Zoom integration, you can include (some) latex in you messages (no environments, but still). It also uses a threading conversation model, similar to email. It also has private streams and SVN integration, which could be helpful for some of the larger projects that have sprung up in our group! https://calgary-categories.zulipchat.com/join/632njiseiy5dbgiusxwpja00/ -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Mar 26 12:47:41 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 26 Mar 2020 18:47:41 +0000 Subject: [Alta-Logic] Peripatetic Seminar/New policy References: <0c8d1806-aa58-4db1-b7d1-f70fb1a71fbc@Spark> Message-ID: <8eb27d96-0171-4d4f-8c5f-3166ad8e862d@Spark> Hi everyone, There will be a peripatetic seminar tomorro! Also, there are lots of category theorists on category theory Zulip chat channel. UCR and MIT are advertising their talks there, and I thought it would be a good idea to start advertising our seminar there as well. However, I know that not everyone will want to present to that large of an audience. For the new policy, talks will only be advertised as public seminar if the speaker wants it to be. Speaker: Cole Comfort Time: 1:00PM Calgary time Title: The ZX& calculus Abstract: Consider ZX&, the fragment of the ZX calculus generated by the copying/addition Frobenius algebras, the not gate and the and gate. I prove that this fragment is complete and universal for a prop of spans of sets, by freely adding units and counits to the inverse products of TOF (the category generated by the Toffoli gate and computational basis states/effects). To prove completeness, I first show show that adding a counit to TOF is the same as computing the classical channels, which is the the same as the discrete Cartesian completion. The completeness of ZX& is obtained via a two way translation between this extension of TOF with units and counits, and ZX&. Zoom invite: Benjamin MacAdam is inviting you to a scheduled Zoom meeting. Topic: Peripatetic Seminar Time: Mar 27, 2020 01:00 PM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/703950579 Meeting ID: 703 950 579 One tap mobile +13462487799,,703950579# US (Houston) +16465588656,,703950579# US (New York) Dial by your location +1 346 248 7799 US (Houston) +1 646 558 8656 US (New York) +1 669 900 6833 US (San Jose) +1 253 215 8782 US +1 301 715 8592 US +1 312 626 6799 US (Chicago) Meeting ID: 703 950 579 Find your local number: https://ucalgary.zoom.us/u/adJkhRlWY Join by SIP 703950579 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 221.122.88.195 (China) 115.114.131.7 (India Mumbai) 115.114.115.7 (India Hyderabad) 213.19.144.110 (EMEA) 103.122.166.55 (Australia) 209.9.211.110 (Hong Kong) 64.211.144.160 (Brazil) 69.174.57.160 (Canada) 207.226.132.110 (Japan) Meeting ID: 703 950 579 Join by Skype for Business https://ucalgary.zoom.us/skype/703950579 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Apr 1 22:39:38 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 2 Apr 2020 04:39:38 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: Message-ID: <35e13b57-da73-45df-860b-725674d3f157@Spark> Hi Everyone, There will be a peripatetic seminar on Friday, Speaker: Priyaa Srinivasan Time: 1:00 PM, Friday Title: Commutative dagger Frobenius algebras play a central role in categorical quantum mechanics due to their correspondence to orthogonal basis in the category of finite-dimensional Hilbert spaces. Subsequently, such algebras represent quantum observables. Measurement in a dagger monoidal category is an isometry, m: A \to X (i.e, m^\dagger m = 1_X) where A is any object, and X is a special commutative dagger Frobenius Algebra. In this talk, I will generalize dagger Frobenius Algebras from dagger monoidal categories to dagger linearly distributive categories. We refer to the generalization as dagger linear monoids. I will provide the conditions under which a dagger linear monoid gives a dagger Frobenius algebra in a unitary category. We show the correspondence between dagger linear duals and dagger linear monoids. We find that in a complete and cocomplete category, limit of dagger linear monoids is a dagger linear monoid. Thus one can represent, possibly, infinite dimensional quantum observables using dagger linear monoids. If time permits, I will discuss measurements for dagger linear monoids. A measurement for a dagger linear monoid is a retract from the linear monoid to a special commutative dagger Frobenius Algebra within the unitary core. (This is a joint work with Robin) Zoom meeting: Benjamin MacAdam is inviting you to a scheduled Zoom meeting. Topic: Peripatetic Seminar: Priyaa Time: Apr 3, 2020 01:00 PM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/205216423 Meeting ID: 205 216 423 One tap mobile +16699006833,,205216423# US (San Jose) +12532158782,,205216423# US Dial by your location +1 669 900 6833 US (San Jose) +1 253 215 8782 US +1 301 715 8592 US +1 312 626 6799 US (Chicago) +1 346 248 7799 US (Houston) +1 646 558 8656 US (New York) Meeting ID: 205 216 423 Find your local number: https://ucalgary.zoom.us/u/adJkhRlWY Join by SIP 205216423 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 221.122.88.195 (China) 115.114.131.7 (India Mumbai) 115.114.115.7 (India Hyderabad) 213.19.144.110 (EMEA) 103.122.166.55 (Australia) 209.9.211.110 (Hong Kong) 64.211.144.160 (Brazil) 69.174.57.160 (Canada) 207.226.132.110 (Japan) Meeting ID: 205 216 423 Join by Skype for Business https://ucalgary.zoom.us/skype/205216423 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Apr 8 14:12:15 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Wed, 8 Apr 2020 20:12:15 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: <9897e0b8-c2fb-46e9-8926-b857e4569d87@Spark> Message-ID: <6336bbd0-1416-4308-8ae6-3f015283e974@Spark> Hi Everyone, There is a peripatetic seminar on Friday. To watch previous seminars, you can find the zoom recordings on the peripatetic seminar website, https://peripatetic-seminar.cpsc.ucalgary.ca/wp/ Speaker: Chad Nester Time: 1:00 PM, Zoom invite is below. Title: String Diagrams for Regular Restriction Categories Abstract: I will discuss how cartesian restriction categories can be reasoned about using string diagrams for monoidal categories, including how this extends to regular restriction categories. Specifically, we will see that every cartesian bicategory of relations (in the sense of Carboni and Walters) has a regular restriction category of partial maps as a subcategory, and that from a regular restriction category we can construct the category of relations of which it is the partial map subcategory. This all works whether or not our restriction categories are split. Benjamin MacAdam is inviting you to a scheduled Zoom meeting. Topic: Peripatetic Seminar: Chad Nester Time: Apr 10, 2020 01:00 PM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/837797909 Meeting ID: 837 797 909 One tap mobile +13017158592,,837797909# US +13126266799,,837797909# US (Chicago) Dial by your location +1 301 715 8592 US +1 312 626 6799 US (Chicago) +1 346 248 7799 US (Houston) +1 646 558 8656 US (New York) +1 669 900 6833 US (San Jose) +1 253 215 8782 US Meeting ID: 837 797 909 Find your local number: https://ucalgary.zoom.us/u/adJkhRlWY Join by SIP 837797909 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 221.122.88.195 (China) 115.114.131.7 (India Mumbai) 115.114.115.7 (India Hyderabad) 213.19.144.110 (EMEA) 103.122.166.55 (Australia) 209.9.211.110 (Hong Kong) 64.211.144.160 (Brazil) 69.174.57.160 (Canada) 207.226.132.110 (Japan) Meeting ID: 837 797 909 Join by Skype for Business https://ucalgary.zoom.us/skype/837797909 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Apr 8 15:42:21 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Wed, 8 Apr 2020 21:42:21 +0000 Subject: [Alta-Logic] Seminar is postponed References: Message-ID: <00581ba7-bf2c-48dd-826a-16b1e5593018@Spark> Hi everyone, Thanks to Berndt and Kristine for reminding me that Friday is a holiday - we will have Chad?s talk next week. I?ve updated the website accordingly. -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Apr 16 14:46:22 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 16 Apr 2020 20:46:22 +0000 Subject: [Alta-Logic] Fwd: Peripatetic Seminar In-Reply-To: <6336bbd0-1416-4308-8ae6-3f015283e974@Spark> References: <9897e0b8-c2fb-46e9-8926-b857e4569d87@Spark> <6336bbd0-1416-4308-8ae6-3f015283e974@Spark> Message-ID: Hi everyone, Just a reminder that we will be having a Peripatetic Seminar this week. -Ben Benjamin MacAdam is inviting you to a scheduled Zoom meeting. Topic: Peripatetic Seminar: Chad Nester Time: Apr 17, 2020 01:00 PM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/837797909 Meeting ID: 837 797 909 One tap mobile +13017158592,,837797909# US +13126266799,,837797909# US (Chicago) Dial by your location +1 301 715 8592 US +1 312 626 6799 US (Chicago) +1 346 248 7799 US (Houston) +1 646 558 8656 US (New York) +1 669 900 6833 US (San Jose) +1 253 215 8782 US Meeting ID: 837 797 909 Find your local number: https://ucalgary.zoom.us/u/adJkhRlWY Join by SIP 837797909 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 221.122.88.195 (China) 115.114.131.7 (India Mumbai) 115.114.115.7 (India Hyderabad) 213.19.144.110 (EMEA) 103.122.166.55 (Australia) 209.9.211.110 (Hong Kong) 64.211.144.160 (Brazil) 69.174.57.160 (Canada) 207.226.132.110 (Japan) Meeting ID: 837 797 909 Join by Skype for Business https://ucalgary.zoom.us/skype/837797909 ---------- Forwarded message ---------- From: Benjamin MacAdam Date: Apr 8, 2020, 2:12 PM -0600 To: alta-logic-l at mailman.ucalgary.ca Subject: [Alta-Logic] Peripatetic Seminar Hi Everyone, There is a peripatetic seminar on Friday. To watch previous seminars, you can find the zoom recordings on the peripatetic seminar website, https://peripatetic-seminar.cpsc.ucalgary.ca/wp/ Speaker: Chad Nester Time: 1:00 PM, Zoom invite is below. Title: String Diagrams for Regular Restriction Categories Abstract: I will discuss how cartesian restriction categories can be reasoned about using string diagrams for monoidal categories, including how this extends to regular restriction categories. Specifically, we will see that every cartesian bicategory of relations (in the sense of Carboni and Walters) has a regular restriction category of partial maps as a subcategory, and that from a regular restriction category we can construct the category of relations of which it is the partial map subcategory. This all works whether or not our restriction categories are split. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: ATT00001.txt URL: From benjamin.macadam at ucalgary.ca Tue Apr 21 14:03:32 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Tue, 21 Apr 2020 20:03:32 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: <0d1f55ce-e7b9-4224-be2e-909673b01c5a@Spark> Message-ID: <3930c9ac-444f-4ce2-a67a-8e326a3c2b5d@Spark> Speaker: JS Lemay Time and Location: Title: The symmetric algebra's other universal properties (joint work with Richard Garner) Abstract: The symmetric algebra is known for being the free commutative algebra over a vector space. Therefore, it is universal amongst commutative algebras. It turns out, the symmetric algebra also has another universal property which can be used to construct the initial monoidal differential modality. Zoom info: Benjamin MacAdam is inviting you to a scheduled Zoom meeting. Topic: Peripatetic Seminar: JS Lemay Time: Apr 24, 2020 01:00 PM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/95238596183 Meeting ID: 952 3859 6183 One tap mobile +13017158592,,95238596183# US +13126266799,,95238596183# US (Chicago) Dial by your location +1 301 715 8592 US +1 312 626 6799 US (Chicago) +1 346 248 7799 US (Houston) +1 646 558 8656 US (New York) +1 669 900 6833 US (San Jose) +1 253 215 8782 US Meeting ID: 952 3859 6183 Find your local number: https://ucalgary.zoom.us/u/adJkhRlWY Join by SIP 95238596183 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 221.122.88.195 (China) 115.114.131.7 (India Mumbai) 115.114.115.7 (India Hyderabad) 213.19.144.110 (EMEA) 103.122.166.55 (Australia) 209.9.211.110 (Hong Kong China) 64.211.144.160 (Brazil) 69.174.57.160 (Canada) 207.226.132.110 (Japan) Meeting ID: 952 3859 6183 Join by Skype for Business https://ucalgary.zoom.us/skype/95238596183 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Apr 30 14:59:34 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 30 Apr 2020 20:59:34 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: <3bd87f98-9458-4966-927c-328eda007620@Spark> Message-ID: <380bb437-9ddb-4317-9a9c-e3511738e510@Spark> Hi Everyone, Jonathan?s talk has been postponed, so I will fill in. Speaker: Ben MacAdam Title: Microlinear Lawvere theories Time: 1:00 PM, Calgary time on Zoom Abstract: In this talk we introduce Microlinear Lawvere theories, and show that differential objects in cartesian tangent categories are an example. One of the more striking applications of this theory is that every tangent category embeds into the Eilenberg-Moore category of a tensor differential category. (Joint work with Jonathan Gallagher and Rory Lucyshyn-Wright) -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Apr 30 15:03:01 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 30 Apr 2020 21:03:01 +0000 Subject: [Alta-Logic] Fwd: Peripatetic Seminar In-Reply-To: <380bb437-9ddb-4317-9a9c-e3511738e510@Spark> References: <3bd87f98-9458-4966-927c-328eda007620@Spark> <380bb437-9ddb-4317-9a9c-e3511738e510@Spark> Message-ID: <71aef84c-7d1e-4bd0-bf71-17b416fda5d6@Spark> I forgot the Zoom invite: Benjamin MacAdam is inviting you to a scheduled Zoom meeting. Topic: Peripatetic Seminar: Ben MacAdam Time: May 1, 2020 01:00 PM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/99347710290 Meeting ID: 993 4771 0290 One tap mobile +12532158782,,99347710290# US (Tacoma) +13017158592,,99347710290# US (Germantown) Dial by your location +1 253 215 8782 US (Tacoma) +1 301 715 8592 US (Germantown) +1 312 626 6799 US (Chicago) +1 346 248 7799 US (Houston) +1 646 558 8656 US (New York) +1 669 900 6833 US (San Jose) Meeting ID: 993 4771 0290 Find your local number: https://ucalgary.zoom.us/u/actXatuIii Join by SIP 99347710290 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 69.174.57.160 (Canada) Meeting ID: 993 4771 0290 Join by Skype for Business https://ucalgary.zoom.us/skype/99347710290 -Ben ---------- Forwarded message ---------- From: Benjamin MacAdam Date: Apr 30, 2020, 2:59 PM -0600 To: alta-logic-l at mailman.ucalgary.ca Subject: [Alta-Logic] Peripatetic Seminar Hi Everyone, Jonathan?s talk has been postponed, so I will fill in. Speaker: Ben MacAdam Title: Microlinear Lawvere theories Time: 1:00 PM, Calgary time on Zoom Abstract: In this talk we introduce Microlinear Lawvere theories, and show that differential objects in cartesian tangent categories are an example. One of the more striking applications of this theory is that every tangent category embeds into the Eilenberg-Moore category of a tensor differential category. (Joint work with Jonathan Gallagher and Rory Lucyshyn-Wright) -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: ATT00001.txt URL: From benjamin.macadam at ucalgary.ca Thu May 7 11:01:38 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 7 May 2020 17:01:38 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: <367c7406-0690-4a82-a1c4-bc72310a0ea5@Spark> Message-ID: Hello everyone, We will be having a visitor give a talk the Friday. Speak: Juan Qiao Title: Rho Calculus Time and Location: 1:00pm, Friday, May 8, on Zoom Abstract: Process calculus is a family of related approaches to formally model concurrent systems, e.g. Pi-calculus which pass channels as data along other channels; Ambient calculus which models distributed and mobile computations. Rho Calculus (Reflective Higher Order Calculus) is based on Pi-calculus; it is a closed theory in the form of an asynchronous message-passing calculus built on a notion of quoting. Names are quoted processes and unquoting is reification of processes. Names are subject to algebraic rules and reasoning such as substitutions and bisimulation. Zoom info: Topic: Peripatetic Seminar Time: May 8, 2020 01:00 PM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/97790581917 Meeting ID: 977 9058 1917 One tap mobile +13462487799,,97790581917# US (Houston) +16465588656,,97790581917# US (New York) Dial by your location +1 346 248 7799 US (Houston) +1 646 558 8656 US (New York) +1 669 900 6833 US (San Jose) +1 253 215 8782 US (Tacoma) +1 301 715 8592 US (Germantown) +1 312 626 6799 US (Chicago) Meeting ID: 977 9058 1917 Find your local number: https://ucalgary.zoom.us/u/acLsaXwrb4 Join by SIP 97790581917 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 69.174.57.160 (Canada) Meeting ID: 977 9058 1917 Join by Skype for Business https://ucalgary.zoom.us/skype/97790581917 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri May 15 09:15:10 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Fri, 15 May 2020 15:15:10 +0000 Subject: [Alta-Logic] No peripatetic seminar References: <48726bf6-9eed-4212-833d-66a698e6ee3a@Spark> Message-ID: <0e9407bc-df93-4286-bd2a-a02b83477aa4@Spark> Hi Everyone, There will be no peripatetic seminar today, go get an early start on the long weekend! -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed May 20 13:20:18 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Wed, 20 May 2020 19:20:18 +0000 Subject: [Alta-Logic] Peripatetic seminar Friday References: <5742fece-cc38-4da1-8e8d-4e59a7938f31@Spark> Message-ID: <454b8508-845b-4eee-b3f3-559a3b4f58e8@Spark> Hi Everyone, Peripatetic will be a bit early this week: Speaker: Jonathan Gallagher Time and location: 12:00 Friday, May 22 on Zoom Title: Abadi and Plotkin's language in terms of differential structure Abstract: Abadi and Plotkin defined the Simple Differential Programming Language (SDPL) to be a functional programming language with a first order type system where every program can be reverse differentiated. Importantly this language has conditionals and recursive functions. In this talk we will develop the denotational semantics and source code transformation semantics from a categorical point of view using the technology of reverse differential join restriction categories. In particular, using an interpretation into such a category we will show that source code transformations are modelled correctly, that the trace-differentiation technique is modelled, and we will express a denotational semantics for SDPL into any such category with enough points. Finally, we will use the theory of these categories to derive a modification to the operational semantics that yields an exponential speedup on the differentiation of loops. Also, as a bonus, we will do recursion in a restriction category! Zoom handle: https://ucalgary.zoom.us/j/6183695417 Meeting ID: 618 369 5417 One tap mobile +13017158592,,6183695417# US (Germantown) +13126266799,,6183695417# US (Chicago) Dial by your location +1 301 715 8592 US (Germantown) +1 312 626 6799 US (Chicago) +1 346 248 7799 US (Houston) +1 646 558 8656 US (New York) +1 669 900 6833 US (San Jose) +1 253 215 8782 US (Tacoma) Meeting ID: 618 369 5417 Find your local number: https://ucalgary.zoom.us/u/amIFDb4m5 Join by SIP 6183695417 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 69.174.57.160 (Canada) Meeting ID: 618 369 5417 Join by Skype for Business https://ucalgary.zoom.us/skype/6183695417 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri May 22 12:07:22 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Fri, 22 May 2020 18:07:22 +0000 Subject: [Alta-Logic] Mixed up zoom handle References: Message-ID: <4d10811c-bff6-4c55-b449-0bd6f284d810@Spark> https://ucalgary.zoom.us/j/97790581917 Sorry everyone! -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu May 28 12:21:58 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 28 May 2020 18:21:58 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: <70b7ebb3-918b-4a6c-8cdc-651660b9bff8@Spark> Message-ID: <6eef130e-43c0-4696-b760-b015f146d70a@Spark> Hi Everyone, Thanks to Richard Zach, we have a new URL for the peripatetic seminar website: logic.ucalgary.ca. Speaker: Robin Cockett Date: May 29, 2020 Time: 13:00-14:15 Location: Zoom (email benjamin dot macadam at ucalgary for details). Title:A first introduction to Clifford algebras Abstract: William Kingdon Clifford (1845-78) died of tuberculosis when he was still young: he was a professor of Mathematic and Mechanics at University College, London. His work on ?geometrical algebra? foreshadowed the theory of general relativity. Almost a century later David Hestenes used Clifford?s ideas to develop ?space-time algebra?: these ideas are still being actively developed as a basis for physics. The talk is going to start with a very basic mathematical first introduction to ?geometrical algebra?. Applications to physics are reached by considering Clifford?s geometrical algebras in the context of tangent categories and (hopefully) I will end on some remarks in this direction. Zoom invite: Topic: Peripatetic Seminar Time: May 29, 2020 01:00 PM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/93415508925 Meeting ID: 934 1550 8925 One tap mobile +13462487799,,93415508925# US (Houston) +16465588656,,93415508925# US (New York) Dial by your location +1 346 248 7799 US (Houston) +1 646 558 8656 US (New York) +1 669 900 6833 US (San Jose) +1 253 215 8782 US (Tacoma) +1 301 715 8592 US (Germantown) +1 312 626 6799 US (Chicago) Meeting ID: 934 1550 8925 Find your local number: https://ucalgary.zoom.us/u/acBcA0sgpu Join by SIP 93415508925 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 69.174.57.160 (Canada) Meeting ID: 934 1550 8925 Join by Skype for Business https://ucalgary.zoom.us/skype/93415508925 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Jun 4 12:00:34 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 4 Jun 2020 18:00:34 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: <6fdedad2-e2b3-485a-ba67-95e4c6fb2c98@Spark> Message-ID: Hi Everyone, JS will be giving a talk this Friday: Title: Hyperbolic Functions for Cartesian Differential Categories Speaker: JS Lemay Time and location: In zoom invite below. Abstract: Hyperbolic functions are analogues of trigonemtric functions for the hyperbola. Hyperbolic functions have many applications in mathematics, physics, and engineering. In this talk, I will generalize the hyperbolic functions sinh and cosh in Cartesian differential categories, in the same way I generalized the exponential function. In particular, the sum of these generalized hyperbolic functions will be a generalized exponential function. Peripatetic Seminar Scheduled: May 29, 2020 at 1:00 PM to 3:00 PM Location: https://ucalgary.zoom.us/j/93415508925 Benjamin MacAdam is inviting you to a scheduled Zoom meeting. Topic: Peripatetic Seminar Time: May 29, 2020 01:00 PM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/93415508925 Meeting ID: 934 1550 8925 One tap mobile +13462487799,,93415508925# US (Houston) +16465588656,,93415508925# US (New York) Dial by your location +1 346 248 7799 US (Houston) +1 646 558 8656 US (New York) +1 669 900 6833 US (San Jose) +1 253 215 8782 US (Tacoma) +1 301 715 8592 US (Germantown) +1 312 626 6799 US (Chicago) Meeting ID: 934 1550 8925 Find your local number: https://ucalgary.zoom.us/u/acBcA0sgpu Join by SIP 93415508925 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 69.174.57.160 (Canada) Meeting ID: 934 1550 8925 Join by Skype for Business https://ucalgary.zoom.us/skype/93415508925 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Thu Jun 4 16:55:51 2020 From: rzach at ucalgary.ca (Richard Zach) Date: Thu, 4 Jun 2020 16:55:51 -0600 Subject: [Alta-Logic] =?utf-8?q?Next_Thursday_11am=3A_Peirce=E2=80=99s_Tr?= =?utf-8?q?iadic_Logic=3A_Continuity=2C_Modality=2C_and_L?= Message-ID: <14d3ea2c-b0c2-3e4b-c464-0b65394ca605@ucalgary.ca> Brent Odland Date: June 11, 2020 Time: 11:00-12:00 Peirce?s Triadic Logic: Continuity, Modality, and L In 1909,? in his Logic Notebook,? Charles Sanders Peirce conducted what appear to be the first experiments with many-valued logic. As these experiments are entirely contained within a handful of pages in his notebook, which were not published or discussed by other authors during his lifetime, little is known about his reasons for conducting this research.? By examining and transcribing these pages, and connecting them to his larger body of philosophy, I show how his motivations lie within his views on modality and continuity. Join Zoom Meeting https://ucalgary.zoom.us/j/93546745731 Meeting ID: 935 4674 5731 Password: 660831 -- Richard Zach ........... https://richardzach.org/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Fri Jun 5 08:17:11 2020 From: rzach at ucalgary.ca (Richard Zach) Date: Fri, 5 Jun 2020 08:17:11 -0600 Subject: [Alta-Logic] The Logic Supergroup Message-ID: <83a0b03f-f4b2-48cc-46ca-e7aff17641c2@ucalgary.ca> Hi, Quite a few logic research groups around the world have banded together to form the Logic Supergroup. I've taken the liberty of adding us (the Peripatetic Group) to it: https://logic.uconn.edu/supergroup/# Previous talks are now on YouTube: https://www.youtube.com/channel/UCqOAS8SHP-5nGjYEE2FE6xw As you can see most of these are on the philosophy side of logic. To access the supergroup calendar, please follow this link: https://calendar.google.com/calendar?cid=ZGhoanNoanF1bGhmaG9xam5scDJlc2o0bDhAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ There is also a calendar of events at member groups https://calendar.google.com/calendar?cid=aG8wNWljaGxkNXI2N2oyMnZvY3BzdmRoMWNAZ3JvdXAuY2FsZW5kYXIuZ29vZ2xlLmNvbQ If you would like to have your (or all our) talks appear there, let me know. There is an announcements list. You can email shay.a.logan at gmail.com to be added (or let me know and I'll pass it on). Best Richard -- Richard Zach ........... https://richardzach.org/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From jeansimon.lemay at ucalgary.ca Sat Jun 6 09:42:56 2020 From: jeansimon.lemay at ucalgary.ca (JS Lemay) Date: Sat, 6 Jun 2020 15:42:56 +0000 Subject: [Alta-Logic] Congrats to Cole! Message-ID: Congratulations to Cole for winning the best student paper at QPL2020 (https://www.monoidal.net/paris2020/qpl/) Paper + Video: https://www.monoidal.net/paris2020/talk/qs15t3.html His prize is that Bob has to buy Cole as many drinks as he wants for the rest of the year! To which Bob replied that: "He basically already drunk more of my booze than he ever can pay back during the remainder of his life?? Congrats again Cole! I?m sure Robin regrets letting you go! Have a great day! JS -------------- next part -------------- An HTML attachment was scrubbed... URL: From robin at ucalgary.ca Sat Jun 6 12:50:59 2020 From: robin at ucalgary.ca (Robin Cockett) Date: Sat, 6 Jun 2020 18:50:59 +0000 Subject: [Alta-Logic] Congrats to Cole! In-Reply-To: References: Message-ID: Congrats indeed Cole for the best student paper at QPL2020 (https://www.monoidal.net/paris2020/qpl/) Paper + Video: https://www.monoidal.net/paris2020/talk/qs15t3.html -robin ________________________________ From: alta-logic-l on behalf of JS Lemay Sent: Saturday, June 6, 2020 9:42 AM To: alta-logic-l at mailman.ucalgary.ca Subject: [Alta-Logic] Congrats to Cole! Congratulations to Cole for winning the best student paper at QPL2020 (https://www.monoidal.net/paris2020/qpl/) Paper + Video: https://www.monoidal.net/paris2020/talk/qs15t3.html His prize is that Bob has to buy Cole as many drinks as he wants for the rest of the year! To which Bob replied that: "He basically already drunk more of my booze than he ever can pay back during the remainder of his life?? Congrats again Cole! I?m sure Robin regrets letting you go! Have a great day! JS -------------- next part -------------- An HTML attachment was scrubbed... URL: From chad.nester at gmail.com Sat Jun 6 13:25:59 2020 From: chad.nester at gmail.com (Chad Nester) Date: Sat, 6 Jun 2020 22:25:59 +0300 Subject: [Alta-Logic] Congrats to Cole! In-Reply-To: References: Message-ID: [?EXTERNAL] Good job Cole! On Sat, 6 Jun 2020, 21:51 Robin Cockett, > wrote: Congrats indeed Cole for the best student paper at QPL2020 (https://www.monoidal.net/paris2020/qpl/) Paper + Video: https://www.monoidal.net/paris2020/talk/qs15t3.html -robin ________________________________ From: alta-logic-l > on behalf of JS Lemay > Sent: Saturday, June 6, 2020 9:42 AM To: alta-logic-l at mailman.ucalgary.ca > Subject: [Alta-Logic] Congrats to Cole! Congratulations to Cole for winning the best student paper at QPL2020 (https://www.monoidal.net/paris2020/qpl/) Paper + Video: https://www.monoidal.net/paris2020/talk/qs15t3.html His prize is that Bob has to buy Cole as many drinks as he wants for the rest of the year! To which Bob replied that: "He basically already drunk more of my booze than he ever can pay back during the remainder of his life?? Congrats again Cole! I?m sure Robin regrets letting you go! Have a great day! JS _______________________________________________ This message was sent to all subscribers of alta-logic-l To unsubscribe, see instructions at: http://www.ucalgary.ca/it/email/mailman E-mail: alta-logic-l at mailman.ucalgary.ca Homepage: https://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l -------------- next part -------------- An HTML attachment was scrubbed... URL: From jdgall84 at gmail.com Sat Jun 6 13:35:57 2020 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Sat, 6 Jun 2020 13:35:57 -0600 Subject: [Alta-Logic] Congrats to Cole! In-Reply-To: References: Message-ID: [?EXTERNAL] Definitely! That's awesome. On Sat, Jun 6, 2020 at 12:51 PM Robin Cockett > wrote: Congrats indeed Cole for the best student paper at QPL2020 (https://www.monoidal.net/paris2020/qpl/) Paper + Video: https://www.monoidal.net/paris2020/talk/qs15t3.html -robin ________________________________ From: alta-logic-l > on behalf of JS Lemay > Sent: Saturday, June 6, 2020 9:42 AM To: alta-logic-l at mailman.ucalgary.ca > Subject: [Alta-Logic] Congrats to Cole! Congratulations to Cole for winning the best student paper at QPL2020 (https://www.monoidal.net/paris2020/qpl/) Paper + Video: https://www.monoidal.net/paris2020/talk/qs15t3.html His prize is that Bob has to buy Cole as many drinks as he wants for the rest of the year! To which Bob replied that: "He basically already drunk more of my booze than he ever can pay back during the remainder of his life?? Congrats again Cole! I?m sure Robin regrets letting you go! Have a great day! JS _______________________________________________ This message was sent to all subscribers of alta-logic-l To unsubscribe, see instructions at: http://www.ucalgary.ca/it/email/mailman E-mail: alta-logic-l at mailman.ucalgary.ca Homepage: https://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l -------------- next part -------------- An HTML attachment was scrubbed... URL: From cole.comfort at new.ox.ac.uk Sat Jun 6 13:38:49 2020 From: cole.comfort at new.ox.ac.uk (Cole Comfort) Date: Sat, 6 Jun 2020 19:38:49 +0000 Subject: [Alta-Logic] Congrats to Cole! In-Reply-To: References: , Message-ID: [?EXTERNAL] Before this gets out of hand, I would like to point out that I was the only student paper. -Cole ________________________________ From: Jonathan Gallagher Sent: 06 June 2020 20:35 To: Robin Cockett Cc: alta-logic-l at mailman.ucalgary.ca ; Cole Comfort Subject: Re: [Alta-Logic] Congrats to Cole! Definitely! That's awesome. On Sat, Jun 6, 2020 at 12:51 PM Robin Cockett > wrote: Congrats indeed Cole for the best student paper at QPL2020 (https://www.monoidal.net/paris2020/qpl/) Paper + Video: https://www.monoidal.net/paris2020/talk/qs15t3.html -robin ________________________________ From: alta-logic-l > on behalf of JS Lemay > Sent: Saturday, June 6, 2020 9:42 AM To: alta-logic-l at mailman.ucalgary.ca > Subject: [Alta-Logic] Congrats to Cole! Congratulations to Cole for winning the best student paper at QPL2020 (https://www.monoidal.net/paris2020/qpl/) Paper + Video: https://www.monoidal.net/paris2020/talk/qs15t3.html His prize is that Bob has to buy Cole as many drinks as he wants for the rest of the year! To which Bob replied that: "He basically already drunk more of my booze than he ever can pay back during the remainder of his life?? Congrats again Cole! I?m sure Robin regrets letting you go! Have a great day! JS _______________________________________________ This message was sent to all subscribers of alta-logic-l To unsubscribe, see instructions at: http://www.ucalgary.ca/it/email/mailman E-mail: alta-logic-l at mailman.ucalgary.ca Homepage: https://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l -------------- next part -------------- An HTML attachment was scrubbed... URL: From pvsriniv at gmail.com Sat Jun 6 15:05:50 2020 From: pvsriniv at gmail.com (Priyaa Varshinee Srinivasan) Date: Sat, 6 Jun 2020 15:05:50 -0600 Subject: [Alta-Logic] Congrats to Cole! In-Reply-To: References: Message-ID: [?EXTERNAL] Thats great Cole! Awesome. On Sat, Jun 6, 2020 at 1:57 PM Cole Comfort > wrote: [?EXTERNAL] Before this gets out of hand, I would like to point out that I was the only student paper. -Cole ________________________________ From: Jonathan Gallagher > Sent: 06 June 2020 20:35 To: Robin Cockett > Cc: alta-logic-l at mailman.ucalgary.ca >; Cole Comfort > Subject: Re: [Alta-Logic] Congrats to Cole! Definitely! That's awesome. On Sat, Jun 6, 2020 at 12:51 PM Robin Cockett > wrote: Congrats indeed Cole for the best student paper at QPL2020 (https://www.monoidal.net/paris2020/qpl/) Paper + Video: https://www.monoidal.net/paris2020/talk/qs15t3.html -robin ________________________________ From: alta-logic-l > on behalf of JS Lemay > Sent: Saturday, June 6, 2020 9:42 AM To: alta-logic-l at mailman.ucalgary.ca > Subject: [Alta-Logic] Congrats to Cole! Congratulations to Cole for winning the best student paper at QPL2020 (https://www.monoidal.net/paris2020/qpl/) Paper + Video: https://www.monoidal.net/paris2020/talk/qs15t3.html His prize is that Bob has to buy Cole as many drinks as he wants for the rest of the year! To which Bob replied that: "He basically already drunk more of my booze than he ever can pay back during the remainder of his life?? Congrats again Cole! I?m sure Robin regrets letting you go! Have a great day! JS _______________________________________________ This message was sent to all subscribers of alta-logic-l To unsubscribe, see instructions at: http://www.ucalgary.ca/it/email/mailman E-mail: alta-logic-l at mailman.ucalgary.ca Homepage: https://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l _______________________________________________ This message was sent to all subscribers of alta-logic-l To unsubscribe, see instructions at: http://www.ucalgary.ca/it/email/mailman E-mail: alta-logic-l at mailman.ucalgary.ca Homepage: https://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l -------------- next part -------------- An HTML attachment was scrubbed... URL: From robin at ucalgary.ca Sat Jun 6 16:38:27 2020 From: robin at ucalgary.ca (Robin Cockett) Date: Sat, 6 Jun 2020 22:38:27 +0000 Subject: [Alta-Logic] Congrats to Cole! In-Reply-To: References: , Message-ID: What! ... AND you were the only graduate student who had a paper accepted by QPL. Even more congratulations ... ? -robin ________________________________ From: alta-logic-l on behalf of Priyaa Varshinee Srinivasan Sent: Saturday, June 6, 2020 3:05 PM To: Cole Comfort Cc: alta-logic-l at mailman.ucalgary.ca Subject: Re: [Alta-Logic] Congrats to Cole! [?EXTERNAL] Thats great Cole! Awesome. On Sat, Jun 6, 2020 at 1:57 PM Cole Comfort > wrote: [?EXTERNAL] Before this gets out of hand, I would like to point out that I was the only student paper. -Cole ________________________________ From: Jonathan Gallagher > Sent: 06 June 2020 20:35 To: Robin Cockett > Cc: alta-logic-l at mailman.ucalgary.ca >; Cole Comfort > Subject: Re: [Alta-Logic] Congrats to Cole! Definitely! That's awesome. On Sat, Jun 6, 2020 at 12:51 PM Robin Cockett > wrote: Congrats indeed Cole for the best student paper at QPL2020 (https://www.monoidal.net/paris2020/qpl/) Paper + Video: https://www.monoidal.net/paris2020/talk/qs15t3.html -robin ________________________________ From: alta-logic-l > on behalf of JS Lemay > Sent: Saturday, June 6, 2020 9:42 AM To: alta-logic-l at mailman.ucalgary.ca > Subject: [Alta-Logic] Congrats to Cole! Congratulations to Cole for winning the best student paper at QPL2020 (https://www.monoidal.net/paris2020/qpl/) Paper + Video: https://www.monoidal.net/paris2020/talk/qs15t3.html His prize is that Bob has to buy Cole as many drinks as he wants for the rest of the year! To which Bob replied that: "He basically already drunk more of my booze than he ever can pay back during the remainder of his life?? Congrats again Cole! I?m sure Robin regrets letting you go! Have a great day! JS _______________________________________________ This message was sent to all subscribers of alta-logic-l To unsubscribe, see instructions at: http://www.ucalgary.ca/it/email/mailman E-mail: alta-logic-l at mailman.ucalgary.ca Homepage: https://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l _______________________________________________ This message was sent to all subscribers of alta-logic-l To unsubscribe, see instructions at: http://www.ucalgary.ca/it/email/mailman E-mail: alta-logic-l at mailman.ucalgary.ca Homepage: https://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Tue Jun 9 13:33:04 2020 From: rzach at ucalgary.ca (Richard Zach) Date: Tue, 9 Jun 2020 13:33:04 -0600 Subject: [Alta-Logic] Day of Inclusive Logic Message-ID: Forwarded from the Logic Supergroup FYI Dear Cheerful Logicians, *Tomorrow, June 10* from 0:00-23:59 GMT, we will be holding a*Day of Inclusive Logic.* This is an informal virtual event where we work together to address various inequities in logic. The date and time of the event has been chosen to coincide with the ShutDownSTEM strike also going on on June 10. This strike is affiliated with the global protests against inequity and systemic racism that have erupted in the wake of the police killing of George Floyd in Minneapolis. *A google document with suggestions for what to do during this time is available here *. A small number of time slots have designated hosts, but most time slots are open. If you want to show up when someone in particular is present, use the schedule in the google document to find out when that person will be around. If you show up and nobody else is present, congratulations! You're the host. A dedicated zoom room for this event can also be found here: https://ksu.zoom.us/j/97578446498 password: 184783. Let's try to spend the day making logic a better space for everyone, in all the ways that matter. Yay for inclusive logic! Shay -- You received this message because you are subscribed to the Google Groups "Logic Supergroup" group. To unsubscribe from this group and stop receiving emails from it, send an email to logic-supergroup+unsubscribe at googlegroups.com . To view this discussion on the web visit https://groups.google.com/d/msgid/logic-supergroup/CAMTR993G-12emEXT_5r2eJYBtRLhjfsLcKOE1OxZkb%3DOmpa1aQ%40mail.gmail.com . -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Jun 10 12:59:10 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Wed, 10 Jun 2020 18:59:10 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: Message-ID: Hi Everyone, There will be a peripatetic seminar on Friday, slightly earlier than usual (10:00AM Calgary time). This is the first of two talks. Speaker: Geoff Cruttwell Title: The dual fibration, part one: total case In this talk I?ll review and discuss the dual fibration, which builds a new fibration out of an existing one by taking the opposite category of each fibre. We?ll look at an elementary construction of this fibration due to Kock, and consider how the dual fibration plays a role in understanding reverse derivatives and lenses. In part two, I?ll consider new work (joint with Robin Cockett, Jonathan Gallagher, and Dorette Pronk) on how to generalize these ideas to restriction categories. Peripatetic Seminar Scheduled: May 29, 2020 at 1:00 PM to 3:00 PM Location: https://ucalgary.zoom.us/j/93415508925 https://logic.ucalgary.ca/event/geoff-cruttwell-3/ Benjamin MacAdam is inviting you to a scheduled Zoom meeting. Topic: Peripatetic Seminar Time: May 29, 2020 01:00 PM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/93415508925 Meeting ID: 934 1550 8925 One tap mobile +13462487799,,93415508925# US (Houston) +16465588656,,93415508925# US (New York) Dial by your location +1 346 248 7799 US (Houston) +1 646 558 8656 US (New York) +1 669 900 6833 US (San Jose) +1 253 215 8782 US (Tacoma) +1 301 715 8592 US (Germantown) +1 312 626 6799 US (Chicago) Meeting ID: 934 1550 8925 Find your local number: https://ucalgary.zoom.us/u/acBcA0sgpu Join by SIP 93415508925 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 69.174.57.160 (Canada) Meeting ID: 934 1550 8925 Join by Skype for Business https://ucalgary.zoom.us/skype/93415508925 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Jun 10 17:03:04 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Wed, 10 Jun 2020 23:03:04 +0000 Subject: [Alta-Logic] Peripatetic Seminar: Second attempt References: Message-ID: <209e5f6a-517a-400b-b7b1-e8a060fc7d78@Spark> Hi Everyone, Sorry, I tried to use my calendar app to send that invite and it seems to have switched the dates. See the correct information below. Speaker: Geoff Cruttwell Title: The dual fibration, part one: total case In this talk I?ll review and discuss the dual fibration, which builds a new fibration out of an existing one by taking the opposite category of each fibre. We?ll look at an elementary construction of this fibration due to Kock, and consider how the dual fibration plays a role in understanding reverse derivatives and lenses. In part two, I?ll consider new work (joint with Robin Cockett, Jonathan Gallagher, and Dorette Pronk) on how to generalize these ideas to restriction categories. Benjamin MacAdam is inviting you to a scheduled Zoom meeting. Topic: Peripatetic Seminar: Geoff Cruttwell I Time: Jun 12, 2020 10:00 AM Edmonton Join Zoom Meeting https://ucalgary.zoom.us/j/96092713538 Meeting ID: 960 9271 3538 One tap mobile +16465588656,,96092713538# US (New York) +16699006833,,96092713538# US (San Jose) Dial by your location +1 646 558 8656 US (New York) +1 669 900 6833 US (San Jose) +1 253 215 8782 US (Tacoma) +1 301 715 8592 US (Germantown) +1 312 626 6799 US (Chicago) +1 346 248 7799 US (Houston) Meeting ID: 960 9271 3538 Find your local number: https://ucalgary.zoom.us/u/abrbDIPmsn Join by SIP 96092713538 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 69.174.57.160 (Canada) Meeting ID: 960 9271 3538 Join by Skype for Business https://ucalgary.zoom.us/skype/96092713538 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Fri Jun 12 17:45:25 2020 From: rzach at ucalgary.ca (Richard Zach) Date: Fri, 12 Jun 2020 17:45:25 -0600 Subject: [Alta-Logic] Logic Supergroup statement on Black Lives Matter Message-ID: <6eb73427-3853-c04d-2745-57f5912ca8a5@ucalgary.ca> From Marcus Rossberg: Hi each, One of the outcomes of the 24 hours on Inclusive Logic that just happened?organized by Shay and others for Logic Supergroup and the attended by dozens of its members?was the formulation of a statement from the Supergroup on Black Lives Matter. ?The statement went through much discussion and many drafts during the 24 hours. Here is it (in a slightly tidied up version): https://docs.google.com/document/d/1vPgSAlOIMFoAwr7G_njCPGqY92mL92vi_MLoPQsPVtk/edit?usp=sharing We would like to put this on the Supergroup websites soon. We would like to invite discussion and ask for approval of the statement. Please insert any comments you may have on the google document linked above by *Tuesday, June 16, 12:00 noon EDT* * * Thanks to everyone who worked on this and everyone who participated in the event and the great discussions we had. Cheers, Marcus -- You received this message because you are subscribed to the Google Groups "Logic Supergroup" group. To unsubscribe from this group and stop receiving emails from it, send an email to logic-supergroup+unsubscribe at googlegroups.com . To view this discussion on the web visit https://groups.google.com/d/msgid/logic-supergroup/225F1586-81D5-49C7-A4F2-DC5EB1409FBB%40gmail.com . -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Jun 18 11:55:05 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 18 Jun 2020 17:55:05 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: <56fa9f1a-cd72-42b9-821f-8e6741f3e8f8@Spark> Message-ID: Hi Everyone, There will be a peripatetic seminar this week - I set this up as a recurring room/meeting, so it will be the same URL each from now on, you can just add this invitation to your calendar if you like. Speaker: Geoff Cruttwell Time: 13:00 Calgary time, Title: The dual fibration, part two: partial case Abstract: Last week we reviewed how to construct the dual fibration to a given fibration, and saw that this construction gives some interesting examples. In this second part we'll see how to work with this idea in the setting of restriction categories. We'll begin by defining and working with latent fibrations (a version of the fibration notion for restriction categories), then show that certain kinds of latent fibrations have a dual. This is joint work with Robin Cockett, Jonathan Gallagher, and Dorette Pronk. Peripatetic Seminar Scheduled: Jun 19, 2020 at 1:00 PM to 2:30 PM Location: https://ucalgary.zoom.us/j/93373993423 Benjamin MacAdam is inviting you to a scheduled Zoom meeting. Topic: Peripatetic Seminar Time: This is a recurring meeting Meet anytime Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 One tap mobile +16699006833,,93373993423#,,,,0#,,248135# US (San Jose) +12532158782,,93373993423#,,,,0#,,248135# US (Tacoma) Dial by your location +1 669 900 6833 US (San Jose) +1 253 215 8782 US (Tacoma) +1 301 715 8592 US (Germantown) +1 312 626 6799 US (Chicago) +1 346 248 7799 US (Houston) +1 646 558 8656 US (New York) Meeting ID: 933 7399 3423 Password: 248135 Find your local number: https://ucalgary.zoom.us/u/alzFPaWa7 Join by SIP 93373993423 at zoomcrc.com Join by H.323 162.255.37.11 (US West) 162.255.36.11 (US East) 69.174.57.160 (Canada) Meeting ID: 933 7399 3423 Password: 248135 Join by Skype for Business https://ucalgary.zoom.us/skype/93373993423 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri Jun 19 15:14:23 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Fri, 19 Jun 2020 21:14:23 +0000 Subject: [Alta-Logic] Peripatetic seminar recording References: <175dea02-ae6d-42e0-8bae-4dc3b800e30c@Spark> Message-ID: Hi everyone, YouTube ha bee frustrating. But you can access Geoff?s talk here: ucalgary.zoom.us/rec/share/65N0Fpjh-XlLG6PM4Wv0dpN_Rb-0T6a8gHQY8vMNn03XM7qdVUsYjPt3T1r3ogGO Password: 1X*i1Y8Q I will update the website shortly with the link and password. -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Mon Jun 22 12:15:21 2020 From: rzach at ucalgary.ca (Richard Zach) Date: Mon, 22 Jun 2020 12:15:21 -0600 Subject: [Alta-Logic] BLM Statement Message-ID: <6aa6eb87-80b7-18da-9e82-7c579c9a7a81@ucalgary.ca> Hello all, The Logic Supergroup has drafted a statement in support of Black Lives Matter starting on the ShutDownSTEM day of action (June 10). It is ready to be posted on the Logic Supergroup site; I will be posting it on the Peripatetic Group website tomorrow. It follows below: Statement on Black Lives Matter The killings of George Floyd and Breonna Taylor by police have resulted in deep sadness and outrage worldwide. This sadness and outrage has swept through academic communities as well. We members of the Logic Supergroup join our colleagues throughout academia in denouncing anti-Black violence in North America specifically, and systemic racism affecting Black, Indigenous, and People of Color generally. We are committed to working with our BIPOC colleagues in logic and with our colleagues in other fields to speak out against injustice and to work to make logic an inclusive community. Black Lives Matter. In early 2020, logic groups around the world began to combine their meetings into an online Logic Supergroup as a reaction to the coronavirus pandemic. As part of #ShutDownSTEM , the Supergroup held 24 hours of Inclusive Logic on June 10, 2020 to build concrete actions against racism in logic. Here are four concrete actions that we identified as important and have committed ourselves to immediately, and which we encourage our member groups to commit themselves to as well: We commit to doing our small part to increase the diversity in logic, as a discipline, by first increasing the diversity represented in our speaker series. We acknowledge that we have, to this point, failed in this regard. We acknowledge, in fact, that we have failed to have a speaker series that even manages to be representative of the diversity that is present in logic, let alone one that contributes to increasing this diversity. Second, we commit to seeking funding from a broad range of sources in order to overcome barriers to participation in the supergroup, and in logic meetings and seminars more broadly. Such funding could be used, for example, in order to allow for graduate student travel stipends if the supergroup holds in-person events in the future, or to aid researchers who need equipment in order to participate in our virtual events now. This will lessen some of the barriers faced by BIPOC students to entering and participating in the logic community. Third, we commit to hosting periodic events to discuss, evaluate, and develop resources for logic education that are inclusive and that encourage participation in logic from a diverse audience. This includes setting regular Logic Supergroup meeting times to discuss further actions in support of inclusion. We recognize that addressing issues of inclusivity and working in support of anti-racism within individuals and within academia require continued recommitment and ongoing, sustained effort. Fourth, we commit to developing, promoting, and enunciating guidelines and codes of conduct for our conferences, workshops and other events, as well as other events associated with our constituent organizations. -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Mon Jun 22 13:45:44 2020 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Mon, 22 Jun 2020 19:45:44 +0000 Subject: [Alta-Logic] Fwd: Category Theory Seminar (3:00 pm) References: Message-ID: <1D24E471-6B76-4ABD-AB5B-06469D5FB338@ucalgary.ca> Hi all, The talk advertised below, which is part of the the undergraduate seminar series, seems like it might be of interest to many on this mailing list. Cheers, Kristine Begin forwarded message: From: Sarah Hatcher > Subject: Category Theory Seminar (3:00 pm) Date: June 22, 2020 at 11:05:12 AM MDT To: dept Math >, "sumc-l at mailman.ucalgary.ca" > Good morning! Join us for our continuing undergraduate seminar today at 3:00 pm over Zoom. Speaker: Riley Baker The Language-Syntax Adjunction, or Why Monads Are Just Monoids In the Category of Endofunctors ABSTRACT: Primarily a beginning look at categorical logic, this is an introduction to category theory, type theory, and an adjoint pair of functor that let us primarily slip between category and type theory as well as internalizing most algebraic structures into suitably structured categories and reason about them internal to the chosen category. I'll briefly mention Lawvere theories as well as applications in Topos theory. Join: http://zoom.sumc.ca/seminar or meeting ID (92703682355) Yours, Sarah [cid:d14919cc-b4a6-4cc1-ab92-d15d222747a1] [cid:4897CC41-19B9-403B-AEAA-0F76ABB2E380 at telus] -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: 2cbe8eb48429c79a3cc5cab7f44e0d1e.png Type: image/png Size: 445930 bytes Desc: 2cbe8eb48429c79a3cc5cab7f44e0d1e.png URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: 2cbe8eb48429c79a3cc5cab7f44e0d1e.png Type: image/png Size: 445930 bytes Desc: 2cbe8eb48429c79a3cc5cab7f44e0d1e.png URL: From benjamin.macadam at ucalgary.ca Thu Jun 25 11:14:56 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 25 Jun 2020 17:14:56 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: <45b4b26b-9cda-4c71-b7ee-2b6474f2bb03@Spark> Message-ID: <4a01cdcf-60ca-4e00-91b0-b34a91caf8fd@Spark> Hi Everyone, We will have the peripatetic seminar tomorrow at 1:00 PM, Mountain time. Details are here: https://logic.ucalgary.ca/event/jonathan-gallagher-11/ Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 -Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Fri Jun 26 15:46:01 2020 From: rzach at ucalgary.ca (Richard Zach) Date: Fri, 26 Jun 2020 15:46:01 -0600 Subject: [Alta-Logic] Letter to the ASL In-Reply-To: <5f5742a0-45aa-dfdf-8fb7-c599d5e602b3@ucalgary.ca> References: <5f5742a0-45aa-dfdf-8fb7-c599d5e602b3@ucalgary.ca> Message-ID: [?EXTERNAL] Dear each, As you know, the Supergroup organized /24 Hours of Inclusive Logic/ on June 10, lead by Shay and others. ?(You all should have received a copy of Teresa?s summary of what happened during the event. In case you missed it, you can find it here: https://sites.google.com/site/teresakouri/shutdownlogic.) One of the actions coming out of the 24-hours continuous sessions was a letter to the ASL, suggesting ways in which the Association may contribute to more inclusiveness in our discipline. ?The letter was drafted during the session, and polished thereafter, by many contributors. ?We will send the letter on Monday to the Council and the President of the ASL. You can find and, if you want, sign the letter here: https://docs.google.com/document/d/e/2PACX-1vTBg8XiHzq4ZSKYS2q06HZehTo57iORRKFitzv26IXrZW9GRuMDYpqVslKx2m7vrQkTBjdvrI93MxDe/pub Signing works by just clicking on the link at the bottom of the document (thanks to some magic that Richard knows how to wield). ?The document is updated automatically (every five minutes; so you might have to wait that long until you see your name appear at the bottom). ?We will leave the possibility to sign the letter open after Monday, for those who may discover this email only after but still want to add their name for support. Best wishes, Marcus -- You received this message because you are subscribed to the Google Groups "Logic Supergroup" group. To unsubscribe from this group and stop receiving emails from it, send an email to logic-supergroup+unsubscribe at googlegroups.com . To view this discussion on the web visit https://groups.google.com/d/msgid/logic-supergroup/9EAB2FAA-0E1E-42B9-8F8B-1E1355202BD8%40gmail.com . -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Thu Jul 2 10:36:01 2020 From: rzach at ucalgary.ca (Richard Zach) Date: Thu, 2 Jul 2020 10:36:01 -0600 Subject: [Alta-Logic] Reminder: Joao Marcos on Gaps and Gluts Message-ID: <52e482d6-fd0e-0d1d-9e84-14253d3504c4@ucalgary.ca> Dear Cheerful Logicians, A quick reminder that Joao Marcos is giving the supergroup talk in approximately 8.5 hours. The link and password and whatnot (as well as a reminder about the talk details) are below. Link: https://ksu.zoom.us/j/92869066474?pwd=N2M4OU9kNWtDVFIrbFI3djU4OGRsZz09 Meeting ID: 928 6906 6474 Password: Gaps&Gluts Title:?Let gluts and gaps prevail! Abstract:?One of the all time favorite strategies for defining a non-classical negation proceeds by considering additional truth-values, besides `the True' and `the False', with the intent of using the latter to localise the phenomena of negation-inconsistency and negation-undeterminedness. From a philosophical standpoint, such an approach often translates, with varying degrees of success, into the consideration of `gaps' and `gluts', thought of as truth-values on their own right. From the perspective of the standard Tarskian consequence-theoretic framework, one may claim that the collection of truth-values associated to a given logic constitutes hardly anything beyond a technical expedient used within the so-called `logical matrices' in order to define some convenient notion of entailment.? Indeed, at the metalogical level, no more than one or two `logical values' are needed in order to explicate any given consequence relation and the associated one-dimensional `logical theories' that are intended to collect the assertions upon which one happens to be interested. In this talk I will defend the systematic use of a generalized notion of logical consequence that allows for: (i) gappy and glutty reasoning to be naturally captured, at the metalogical level; (ii) a two-dimensional notion of logical theory, containing both assertions and denials, to be explored; (iii) a plurality of inferential mechanisms to cohabit.? Furthermore, concerning the choice of logical primitives, I will also argue that truth-values and judgments about logical consequence are advantageously replaced by cognitive attitudes and judgments about logical incompatibility. Yay for logic! Shay -- You received this message because you are subscribed to the Google Groups "Logic Supergroup" group. To unsubscribe from this group and stop receiving emails from it, send an email to logic-supergroup+unsubscribe at googlegroups.com . To view this discussion on the web visit https://groups.google.com/d/msgid/logic-supergroup/CAMTR9926Ge4r_-JawaxijFOSsBv1rPC6LZVwYEi4D2H-5rgqNg%40mail.gmail.com . -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Jul 2 11:06:55 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 2 Jul 2020 17:06:55 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday References: Message-ID: <38836e6b-d5d4-4d1a-ba73-80c284c481f8@Spark> Hi Everyone, There will be a peripatetic seminar this Friday: Talk info: https://logic.ucalgary.ca/event/ben-macadam-12/ Time: Friday, July 3 at 13:00 Calgary time. Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Jul 9 13:59:05 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 9 Jul 2020 19:59:05 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: <68bda9d5-fd20-4883-a57a-ad5b00228d16@Spark> Message-ID: <6fb56346-65b7-4d3c-9e92-e54d31e342f9@Spark> Hi Everyone, There will not be a peripatetic seminar this week - I recommend everyone try to follow the Applied Category Theory Seminar here: https://www.youtube.com/playlist?list=PLCOXjXDLt3pZDHGYOIqtg1m1lLOURjl1Q Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Jul 15 15:57:57 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Wed, 15 Jul 2020 21:57:57 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday References: <411768a0-c530-4596-8030-867e522ae90c@Spark> Message-ID: Hi Everyone, JS will be a peripatetic seminar this Friday. Note that it is going to be earlier this week (11:00am Calgary time), since the speaker is in the UK. Talk info: https://logic.ucalgary.ca/event/js-lemay-7/ Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Mon Jul 20 14:52:13 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Mon, 20 Jul 2020 20:52:13 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday References: Message-ID: Hi Everyone, This Friday we will be hosting a talk from Michael Ching, at the usual time (1:00 PM Calgary time). Talk info: https://logic.ucalgary.ca/event/michael-ching-2/ Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Jul 30 14:56:18 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 30 Jul 2020 20:56:18 +0000 Subject: [Alta-Logic] No talk this week References: Message-ID: <28ff7436-f1ec-4e77-add1-a33ec750affe@Spark> Hi everyone, This is just to confirm that we won?t have a speaker this week. Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Tue Aug 11 14:04:28 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Tue, 11 Aug 2020 20:04:28 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday: Gordon Plotkin References: <4a58b897-03e7-4558-b54c-a928fa57e0ad@Spark> Message-ID: <0e094bed-904b-4b65-8f72-6c5a33a65ba5@Spark> Hello Everyone, We are very pleased to have Gordon Plotkin giving a talk at the Peripatetic Seminar this week! Talk info: https://logic.ucalgary.ca/event/gordon-plotkin-2020/ Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Wed Aug 12 10:32:07 2020 From: rzach at ucalgary.ca (Richard Zach) Date: Wed, 12 Aug 2020 10:32:07 -0600 Subject: [Alta-Logic] Supergroup talks this week, online "Summer" school in logic Message-ID: <4d150ba1-4d18-7659-0d74-1dcae32bebb9@ucalgary.ca> This week in the supergroup: * Later on Thursday is the first of our official supergroup talks. At 19:00 GMT-5 [6pm Calgary time], Graham Priest will speak in the Melbourne Logic Seminar about Impossible Worlds. * Finally, on Friday at 11:00 GMT-5 [10 am Calgary time], Stephen Read will talk to us about Paul of Venice's solutions to logical paradoxes. Also of potential interest to students: The Georg-August-Universit?t G?ttingen organizes a "Hilbert-Bernays Summer School on Logic and Computation" as an online event, 12th October ? 16th October 2020. https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.math.uni-goettingen.de%2Fsummer&data=02%7C01%7Cprooftheory%40lists.bath.ac.uk%7C76bdf5540d13429a8b6d08d83e20b143%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637327657420722933&sdata=C5dvRegEG%2BBETadi8zykC786DurkLW9kBxgQ%2FDyyTJA%3D&reserved=0 This summer school offers a unique opportunity for undergraduate and graduate students to experience compelling lectures on Logic and Computation. Encouraged by previous years of success, we offer students from all over the world the possibility to sign up this 1-week (3 ECTS) Summer School course covering topics such as: - G?del's Incompleteness Theorems. - The Axioms of Zermelo and Fraenkel. - Recursion and Complexity. - Connexive logic. Students may anticipate a high professional outcome in a dedicated international environment. Deadline for registration and grant applications: 12 September 2020 Further information about the summer school can be found at https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.math.uni-goettingen.de%2Fsummer&data=02%7C01%7Cprooftheory%40lists.bath.ac.uk%7C76bdf5540d13429a8b6d08d83e20b143%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637327657420722933&sdata=C5dvRegEG%2BBETadi8zykC786DurkLW9kBxgQ%2FDyyTJA%3D&reserved=0. We kindly ask you to distribute this information to interested students and please feel free to send any queries you or your students might have to summer at math.uni-goettingen.de. The summer school receives financial support of the DAAD, the German Academic Exchange Service, with funds of the Foreign Office (Ausw?rtiges Amt - AA). The summer school is also endorsed by the following scientific organizations: - Acad?mie Internationale de Philosophie des Sciences (AIPS) - Association for Symbolic Logic (ASL) - Deutsche Vereinigung f?r Mathematische Logik und f?r Grundlagenforschung der Exakten Wissenschaften (DVMLG) - European Association for Computer Science Logic - Gesellschaft f?r Analytische Philosophie (gap) - Kurt G?del Society Thank you in advance and best regards, Hartje Kriete and Reinhard Kahle -- Richard Zach https://richardzach.org/ Need an appointment? https://calendly.com/rzach/meeting -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Aug 13 09:49:35 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 13 Aug 2020 15:49:35 +0000 Subject: [Alta-Logic] Talk on Friday References: Message-ID: Hi Everyone, Just to clear up confusion - the Peripatetic seminar will run at 1:00 PM Calgary time on Friday. Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From gordon.plotkin at gmail.com Thu Aug 13 11:50:18 2020 From: gordon.plotkin at gmail.com (Gordon Plotkin) Date: Thu, 13 Aug 2020 18:50:18 +0100 Subject: [Alta-Logic] Talk on Friday In-Reply-To: References: Message-ID: <59323FC7-72AC-4D7F-967B-CCCFB0BD00A1@gmail.com> [?EXTERNAL] Ben I suppose I just turn up a few minutes early and share my screen Is that right? Gordon Sent from my iPhone > On 13 Aug 2020, at 16:49, Benjamin MacAdam wrote: > > ? > Hi Everyone, > > Just to clear up confusion - the Peripatetic seminar will run at 1:00 PM Calgary time on Friday. > > Regards, > Ben > _______________________________________________ > This message was sent to all subscribers of alta-logic-l > To unsubscribe, see instructions at: > http://www.ucalgary.ca/it/email/mailman > > E-mail: alta-logic-l at mailman.ucalgary.ca > Homepage: https://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l From benjamin.macadam at ucalgary.ca Fri Aug 14 14:29:19 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Fri, 14 Aug 2020 20:29:19 +0000 Subject: [Alta-Logic] Sorry! References: <9b81c14d-6633-42c0-97a2-9b041da4c632@Spark> Message-ID: I?ve reopened the room, you can rejoin to catch the end. Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Aug 19 09:38:42 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Wed, 19 Aug 2020 15:38:42 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday References: <6370130d-cf0f-4c20-bfc0-d8b52dd07d38@Spark> Message-ID: <2d4c0725-f2b4-4cd2-ad21-6d52596c2fe7@Spark> Hi Everyone, We are very pleased to host a talk from Julie Bergner this week at 1:00PM Calgary time! As usual, all the necessary information can be found on the logic at ucalgary website. Talk info: https://logic.ucalgary.ca/event/julie-bergner/ Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Aug 27 11:20:01 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 27 Aug 2020 17:20:01 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday References: Message-ID: Hi Everyone, Cole will be giving a peripatetic seminar this Friday at 1:00PM Mountain time: Talk info: https://logic.ucalgary.ca/event/cole-comfort-6/ Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benmacadam at gmail.com Tue Sep 1 23:54:10 2020 From: benmacadam at gmail.com (Ben MacAdam) Date: Tue, 1 Sep 2020 23:54:10 -0600 Subject: [Alta-Logic] Peripatetic Seminar In-Reply-To: References: Message-ID: <35288aa9-f690-496f-87cd-23404f101e1f@Spark> [?EXTERNAL] Hi Everyone, I will be giving a peripatetic seminar this Friday: Talk info: https://logic.ucalgary.ca/event/benjamin-macadam-2/ Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri Sep 4 09:27:00 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Fri, 4 Sep 2020 15:27:00 +0000 Subject: [Alta-Logic] Peripatetic Seminar In-Reply-To: <35288aa9-f690-496f-87cd-23404f101e1f@Spark> References: <35288aa9-f690-496f-87cd-23404f101e1f@Spark> Message-ID: <3bbb2e15-6d9d-43af-b001-9b75d5035c4d@Spark> Hi everyone, Sorry, I forgot to include the time: the talk will be at the usual peripatetic time, today at 1:00 PM Calgary time. Regards, Ben On Sep 1, 2020, 11:54 PM -0600, Ben MacAdam , wrote: [?EXTERNAL] Hi Everyone, I will be giving a peripatetic seminar this Friday: Talk info: https://logic.ucalgary.ca/event/benjamin-macadam-2/ Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Sep 9 09:27:53 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Wed, 9 Sep 2020 15:27:53 +0000 Subject: [Alta-Logic] Peripatetic Friday References: <2e290257-b74d-4ba4-aed3-70c68a9b82b3@Spark> Message-ID: Hi Everyone, We are pleased to host Dorette Pronk at the Peripatetic Seminar this Friday: Talk info: https://logic.ucalgary.ca/event/dorette-pronk/ Time: 1:00 PM, Mountain time Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Wed Sep 23 07:35:22 2020 From: rzach at ucalgary.ca (Richard Zach) Date: Wed, 23 Sep 2020 07:35:22 -0600 Subject: [Alta-Logic] Fwd: [PT] NEW: Proof Theory Virtual Seminar In-Reply-To: References: Message-ID: <40e17169-a633-4643-86a0-e281fc4e32bd@ucalgary.ca> New online seminar series in proof theory! On Sep. 23, 2020, 05:09, at 05:09, Anton Freund wrote: >[?EXTERNAL] > > > >Dear colleagues, > >We are pleased to announce the Proof Theory Virtual Seminar, an online >seminar series that presents talks by leading researchers from all >areas >of proof theory. It will be inaugurated with the following talks: > >7 October, 17:00 UTC: Sam Buss >Title: Propositional proof systems and bounded arithmetic for logspace >and >nondeterministic logspace > >21 October, 09:00 UTC: Michael Rathjen >Title: Far beyond Goodman's Theorem? > >4 November, 17:00 UTC: Valeria de Paiva >Title: Benchmarking Theorems of Implicational Intuitionistic Linear >Logic > >18 November, 09:00 UTC: Albert Visser >Title: Fixed Points meet L?b's Rule > >2 December, 17:00 UTC: Ulrich Kohlenbach > >16 December, 09:00 UTC: Matthias Baaz > >To attend, it suffices to click on a Zoom link, which you can find on >our >website: > >https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.proofsociety.org%2Fproof-theory-seminar%2F&data=02%7C01%7CProofTheory%40lists.bath.ac.uk%7Ce418a82674074bdd314708d85f8f4fa6%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637364416965756397&sdata=zuKajQMqLzckUFl4PsLLQHp2p9w1eVFRJ89gvY6XUVY%3D&reserved=0 > >If you would like to receive reminders, you can sign up to our email >list >by joining the following google group (no google account required): > >https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgroups.google.com%2Fforum%2F%23!forum%2Fproof-theory-seminar%2Fjoin&data=02%7C01%7CProofTheory%40lists.bath.ac.uk%7Ce418a82674074bdd314708d85f8f4fa6%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637364416965766390&sdata=1wvHL5kZxTXYORBfiz7r%2FbZpCsfVHoC%2By2aJR8xh6xQ%3D&reserved=0 > >For further information (including abstracts for the talks listed >above), >please visit the aforementioned website. We look forward to seeing you >at >the seminar! > >Best wishes, >Lev Beklemishev, Yong Cheng, Anupam Das, Anton Freund, Thomas Powell, >Sam >Sanders, Monika Seisenberger, Andrei Sipos, Henry Towsner > > >-- >Anton Freund >Postdoc in Mathematical Logic >TU Darmstadt >https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsites.google.com%2Fview%2Fantonfreund&data=02%7C01%7CProofTheory%40lists.bath.ac.uk%7Ce418a82674074bdd314708d85f8f4fa6%7C377e3d224ea1422db0ad8fcc89406b9e%7C0%7C0%7C637364416965766390&sdata=9fh3lH9RFHhOwh2Yi6Q5GIat4K%2Fe6OYQ9t%2FhQ3WUXys%3D&reserved=0 -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Sep 24 10:01:33 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 24 Sep 2020 16:01:33 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday References: <568dcfc1-efa3-4a88-bb8e-d55c0134ef36@Spark> Message-ID: Hi Everyone, There will be a peripatetic seminar this Friday: Talk info: https://logic.ucalgary.ca/event/priyaa-srinivasan-8/ Date and time: 1:00 PM, Calgary time on Friday, Sept 24 Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Tue Sep 29 14:42:47 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Tue, 29 Sep 2020 20:42:47 +0000 Subject: [Alta-Logic] No peripatetic seminar this week References: Message-ID: <7eaddcf6-d0a1-450b-966a-2733448eb3f3@Spark> Hi everyone, There will be no peripatetic seminar this week, I recommend everyone take part in the celebration of Richard Guy?s life! Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Tue Sep 29 15:05:05 2020 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Tue, 29 Sep 2020 21:05:05 +0000 Subject: [Alta-Logic] No peripatetic seminar this week In-Reply-To: <7eaddcf6-d0a1-450b-966a-2733448eb3f3@Spark> References: <7eaddcf6-d0a1-450b-966a-2733448eb3f3@Spark> Message-ID: <37105AAF-A58A-44E5-AD40-4EBBAF022D8A@ucalgary.ca> Thanks for promoting the events in celebration of Richard Guy! Here?s the link to the events (which span FOUR days!!): https://science.ucalgary.ca/mathematics-statistics/about/celebrating-richard-guy To participate, register for the event and it will generate a link for you. Kristine On Sep 29, 2020, at 2:42 PM, Benjamin MacAdam > wrote: Hi everyone, There will be no peripatetic seminar this week, I recommend everyone take part in the celebration of Richard Guy?s life! Regards, Ben _______________________________________________ This message was sent to all subscribers of alta-logic-l To unsubscribe, see instructions at: http://www.ucalgary.ca/it/email/mailman E-mail: alta-logic-l at mailman.ucalgary.ca Homepage: https://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Thu Oct 8 13:24:30 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 8 Oct 2020 19:24:30 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday References: <1e0a4eb6-9245-41bd-b03e-1a7ff374956d@Spark> Message-ID: Hi Everyone, Robin Cockett will give a peripatetic seminar talk this Friday: Talk info: https://logic.ucalgary.ca/event/robin-cockett-4/ Date and Time: Friday, 1:00PM Calgary time Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Tue Oct 13 14:01:28 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Tue, 13 Oct 2020 20:01:28 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday References: <67ff14ad-929e-491d-89f7-a3886351d9d5@Spark> Message-ID: Hi Everyone, This Friday we will have a talk from Sacha Ikonicoff, a post-doc who just started at the university of Calgary. Talk info: https://logic.ucalgary.ca/event/sacha-ikonicoff/ Dat and Time: Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri Oct 23 11:20:43 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Fri, 23 Oct 2020 17:20:43 +0000 Subject: [Alta-Logic] No peripatetic today References: <7194831c-d965-49b1-83a4-22f84abb1064@Spark> Message-ID: <03581a99-fbcf-4aff-a727-88a51aa68f94@Spark> Hello everyone, Just a heads up that there is no peripatetic this week. Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Oct 28 22:08:23 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 29 Oct 2020 04:08:23 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: <2061d868-039c-4784-8dfd-10a6385fc324@Spark> Message-ID: Hi Everyone, We?re happy to have Kristine Bauer give a talk this Friday! Talk info: https://logic.ucalgary.ca/event/kristine-bauer-4/ Date and Time: Friday, 30 October, 13:00 Calgary Time Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Nov 4 08:14:17 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Wed, 4 Nov 2020 15:14:17 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday References: Message-ID: <01b51e2d-616a-4bab-b794-b9bb8b69221f@Spark> Hi Everyone, This week we have an invited speaker, Pawel Sobocinski from Tallinn. Note that the talk will be at 9:00am Calgary time. Talk info: https://logic.ucalgary.ca/event/pawel-sobocinski/ Dat and Time: 9:00 am (Calgary time), Friday, November 6th Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Fri Nov 6 08:50:25 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Fri, 6 Nov 2020 15:50:25 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: <33a1af25-de54-485c-837a-c4a9463bfaed@Spark> Message-ID: <9c81d06e-6557-4753-a95d-ceb37faebba8@Spark> Hi Everyone, Hi Everyone, Just a reminder that the Peripatetic seminar is at 9:00 AM Calgary time this week, so in 10-15 minutes. Talk info: https://logic.ucalgary.ca/event/pawel-sobocinski/ Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Mon Nov 9 11:29:21 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Mon, 9 Nov 2020 18:29:21 +0000 Subject: [Alta-Logic] Peripatetic Seminar this Friday References: Message-ID: <7f135a2f-86af-4049-8f27-52e781b88548@Spark> Hi Everyone, We will be hosting an invited speaker this Friday: Richard Garner from Macquarie University Talk info: https://logic.ucalgary.ca/event/richard-garner/ Date and Time: 4:00 PM Calgary Time, Friday, November 14 Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benmacadam at gmail.com Fri Nov 13 12:57:44 2020 From: benmacadam at gmail.com (Ben MacAdam) Date: Fri, 13 Nov 2020 11:57:44 -0800 Subject: [Alta-Logic] Peripatetic seminar Message-ID: [?EXTERNAL] Hi everyone, Just a reminder that the peripatetic seminar today is at 4:00 PM Calgary time. Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Nov 18 10:08:14 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Wed, 18 Nov 2020 17:08:14 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: Message-ID: <314347f2-dc33-41fd-a11c-087baab1647b@Spark> Hi Everyone, This week we have another invite speaker: Chris Heunen from Edinburgh. Talk info: https://logic.ucalgary.ca/event/chris-heunen/ Date and Time: Friday, November 20. 9:00 AM Calgary time, 5:00 PM Edinburgh time. Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Wed Nov 18 10:17:20 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Wed, 18 Nov 2020 17:17:20 +0000 Subject: [Alta-Logic] Fwd: Peripatetic Seminar In-Reply-To: <314347f2-dc33-41fd-a11c-087baab1647b@Spark> References: <314347f2-dc33-41fd-a11c-087baab1647b@Spark> Message-ID: <0b375a7d-e575-4d8d-9030-364b6447af4f@Spark> Hi Everyone, Sorry for the mix-up, I?m in Vancouver and misread the time difference! Date and Time: Friday, November 20, 10:00 AM Calgary, 5:00 PM Edinburgh time. Regards, Ben ---------- Forwarded message ---------- From: Benjamin MacAdam Date: Nov 18, 2020, 9:08 AM -0800 To: alta-logic-l at mailman.ucalgary.ca Subject: [Alta-Logic] Peripatetic Seminar Hi Everyone, This week we have another invite speaker: Chris Heunen from Edinburgh. Talk info: https://logic.ucalgary.ca/event/chris-heunen/ Date and Time: Friday, November 20. 9:00 AM Calgary time, 5:00 PM Edinburgh time. Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- An embedded and charset-unspecified text was scrubbed... Name: ATT00001.txt URL: From benjamin.macadam at ucalgary.ca Thu Nov 19 14:27:43 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Thu, 19 Nov 2020 21:27:43 +0000 Subject: [Alta-Logic] Peripatetic Seminar update References: <83773602-b4ad-48a5-ae8d-cdb140bd19b0@Spark> Message-ID: <93e8881e-cd87-43fc-89e1-ade1b9e32df6@Spark> Hi Everyone, Sorry about the mixup, here is the updated information for tomorrow?s seminar: Talk info: https://logic.ucalgary.ca/event/chris-heunen/ Date and Time: Friday, November 20. 10:00 AM Calgary time, 5:00 PM Edinburgh time. Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From bauerk at ucalgary.ca Mon Nov 23 10:42:23 2020 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Mon, 23 Nov 2020 17:42:23 +0000 Subject: [Alta-Logic] Fwd: ANTS at 1:30 pm tomorrow References: <521E4938-E6CA-4144-A383-3ACB4A05E0E3@ucalgary.ca> Message-ID: <028F5064-EEE1-4A26-B3A2-123571FD1677@ucalgary.ca> Hello everyone, This talk int he Algebra & Number Theory session tomorrow looks like it may be of interest to the Peripatetic group. Cheers, Kristine Begin forwarded message: From: Thomas Bitoun > Subject: ANTS at 1:30 pm tomorrow Date: November 23, 2020 at 10:26:51 AM MST To: faculty Math >, grad Math >, postdoc Math >, "number-theory-l at mailman.ucalgary.ca" > Cc: "carlm at ucr.edu" > Hi everyone, Tomorrow at 1:30 pm Calgary time, Carl Mautner (UC Riverside) will give a talk at our seminar, via zoom. Here are his title and abstract: Category O for oriented matroids (joint with Ethan Kowalenko) Category O of a complex semi-simple Lie algebra has rich structure and is connected to the algebraic geometry of the cotangent bundle of the associated flag variety. Braden-Licata-Proudfoot-Webster discovered that similarly rich representation theory, which they named hypertoric category O, can be extracted from the geometry of hypertoric (a.k.a. toric hyperkahler) varieties. Motivated by this discovery, they and others introduced and studied other `geometric? categories O associated to more general symplectic resolutions. In the current work, we generalize their notion of hypertoric category O in a different direction, to the purely combinatorial setting of oriented matroids. We are motivated in part by earlier joint work with Braden on matroidal Schur algebras. The seminar website is https://sites.google.com/view/calgaryants2020-2021. Here are the Zoom meeting id and passcode: Join Zoom Meeting https://ucalgary.zoom.us/j/94286025219 Meeting ID: 942 8602 5219 Passcode: 457641 Looking forward to see you there! All the best, Thomas -------------- next part -------------- An HTML attachment was scrubbed... URL: From benjamin.macadam at ucalgary.ca Tue Dec 1 08:13:16 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Tue, 1 Dec 2020 15:13:16 +0000 Subject: [Alta-Logic] Peripatetic this week References: Message-ID: <0d84ef48-2169-4021-8d05-0ec9c6019198@Spark> Hi Everyone, This week the peripatetic seminar will be resuming with a talk from David Jaz Myers. Talk info: https://logic.ucalgary.ca/event/david-jaz-myers/ Date and Time: Friday, December 4, 1:00PM Calgary time. Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: From rzach at ucalgary.ca Wed Dec 2 21:37:24 2020 From: rzach at ucalgary.ca (Richard Zach) Date: Wed, 2 Dec 2020 21:37:24 -0700 Subject: [Alta-Logic] Fwd: Subject: Dec. 7: Combinator Centenary Celebration In-Reply-To: References: Message-ID: <187e695c-a3fa-5f3d-19fe-b57e00acc164@ucalgary.ca> You might be interested in this: Stephen Wolfram talking about combinatory logic Monday morning at 10am MST. youtube.com/user/WolframResearch twitch.tv/Stephen_Wolfram -------- Forwarded Message -------- Subject: Subject: Dec. 7: Combinator Centenary Celebration Date: Mon, 30 Nov 2020 20:53:48 -0500 (EST) From: Stephen Wolfram To: Richard Zach You probably know that the 100th anniversary of the introduction of combinators is coming up. And given the way that combinators affected the original design of our Wolfram Language (as well as some of my scientific work), we felt we should do an event to celebrate this. It?d be great if you could join us. I?ll be giving a talk about the significance of combinators, as well as some new discoveries about combinators and about Moses Sch?nfinkel. This will be followed by a Q&A and discussion. Logistical information: Monday, December 7, 2020 6 pm CEST / 12 noon EST / 9 am PST --- Stephen P.S. Attached is our public invitation; feel free to share. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Combinators100Celebration.pdf Type: application/octet-stream Size: 1603446 bytes Desc: not available URL: From benjamin.macadam at ucalgary.ca Mon Dec 7 08:26:43 2020 From: benjamin.macadam at ucalgary.ca (Benjamin MacAdam) Date: Mon, 7 Dec 2020 15:26:43 +0000 Subject: [Alta-Logic] Peripatetic Seminar References: Message-ID: <67ad9b4a-6f05-4355-a982-b69f69b66151@Spark> Hi Everyone, For the last talk of the semester, we will have Jason Parker, a post-doctoral fellow at Brandon University. Talk info: https://logic.ucalgary.ca/event/jason-parker/ Date and Time: 1:00 PM, Friday, December 11 Join Zoom Meeting https://ucalgary.zoom.us/j/93373993423 Meeting ID: 933 7399 3423 Password: 248135 Regards, Ben -------------- next part -------------- An HTML attachment was scrubbed... URL: