From matthew.burke1 at ucalgary.ca Mon Jan 8 12:12:47 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Mon Jan 8 12:12:52 2018 Subject: [Alta-Logic] Peripatetic Seminar 14:00 Thursday MS 427 Message-ID: The first peripatetic seminar of 2018 will take place on Thursday. Please note that it will be in the mathematics department. Speaker: JS Lemay Location: Thursday 11th Jan at 14:00 in MS 427 Title: Lifting Coalgebra Modalities Abstract: In this talk we will look at lifting coalgebra modalities (both monoidal and non-monoidal) to Eilenberg-Moore categories of suitable monads. In particular we introduced mixed distributive laws of monads over coalgebra modalities. We will also see how every monoid in the co-Eilenberg-Moore category of a monoidal coalgebra modality induces these mixed distributive laws. From matthew.burke1 at ucalgary.ca Fri Jan 12 16:32:43 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Fri Jan 12 16:32:46 2018 Subject: [Alta-Logic] Peripatetic Seminar 13:30 Monday MS 427 Message-ID: <26C7B9B2-AA7D-4F27-9B1C-644EB30B5649@ucalgary.ca> The next meeting of the peripatetic seminar will be this coming Monday again in the mathematics department. Speaker: Priyaa Srinivasan Location: Monday 15th Jan at 13:30 in MS 427 Title: Proving Teleportation protocol using ZX-calculus Abstract: In my previous talks, I introduced environment structures and discarding maps. In this talk I will use discarding maps and ZX- calculus to prove the correctness of teleportation protocol. ZX- calculus is a universal graphical calculus for reasoning about quantum processes. With discarding maps, one can graphically represent classical control and measurements. ZX-calculus along with the discarding maps provides a simple language for deriving the correctness of quantum information theoretic protocols. We will prove one such protocol in this talk namely quantum teleportation. From matthew.burke1 at ucalgary.ca Wed Jan 17 16:35:22 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Wed Jan 17 16:35:26 2018 Subject: [Alta-Logic] Thesis Presentation 13:00 Friday ICT 618B Message-ID: <7EC8C567-251C-4BA1-8B07-438D78E81CE8@ucalgary.ca> This Friday Prashant will be giving a presentation about his thesis in the ICT building. Speaker: Prashant Kumar Location: ICT 618B When: Friday, Jan 19, 13:00-14:00 Title: Implementation of Message Passing Language Abstract: Message Passage Language (MPL) is a programming language based on the work of Cockett and Pastro. MPL is a statically typed concurrent programming language with message passing as the concurrency primitive. It brings communication safety to interacting processes using a type system. MPL consists of two languages, concurrent MPL and sequential MPL, which can interact with each other. Concurrent MPL programs are written using concurrency constructs built into the language and protocols, which are concurrent data types. These concurrency constructs allow intuitive modelling of real world concurrency scenarios. Sequential MPL is a functional programming language. In addition to data de?nitions, sequential MPL allows codata de?nitions, which can model in?nite structures. Sequential MPL allows for disciplined recursion using folds and unfolds in addition to normal recursion. We have developed the ?rst prototype of a compiler for MPL. We have reformulated MPL?s design to allow normal recursion in addition to primitive recursion, the only form of recursion allowed in previous designs. We have developed an algorithm for type inferencing MPL programs, and implemented it. In addition, we have developed and implemented an abstract machine to run MPL programs. We have also developed the intermediate languages through which MPL programs compile to the abstract machine. We have implemented the algorithms used in the compilation of MPL programs to the abstract machines, namely lambda lifting and compilation of pattern matching. From matthew.burke1 at ucalgary.ca Fri Jan 19 20:42:05 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Fri Jan 19 20:42:12 2018 Subject: [Alta-Logic] Peripatetic Seminar Monday at 13:30 in MS 427 Message-ID: <0BFC3AC8-1A2D-4B41-8D77-FBEA416D8C82@ucalgary.ca> Speaker: Matthew Burke Location: MS 427 Time and Date: 13:30-14:30 Monday 22nd Jan Title: The Calculus of Functors using Sheafification Abstract: In classical calculus we approximate an appropriately differentiable function using a sequence of simpler functions called the Taylor polynomials. In an analogous way we can approximate a functor whose domain and codomain are appropriately topological by using a sequence of simpler functors. These simpler functors can be described using a universal property and a condition asserting that certain pullbacks are taken to certain homotopy pushouts. In this talk we present an alternative perspective based on a paper of de Brito and Weiss in the case that the domain of the functor is the category of smooth manifolds. First we describe the approximating 'polynomial' functors as generalised sheafifications with respect to a sequence of Grothendieck coverages. Then we explore how this approach generalises when we replace the category of smooth manifolds with more general categories. From bauerk at ucalgary.ca Mon Jan 29 13:02:58 2018 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Mon Jan 29 13:03:01 2018 Subject: [Alta-Logic] Fwd: 2018 Talbot Workshop announcement References: Message-ID: <8E8CE306-CA33-4BD4-9386-B08405593E9F@ucalgary.ca> Hi all, Some of you may be interested in the Talbot workshop advertised below... Cheers, Kristine Begin forwarded message: From: Morgan > Subject: 2018 Talbot Workshop announcement Date: 29 January, 2018 12:54:41 PM MST To: Kristine Bauer > Dear Kristine, Would you be willing to circulate the 2018 Talbot Workshop announcement (included below) to your department and any other individuals you think might be interested? We're excited to have Emily and Dominic as this year's mentors, and are eager to promote the workshop to a broader audience since the topic is a bit different from past years. Let me know if you have any questions, and thanks in advance! - Morgan Opie -------------- The application for this year's Talbot workshop is now live. See below for details: 2018 TALBOT WORKSHOP: MODEL-INDEPENDENT THEORY OF ?-CATEGORIES Mentored by Emily Riehl and Dominic Verity May 27-June 2, 2018 Government Camp, OR The Talbot Workshop is a 1-week learning workshop for roughly 35 graduate students and a few postdocs. Most of the talks will be given by participants, and will be expository in nature. This year's topic is on Riehl and Verity's work developing a theory of ?-categories from first principles in a model-independent fashion, that is, using a common axiomatic framework that is satisfied by a variety of models. The goal is to demonstrate that theorems proven using the combinatorics of a particular model transfer across specified "change of model" functors. More details about the program, including a preliminary list of talks and references, can be found here: http://math.mit.edu/conferences/talbot/ Applications are now open, and close on Wednesday, February 28 at 11:59PM. You can apply online here: http://math.mit.edu/conferences/talbot/index.php?pageID=application Talbot is meant to encourage collaboration among young researchers, with an emphasis on graduate students. We also aim to gather participants with a diverse array of knowledge and interests, so applicants need not be an expert in the field--in particular, students at all levels of graduate education are encouraged to apply. As we are committed to promoting diversity in mathematics, we also especially encourage women and minorities to apply. We will cover all local expenses including lodging and food. We also offer partial funding for participants' travel costs. If you have any questions, please do not hesitate to e-mail the organizers at talbotworkshop (at) gmail.com. Organizers: Eva Belmont Calista Bernard Inbar Klang Morgan Opie Sean Pohorence -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180129/909c3e03/attachment.html From matthew.burke1 at ucalgary.ca Fri Feb 2 21:20:39 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Fri Feb 2 21:20:46 2018 Subject: [Alta-Logic] Peripatetic Seminar Mon 13:30 in MS 427 Message-ID: Speaker: Robin Cockett Location: MS 427 Time and Date: 13:30-14:30 Monday 5th Feb Title: Linearly distributive categories and daggers do mix! Abstract: We shall explain the basic structure of a dagger *-autonomous category and exhibit a basic example using finiteness spaces. Time permitting we will discuss how the CPM construction can be generalized to this setting. From matthew.burke1 at ucalgary.ca Thu Feb 8 18:26:10 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Thu Feb 8 18:26:12 2018 Subject: [Alta-Logic] Peripatetic Seminar Mon 13:30 in MS 427 Message-ID: The next seminar will be given by Rick Blute as part of the Peripatetic Seminar Invited Lecture Series. Speaker: Rick Blute Time and Location: 13:30-14:30 Mon 12th Jan in MS 427 Title: Ribenboim's generalized power series and weighted Rota-Baxter categories From bauerk at ucalgary.ca Mon Feb 19 18:36:38 2018 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Mon Feb 19 18:36:41 2018 Subject: [Alta-Logic] Fwd: talk title, abstract References: Message-ID: <5170A511-38FA-4749-A33F-B0F663FAC751@ucalgary.ca> Dear Peripatetic Seminar goers, Sarah Yeakel (University of Maryland) will give the seminar lecture Tuesday, February 20 at 1pm in MS 427 (that is, tomorrow). Her title and abstract are below. Hope to see you there. Cheers, Kristine Title: Operads with homological stability Abstract: For a carefully constructed operad M of surfaces, Tillmann showed that algebras over M group complete to infinite loop spaces. This result relies, in part, on Harer's homological stability theorem for mapping class groups of surfaces. We will review Tillmann's result and provide a more general framework which shows that operads satisfying a certain homological stability condition detect infinite loop spaces. This is joint work with M. Basterra, I. Bobkova, K. Ponto, and U. Tillmann. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180220/51df3fd9/attachment.html From bauerk at ucalgary.ca Thu Feb 22 10:06:15 2018 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Thu Feb 22 10:06:18 2018 Subject: [Alta-Logic] Lunch today Message-ID: Hello all, This is a confirmation of our lunch meeting today with our visitor, Sarah Yeakel. Shall we meet at the Den at about noon? (I will be there at 12:10 as I?m coming from another meeting.). For those of you who hadn?t heard about this plan, consider this an invitation as all are welcome! Cheers, Kristine From rzach at ucalgary.ca Thu Feb 22 17:02:48 2018 From: rzach at ucalgary.ca (Richard Zach) Date: Thu Feb 22 17:02:58 2018 Subject: [Alta-Logic] PLEASE REGISTER! Math & Philosophy Lecture, Thursday March 15 Message-ID: The annual Mathematics & Philosophy Lecture is coming up on Thursday March 15. It's being promoted by the Faculty of Science alumni network, and I just heard we're halfway to capacity! So please don't delay and *register*! Info below: poster Philosophy of Mathematics as a Design Science Jeremy Avigad Carnegie Mellon University Thursday, March 15, 2018, 3:30 pm ST 147 In the history of philosophy, much has been made of the disagreements between W. V. O. Quine and Rudolf Carnap on the nature of mathematical and scientific knowledge. But when the dust settles, the points of agreement are more substantial: mathematical and scientific reasoning are shaped by the rules of our language, and these rules are, in turn, adopted for pragmatic scientific reasons. In this talk, I will take this perspective seriously, and regard mathematics as a system of conventions and norms that is designed to help us make sense of the world and reason efficiently. Like any designed system, it can perform well or poorly, and the philosophy of mathematics has a role to play in helping us understand the general principles by which it serves its purposes well. To that end, I will consider models of mathematical language currently implemented in interactive theorem provers, which support the formalization and verification of mathematical theorems. Using these models, as well as reflection on ordinary mathematical practice, I will try to extract some insights as to how mathematical language works, and what makes it so effective. Reception to follow in in ST 142 *Please register (free) by March 11 * *Jeremy Avigad * is Professor of Philosophy and Mathematical Sciences at Carnegie Mellon University. He has done work in mathematical logic, interactive theorem proving, philosophy of mathematics, history of mathematics, and automated reasoning. He is currently leading the library development for the Lean interactive theorem prover . /This talk is the fourth annual Calgary Mathematics & Philosophy Lecture, co-sponsored by PIMS , the Pacific Institute for the Mathematical Sciences, and Department of Philosophy and the /Department of Mathematics /. 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: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180222/2d25d7f9/attachment.html From matthew.burke1 at ucalgary.ca Sat Feb 24 11:42:45 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Sat Feb 24 11:42:48 2018 Subject: [Alta-Logic] Peripatetic Seminar Mon 13:30 in MS 427 Message-ID: <4D2FE680-66A6-4DF9-8C3E-28382C1A56AB@ucalgary.ca> Speaker: Matthew Burke Time and Location: 13:30-14:30 Mon 26th Feb in MS 427 Title: Localisation of Simplicial Presheaf Categories Abstract: In this talk we describe a special case of left Bousfield localisation that is of interest in the calculus of functors. In particular we work in the category of simplicially enriched presheaves of a small category. First we sketch how the classical small object argument constructs factorisations from a set of presheaf morphisms. Then we describe how to generate a model category from these maps (and an appropriate specification of weak equivalences) by augmenting the small object argument with some results due to J. Smith. Finally if time permits we will work out the special case of interest in the calculus of functors. From rzach at ucalgary.ca Sun Feb 25 08:42:33 2018 From: rzach at ucalgary.ca (Richard Zach) Date: Sun Feb 25 08:42:44 2018 Subject: [Alta-Logic] CPSC Invited Speaker - Jeremy Avigad - Wednesday March 14th, 2018 at 14:00 in ICT 616 In-Reply-To: References: Message-ID: <0fc3e6e5-5586-9fc9-19ab-5199178dc13d@ucalgary.ca> cid:image001.gif@01D2D60B.470FAE40cid:image002.gif@01D2D60B.470FAE40 Computer Science Invited Speaker *?Formal Methods in Mathematics and the Lean Theorem Prover?* *presented by* ** *Jeremy Avigad* ** *Hosted by* *Robin Cockett* *//* *Date:*??? ??? ??? ??? Wednesday March 14th, 2018 *Time:*??? ??? ??? ?? 14:00 *Location: *ICT 616 *ABSTRACT:* In computer science, the phrase "formal methods" is used to describe a body of logic-based methods that are used to specify, develop, and reason about hardware and software systems. These methods can equally well be used to discover and verify mathematical claims, however, and the boundary between mathematical and computational applications is not a sharp one. In this talk, I will survey some of the ways that formal methods have begun to make inroads in ordinary mathematics, and some of the theoretical and practical challenges that arise. I will also discuss a new open-source theorem prover, Lean, which is designed to support mathematical reasoning as well as hardware and software verification. I will describe Lean's logical foundations and some of the design decisions that were adopted to meet the challenges of formal reasoning in mathematics. Reference: The Lean Theorem Prover, http://leanprover.github.io/. *BIO:* Jeremy Avigad is Professor of Philosophy and Mathematical Sciences at Carnegie Mellon University. He has done work in mathematical logic, interactive theorem proving, philosophy of mathematics, history of mathematics, and automated reasoning. He is currently leading the library development for the Lean interactive theorem prover. -------------- next part -------------- Skipped content of type multipart/related From matthew.burke1 at ucalgary.ca Sat Mar 3 14:27:18 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Sat Mar 3 14:27:27 2018 Subject: [Alta-Logic] Peripatetic Seminar Monday 13:30 in MS 427 Message-ID: This week the peripatetic seminar will be at its normal time and location. Speaker: Matthew Burke Title: Using Postulated Colimits in Coq Abstract: In this talk we define and construct finite colimits in the Coq proof assistant in a context that is similar to the category of sets. First we review without proof the key mathematical ideas involved in the theory of postulated colimits as described in a note of Anders Kock. This theory gives us a way to prove results about colimits in an arbitrary sheaf topos. Then we give an inductive definition in Coq of the fundamental notion of zigzag in this theory. We finish by proving the result analogous to the (mathematically easy) result that in the category of sets pushouts of monomorphisms are monomorphisms. From matthew.burke1 at ucalgary.ca Wed Mar 7 16:04:46 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Wed Mar 7 16:04:55 2018 Subject: [Alta-Logic] Peripatetic Seminar Friday 14:00 in ICT 616 Message-ID: Speaker: Jonathan Gallagher Time and Location: 14:00 9th Mar in ICT 616 Title: Frolicher spaces, Weil spaces, Diffeological spaces and abstract differential geometry Abstract: In differential geometry, obtaining a smooth structure on spaces of smooth maps is a motivation for the introduction of various kinds of generalized smooth spaces. Frechet manifolds do allow a manifold structure on the space of smooth maps between *finite* dimensional smooth manifolds, but the category is not cartesian closed. Frolicher spaces, Weil spaces, and diffeological spaces all have the advantage that they generalize smooth manifolds, and are cartesian closed categories. We will describe these categories as Tangent categories. They are *not* tangent categories, but they should be. We will introduce a notion of generalized microlinearity, based on the work of Nishimura, whose notion was based on the work of Wraith and Kock, to extract a tangent full subcategory. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From matthew.burke1 at ucalgary.ca Thu Mar 8 09:42:14 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Thu Mar 8 09:42:25 2018 Subject: [Alta-Logic] Peripatetic Seminar Monday 13:30 in MS 427 Message-ID: Speaker: Michael Ching Time and Location: 13:30 12th Mar in MS 427 Title: Day convolution, infinity-operads and Goodwillie calculus Abstract: Goodwillie calculus is a branch of homotopy theory that provides systematic approximations to a suitable functor (say from the category of topological spaces to itself) in the form of a "Taylor tower", analogous to the Taylor series from ordinary calculus. In this talk, I will describe how some aspects of the Taylor tower construction are related via Day convolution. The slogan will be that "the nth derivative is an n-fold Day convolution of the first derivative". An important consequence of this observation is that the derivatives of an identity functor on a category C are a coloured operad (or symmetric multicategory), with the derivatives of a functor from C to D forming a bimodule over the operads corresponding to C and D. The context for all of this work is Lurie's theory of infinity-categories though no technical background from that theory will be required in this talk. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From rzach at ucalgary.ca Mon Mar 12 10:42:36 2018 From: rzach at ucalgary.ca (Richard Zach) Date: Mon Mar 12 10:42:46 2018 Subject: [Alta-Logic] Talks & Dinner with Jeremy Avigad In-Reply-To: References: Message-ID: Hi, I'll take Jeremy Avigad, our Mathematics and Philosophy lecturer, to dinner on Thursday. If you want to join us, please let me know by Wednesday at noon. Let this also serve as your reminder of the talk on Thursday at 3:30pm: http://ucalgary.ca/mathphil/ It's "sold out" but not everyone registered will actually show up so I hope there will be space for everyone who's interested even if you didn't register. Jeremy will also speak on "Formal Methods in Mathematics and the Lean Theorem Prover" on Wednesday at 2pm in ICT 616. Yours Richard -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From matthew.burke1 at ucalgary.ca Mon Mar 12 16:23:09 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Mon Mar 12 16:23:21 2018 Subject: [Alta-Logic] Computer Science Invited Speaker Wed 14:00 Message-ID: The following is an advertisement for a talk in the Computer Science Department. Speaker: Jeremy Avigad Time and Location: 14:00 Wed Mar 14th in ICT 616 Title: Formal Methods in Mathematics and the Lean Theorem Prover Abstract: In computer science, the phrase "formal methods" is used to describe a body of logic-based methods that are used to specify, develop, and reason about hardware and software systems. These methods can equally well be used to discover and verify mathematical claims, however, and the boundary between mathematical and computational applications is not a sharp one. In this talk, I will survey some of the ways that formal methods have begun to make inroads in ordinary mathematics, and some of the theoretical and practical challenges that arise. I will also discuss a new open-source theorem prover, Lean, which is designed to support mathematical reasoning as well as hardware and software verification. I will describe Lean's logical foundations and some of the design decisions that were adopted to meet the challenges of formal reasoning in mathematics. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From crcomfor at ucalgary.ca Tue Mar 13 17:16:03 2018 From: crcomfor at ucalgary.ca (Cole Robert Comfort) Date: Tue Mar 13 17:16:07 2018 Subject: [Alta-Logic] Computer Science Invited Speaker Wed 14:00 In-Reply-To: References: Message-ID: Are you planning on going to this lecture. If not, can we switch tutorials back fro tomorrow? -cole ________________________________ From: alta-logic-l-bounces@mailman.ucalgary.ca on behalf of Matthew Burke Sent: 12 March 2018 16:23:09 To: alta-logic-l@mailman.ucalgary.ca Subject: [Alta-Logic] Computer Science Invited Speaker Wed 14:00 The following is an advertisement for a talk in the Computer Science Department. Speaker: Jeremy Avigad Time and Location: 14:00 Wed Mar 14th in ICT 616 Title: Formal Methods in Mathematics and the Lean Theorem Prover Abstract: In computer science, the phrase "formal methods" is used to describe a body of logic-based methods that are used to specify, develop, and reason about hardware and software systems. These methods can equally well be used to discover and verify mathematical claims, however, and the boundary between mathematical and computational applications is not a sharp one. In this talk, I will survey some of the ways that formal methods have begun to make inroads in ordinary mathematics, and some of the theoretical and practical challenges that arise. I will also discuss a new open-source theorem prover, Lean, which is designed to support mathematical reasoning as well as hardware and software verification. I will describe Lean's logical foundations and some of the design decisions that were adopted to meet the challenges of formal reasoning in mathematics. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ _______________________________________________ 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@mailman.ucalgary.ca Homepage: http://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180313/7908bf46/attachment.html From crcomfor at ucalgary.ca Tue Mar 13 17:17:09 2018 From: crcomfor at ucalgary.ca (Cole Robert Comfort) Date: Tue Mar 13 17:17:11 2018 Subject: [Alta-Logic] Computer Science Invited Speaker Wed 14:00 In-Reply-To: References: , Message-ID: Sorry for replying all. :( ________________________________ From: Cole Robert Comfort Sent: 13 March 2018 17:16:03 To: Matthew Burke; alta-logic-l@mailman.ucalgary.ca Subject: Re: [Alta-Logic] Computer Science Invited Speaker Wed 14:00 Are you planning on going to this lecture. If not, can we switch tutorials back fro tomorrow? -cole ________________________________ From: alta-logic-l-bounces@mailman.ucalgary.ca on behalf of Matthew Burke Sent: 12 March 2018 16:23:09 To: alta-logic-l@mailman.ucalgary.ca Subject: [Alta-Logic] Computer Science Invited Speaker Wed 14:00 The following is an advertisement for a talk in the Computer Science Department. Speaker: Jeremy Avigad Time and Location: 14:00 Wed Mar 14th in ICT 616 Title: Formal Methods in Mathematics and the Lean Theorem Prover Abstract: In computer science, the phrase "formal methods" is used to describe a body of logic-based methods that are used to specify, develop, and reason about hardware and software systems. These methods can equally well be used to discover and verify mathematical claims, however, and the boundary between mathematical and computational applications is not a sharp one. In this talk, I will survey some of the ways that formal methods have begun to make inroads in ordinary mathematics, and some of the theoretical and practical challenges that arise. I will also discuss a new open-source theorem prover, Lean, which is designed to support mathematical reasoning as well as hardware and software verification. I will describe Lean's logical foundations and some of the design decisions that were adopted to meet the challenges of formal reasoning in mathematics. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ _______________________________________________ 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@mailman.ucalgary.ca Homepage: http://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180313/c8a530c6/attachment.html From matthew.burke1 at ucalgary.ca Sat Mar 24 14:03:55 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Sat Mar 24 14:04:04 2018 Subject: [Alta-Logic] Peripatetic Seminar Mon 26th 13:30 in MS 427 Message-ID: Speaker: Matthew Burke Time and Location: 13:30 Mon 26th Mar in MS 427 Title: Free co-completion, presheaves and sheaves Abstract: In response to a special request this talk describes some fundamental aspects of sheaf theory. First we introduce the algebra of ends and co-ends for the purpose of making our subsequent calculations more concrete. Then we describe how the construction of a presheaf category of a small category corresponds to the free co-completion of that category. Finally we describe how the sheaf construction allows us to construct a non-free co-completion and choose which co-cones in the original category become colimit co-cones in the co-completion category. If we have time we sketch how to interpret various logical formulae in the internal logic of a sheaf category. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From rzach at ucalgary.ca Mon Mar 26 14:13:26 2018 From: rzach at ucalgary.ca (Richard Zach) Date: Mon Mar 26 14:13:35 2018 Subject: [Alta-Logic] FYI: A New University of Calgary LaTeX Thesis Class based on Memoir Message-ID: <00b7e11c-5cac-24f4-43d5-c2172b56281e@ucalgary.ca> Richard Zach posted: "The University of Calgary provides a LaTeX thesis class on its website. That class is based on the original thesis class, modified over the years to keep up with changes to the thesis guidelines of the Faculty of Graduate studies. It produces atrocious re" New post on *Richard Zach* A New University of Calgary LaTeX Thesis Class based on?Memoir by Richard Zach The University of Calgary provides a LaTeX thesis class on its website. That class is based on the original thesis class, modified over the years to keep up with changes to the thesis guidelines of the Faculty of Graduate studies. It produces atrocious results. Chapter headings are not aligned properly. Margins are set to 1 inch on all sides, which results in unreadably long lines of text. The template provided sets the typeface to Times New Roman. Urgh.? A better class (by Mark Girard) is already available, which however also sets the margins to 1 inch. FGS no longer requires that the margins be exactly 1 inch, just that they are at a minimum 1 inch. So we are no longer forced to produce that atrocious page layout. I made a new thesis class . It's based on memoir , which provides some nice functionality to compute an attractive page layout. By default, the class sets the thesis halfspaced, 11 point type, and with about 65 characters per line. This produces a page approximating a nicely laid out book page.? The |manuscript| class option sets it up for 12 point, double spaced, with 72 characters per line, and 25 lines per page. That's still readable, but gives you extra space between the lines for annotations and editing marks, and wider margins. There are also class options to load some decent typefaces (|palatino|, |utopia|, |garamond|, |libertine|, and, ok, |times|). Once upon a time, theses were typed on a typewriter and submitted to the examination committee in hardcopy. Typewriter fonts are ?monospaced,? i.e., every character takes the same amount of space. ?Elite? typewriters would print 12 characters per inch, or 72 characters per 6 inch line, and "Pica" typewriters 10 cpi, or 60 characters per line. Typewriters fit 6?lines into a vertical inch, or 25?lines per double-spaced page. A word is on average 5 characters long, hence we get about 250 words per manuscript page. Noone uses typewriters anymore to write theses, but thesis style guidelines are still a holdover from the time we did. The guidelines still require that theses be halfspaced or double spaced. But of course they allow use of word processing software. Those don't use monospaced typewriter fonts, and the recommended typefaces such as Times Roman are much more narrow and proportionally spaced. That means even with 12?point type, a 6? line now contains 89 characters on average, rather than 60. (Chris Pearson has estimated ?character constants? for various typefaces which you can use to estimate the average number of characters per inch in various type sizes. For Times New Roman, the factor is 2.48. At a line length of 6?, i.e., 432 pt, and 12 pt type that gives 432???(2.48/12)=89.28 characters per line. With minimal margins of 1? you get 96 characters per line.) Applying typewriter rules to electronically typeset manuscripts results in lines that are very long?and that means they are hard to read. Ideally, there should be anywhere between 50 and 75 characters per line, and 66 characters is widely considered ideal. /Readability/ is a virtue you want your thesis to have. And the thesis guidelines, thankfully, no longer /set/ the margins, but only require /minimum/ margins of 1? on all sides. view pdf *Richard Zach * | March 26, 2018 at 11:10 am | Categories: Uncategorized | URL: https://wp.me/p5U0K1-Dl Comment See all comments Unsubscribe to no longer receive posts from Richard Zach. Change your email settings at Manage Subscriptions . *Trouble clicking?* Copy and paste this URL into your browser: http://richardzach.org/2018/03/26/a-new-university-of-calgary-latex-thesis-class-based-on-memoir/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180326/41062693/attachment.html From matthew.burke1 at ucalgary.ca Sat Mar 31 22:02:55 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Sat Mar 31 22:03:03 2018 Subject: [Alta-Logic] Peripatetic Seminar Monday 13:30 in MS 427 Message-ID: Speaker: Rachel Hardeman Time and Location: 13:30 Monday 2nd April in MS 427 Title: An Introduction to A-Homotopy Theory: A Discrete Homotopy Theory for Graphs Abstract: A-homotopy Theory was invented by Ron Aktin in the 1970s and further developed by Helene Barcelo in the early 2000s as a combinatorial version of homotopy theory. This theory respects the structure of a graph, distinguishing between vertices and edges. While in classical homotopy theory all cycles are equivalent to the circle, in A-homotopy theory the 3 and 4-cycles are contractible and all larger cycles are equivalent to the circle. In this talk, we will examine the fundamental group in A-homotopy from the perspective of covering spaces. We will also establish explicit lifting criteria and examine the role of the 3 and 4-cycles in these criteria. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From rzach at ucalgary.ca Sun Apr 1 13:53:13 2018 From: rzach at ucalgary.ca (Richard Zach) Date: Sun Apr 1 13:53:21 2018 Subject: [Alta-Logic] Samara Burns: Relational Hypersequent Calculi for Modal Logics (Monday 15:00 SS 1253) Message-ID: <607f183b-5586-6fe6-ca2a-6ef409a33eea@ucalgary.ca> Samara Burns (Philosophy) will speak on her MA research tomorrow, Monday April 2, 15:00 in 1253 SS Relational Hypersequent Calculi for Modal Logics Relational hypersequents are a recent development in the proof theory of modal logics. The relational hypersequent framework takes sequences of sequents and interprets them as a branch of possible world-states. In these systems, two rules govern the behaviour of the modal operator, while variation between modal systems occurs in the presence or absence of structural rules. In this way, relational hypersequents are able to provide a unified proof-theoretic treatment of the modal logic K and its extensions T, B, D, S4 and S5. I will introduce the relational hypersequent framework and talk about some of its important features before presenting a new completeness proof for K. -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From rzach at ucalgary.ca Thu Apr 5 10:14:59 2018 From: rzach at ucalgary.ca (Richard Zach) Date: Thu Apr 5 10:15:07 2018 Subject: [Alta-Logic] Talk tomorrow: Michael Dunn (Indiana), Logics as Tools Message-ID: <29b39662-01a1-c5a0-0021-189621bce7d7@ucalgary.ca> Philosophy Speakers: Logics as Tools, or Humans as Rational Tool Making Animals *Date & Time: * April 6, 2018 | 3:00 pm - 5:00 pm *Location: * 1253 SS *Speaker: * Michael Dunn, Indiana University *About the Talk* A human has been defined in the Aristotelean tradition as a "rational animal." Benjamin Franklin defined a human as a ?tool-making animal." Therefore, it follows, by logic, that a human is a rational tool-making animal.? The purpose of this talk is to argue that this last can be regrouped to read "rational-tool making animals," and that logics (plural) are among these rational tools.? In this talk I will explain a pragmatic approach towards a foundation of logic. By the middle of the last century we already had classical logic as the ?one true logic? of truth, many-valued logic as the logic of degrees of truth, and intuitionistic logic as the logic of constructive proof.?? And since then there has been a proliferation of logics.?? I will examine this proliferation of logics, and then focus on substructural logics as ?logics of information,? i.e., as information tools. This talk is based on my paper ?Humans as Rational Tool Making Animals,? its Russian translation a chapter//in /??????????? ??????: ?????????, ??????? ? ??????????? ????????. /(/Modern logic: Its Subject Matter, Foundations and Prospects/), ed. D. Zaitsev, Moscow: Forum, 2018. *About the Speaker* J. Michael Dunn, Indiana University Bloomington Oscar Ewing Professor Emeritus of Philosophy, Professor Emeritus of Computer Science Professor Emeritus of Informatics, University Dean Emeritus ? School of Informatics He attended Oberlin College, A.B. 1963, and the University of Pittsburgh, Ph.D. 1966. He has been awarded grants from NSF, NEH, ACLS, and has visited, among other places, at the Australian National University, Oxford University, the University of Melbourne, and the University of Massachusetts Amherst.? He is a winner of the Techpoint (Indiana Information Technology Association) Mira Award for Outstanding Information Technology Educator.? He was awarded the IUB Provost?s Medal, and was made a Sagamore of the Wabash by the Governor of Indiana. ?He is a Fellow of the American Academy of Arts and Sciences. Dunn's research focuses on information based logics and relations between logic and computer science. He is particularly interested in so-called "sub-structural logics" including intuitionistic logic, relevance logic, linear logic, BCK-logic, and the Lambek Calculus. He has developed an algebraic approach to these and many other logics under the heading of "gaggle theory" (for generalized galois logics), which is contained in a series of papers, his book with Gary Hardegree /Algebraic Methods in Philosophical Logic /(Oxford, 2001), and a book with Katalin Bimb? /Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi./?(CSLI Publications, 2008).? He has done work on the relationship of quantum logic to quantum computation and on subjective probability in the context of incomplete and conflicting information.? He has a general interest in the philosophy of mind and cognitive science. This has led him recently to think about the nature of logic. -- Richard Zach ......http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180405/89517977/attachment.html From matthew.burke1 at ucalgary.ca Fri Apr 6 16:44:20 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Fri Apr 6 16:44:29 2018 Subject: [Alta-Logic] Peripatetic Seminar Monday 9 13:30-15:00 in MS427 Message-ID: Speaker: Ben MacAdam Time and Location: 13:30-15:00 Monday 9 Apr in MS 427 Title: Cartan?s calculus for Sector Forms Abstract: Cartan?s calculus of differential forms refers to a collection of operators on differential forms - the exterior derivative, Lie derivative, and interior product - and identities that they satisfy. The calculus of forms is particularly useful in mechanics. In this talk, we show that Cartan?s calculus of forms may be formulated in terms of J.E. White?s sector forms. Definitions for an interior product and Lie Derivative of sector forms will be presented, it will be shown these satisfy the usual identities from Cartan?s calculus. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From benmacadam at gmail.com Thu Apr 12 13:33:51 2018 From: benmacadam at gmail.com (Ben MacAdam) Date: Thu Apr 12 13:33:56 2018 Subject: [Alta-Logic] GSA IDEA pitch competition Message-ID: <975DAB2A-2B7F-45F4-8234-47665E3E60DB@gmail.com> Hi everyone, Jon, Prashant, and I are competing tin the GSA IDEA pitch competition today. It?s at the Alberta Dining room, 5:30-7:30, there?s a people?s choice award so any support would be appreciated! -Ben From matthew.burke1 at ucalgary.ca Wed Apr 18 15:42:43 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Wed Apr 18 15:42:50 2018 Subject: [Alta-Logic] Peripatetic Seminar Friday 11:00 in ICT 616 Message-ID: Please note the changes in time, day and location for the next peripatetic seminar. Speaker: Cole Comfort Time and Location: 11:00 Friday Apr 20 in ICT 616 Title: A Complete Classification of the Toffoli Gate with Ancillary bits (second attempt) Abstract: We provide a complete set of identities for the symmetric monoidal category, TOF, generated by the Toffoli gate and computational ancillary bits. We do so by demonstrating that the functor which evaluates circuits on total points is an equivalence into the full subcategory of sets and partial isomorphisms with objects finite powers of the two element set. The structure of the proof builds on and follows the proof of Cockett et al. which provided a full set of identities for the cnot gate with computational ancillary bits. Thus, first it is shown that TOF is a discrete inverse category in which all of the identities for the cnot gate hold; and then a normal form for the restriction idempotents is constructed which corresponds precisely to subobjects of the total points of TOF. This is then used to show that TOF is equivalent to the full subcategory of sets and partial isomorphisms in which objects have cardinality 2^n for some n in N. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From matthew.burke1 at ucalgary.ca Tue Apr 24 09:13:19 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Tue Apr 24 09:13:29 2018 Subject: [Alta-Logic] Peripatetic Seminar Wednesday 10:30 in ICT 616 Message-ID: Please note the change in time and day for the next peripatetic seminar. Speaker: Priyaa Srinivasan Time and Location: 10:30-12:00 Wednesday Apr in ICT 616 Title: Quantum Channels for Mixed Unitary Categories Abstract: Categorically, quantum processes are modelled as completely positive maps in dagger compact closed categories [1,2,3]. The limitation however is that the quantum processes modelled are for finite-dimensional systems. A natural setting for quantum processes between infinite dimensional systems is a *-autonomous category or more generally a linearly distributive category. The goal of my talk is to introduce dagger linearly distributive categories and mixed unitary categories in which one can discuss about quantum processes possibly in infinite dimensions. CP-infinity construction [4] on dagger symmetric monoidal categories generalizes CPM construction [3] to arbitrary dimensions. I will show a generalization of CP-infinity construction to mixed unitary categories. References: [1] Bob Coecke, Chris Heunen, and Aleks Kissinger. Categories of quantum and classical channels. Quantum Information Processing, 15(12):5179?5209, December 2016. [2] Bob Coecke and Aleks Kissinger. Picturing Quantum Processes. Cambridge University Press, Cambridge, England, 2017. [3] Peter Selinger. Dagger compact closed categories and completely positive maps. Electronic Notes in Theoretical Computer Science, 170:139?163, 2007. [4] Coecke, Bob, and Chris Heunen. Pictures of complete positivity in arbitrary dimension. Information and Computation 250 (2016): 50-58. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From matthew.burke1 at ucalgary.ca Thu Apr 26 12:11:48 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Thu Apr 26 12:11:51 2018 Subject: [Alta-Logic] Alberta Mathematics Dialogue 2018 Message-ID: <259AF879-7DCF-47C5-BE01-E64E54C3E550@ucalgary.ca> The 'main event' next week is the Category Theory and Logic session of the Alberta Mathematics Dialogue at the University of Calgary. (I will also give a talk on Monday which I?ll send another announcement about.) The session is on Friday 4th May from 14:30-16:00 in ST 143. The speakers will be: 14:30-15:00: Rory Lucyshyn-Wright (Mount Allison University) 15:00-15:30: Jonathan Gallagher (University of Calgary) 15:30-16:00: Matthew Burke (University of Calgary) I?ll send out an email on the Alta-Logic mailing list with titles and abstracts tomorrow. The website (which includes a registration link) is now working: https://math.ucalgary.ca/amd_2018 Hope to see as many of you there as possible! From matthew.burke1 at ucalgary.ca Fri Apr 27 20:18:50 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Fri Apr 27 20:19:12 2018 Subject: [Alta-Logic] Alberta Mathematics Dialogue 2018 Abstracts Message-ID: <60459C5C-E9DC-41C7-A08F-5817910FEC4C@ucalgary.ca> Please find below the times, speakers and abstracts for the Alberta mathematics dialogue. As a reminder about arrangements, we will be in ST143 on Friday March 4. The online registration form is now closed but on-site registrations will be available in the Science Theatre Atrium at the workshop. (2:30-3:00) Rory Lucyshyn-Wright, Mount Allison University Distribution monads, algebraic dualities, and the relation between probability and convexity Abstract: The concept of dualization of linear spaces admits a far-reaching generalization through the notion of an algebraic duality [3], i.e., a contravariant adjunction between (enriched) algebraic categories. Every algebraic duality is induced by a dualizing algebra and determines an induced notion of distribution that specializes to yield various kinds of measures, Schwartz distributions, filters, closed subsets, compacta, and so forth [2]. In this talk, we will treat a specific example, beginning with the algebraic category of convergence convex spaces, with the unit interval as the dualizing algebra, and we will discuss the associated algebraic duality. We will show that the induced notion of distribution is a generalization of the notion of Radon probability measure. The proof employs R. C. Buck's representation theorem [1] involving the strict topology on the space of bounded continuous functions. Along the way, we also prove a representation theorem for bounded Radon measures that is formulated in terms of the unit interval and certain simple categorical constructions. [1] R. C. Buck, Bounded continuous functions on a locally compact space. The Michigan Mathematical Journal 5 (1958) 95?-104. [2] R. B. B. Lucyshyn-Wright, Functional distribution monads in functional-analytic contexts. Advances in Mathematics 322 (2017), 806-860. [3] R. B. B. Lucyshyn-Wright, Algebraic duality and the abstract functional analysis of distribution monads. Talk at CT 2017: International Category Theory Conference, Vancouver, July 2017. (3:00-3:30) Jonathan Gallagher, University of Calgary Smootheology, Weil algebras, and tangent structure Abstract: In this talk we will develop categories of generalized smooth spaces, or smootheologies, from the tangent categories perspective. We will make use of actions by the category of Weil algebras to extract tangent categories from Weil, Sikorski, Diffeological, and Fr?licher spaces. (3:30-4:00) Matthew Burke, University of Calgary A Tangent Category of Infinity Categories Abstract: In classical calculus we approximate an appropriately differentiable function using a sequence of simpler functions called the Taylor polynomials. In an analogous way the Goodwillie calculus describes how to approximate a functor whose domain and codomain are appropriately topological by using a sequence of simpler functors. In this talk we take the first steps towards describing some fundamental parts of the Goodwillie calculus in terms of the theory of tangent categories. A tangent category is an axiomatisation of the tangent bundle functor on the category of smooth manifolds that was introduced by Rosicky in 1984 and then extended by Cockett and Cruttwell in 2013. First we give a brief introduction to the Goodwillie calculus using infinity categories which follows previous work by Lurie. Next we identify the main components of a tangent category on the category of presentable infinity categories. We will then describe the connection of this work to a paper of Bauer et al. that constructs a directional derivative in the calculus of functors that, along with a suitably chosen ambient category, satisfies all the axioms for being a Cartesian differential category. This work is part of a joint project with Kristine Bauer and Michael Ching. From matthew.burke1 at ucalgary.ca Sat Apr 28 14:11:20 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Sat Apr 28 14:11:39 2018 Subject: [Alta-Logic] Peripatetic Seminar Monday 13:30 in MS427 Message-ID: Speaker: Matthew Burke Time and Location: 13:30-15:00 Monday Apr 30 in MS 427 Title: A Two Dimensional Setting for the Calculus of Infinity Functors Abstract: In this talk we combine two related approaches to the theory of infinity categories. On the one hand we use derivators to work with (homotopy) (co)limits within small infinity categories. Using this theory we define the excisive functors, suspension functors etc.. that are commonly used in the Goodwillie calculus. On the other hand we use the homotopy 2-category of quasi-categories developed by Riehl and Verity to describe relationships between the small infinity categories themselves. Using this theory we work out how to form colimits in an infinity category of excisive functors. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From matthew.burke1 at ucalgary.ca Tue May 1 16:09:52 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Tue May 1 16:09:55 2018 Subject: [Alta-Logic] Dinner on Saturday Evening Message-ID: <320EA1B5-3B56-4FD3-A94E-566EF302BC21@ucalgary.ca> Dear all, This email is to confirm arrangements for going out for dinner on Saturday night with our visitor Rory. Also it is a friendly reminder that our session at the Alberta Mathematics Dialogue starts at 14:30 sharp on Friday 4th in ST143! As for Saturday, lets aim to meet in the ICT cafe area on the ground floor by the elevators at 18:30. At the moment I?ve had a few suggestions of where to go: Saigon Y2K (Banff Trail), Raj Palace (Downtown) and Famoso Pizza (Downtown). If you have any (other) preference or dietary requirements please let me know by Friday. Also, at the moment Rory is scheduled to arrive tomorrow evening, and make his way to the university by around 7pm and then we will get dinner close by. If anyone wants to join us for dinner, or perhaps even offer a lift from the airport, please do let me know! All the best, Matthew From jdgall84 at gmail.com Tue May 1 16:29:59 2018 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Tue May 1 16:30:43 2018 Subject: [Alta-Logic] Dinner on Saturday Evening In-Reply-To: <320EA1B5-3B56-4FD3-A94E-566EF302BC21@ucalgary.ca> References: <320EA1B5-3B56-4FD3-A94E-566EF302BC21@ucalgary.ca> Message-ID: I vote Famoso, because it tastes real good. I own a vehicle, and can pick up Rory from the airport; let me know if this is desired. On Tue, May 1, 2018 at 4:09 PM, Matthew Burke wrote: > Dear all, > > This email is to confirm arrangements for going out for dinner on Saturday > night with our visitor Rory. Also it is a friendly reminder that our > session at the Alberta Mathematics Dialogue starts at 14:30 sharp on Friday > 4th in ST143! > > As for Saturday, lets aim to meet in the ICT cafe area on the ground floor > by the elevators at 18:30. At the moment I?ve had a few suggestions of > where to go: Saigon Y2K (Banff Trail), Raj Palace (Downtown) and Famoso > Pizza (Downtown). If you have any (other) preference or dietary > requirements please let me know by Friday. > > Also, at the moment Rory is scheduled to arrive tomorrow evening, and make > his way to the university by around 7pm and then we will get dinner close > by. If anyone wants to join us for dinner, or perhaps even offer a lift > from the airport, please do let me know! > > All the best, > > Matthew > _______________________________________________ > 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@mailman.ucalgary.ca > Homepage: http://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l > -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180501/b14ff6f1/attachment.html From crcomfor at ucalgary.ca Tue May 1 17:29:26 2018 From: crcomfor at ucalgary.ca (cole comfort) Date: Tue May 1 17:29:48 2018 Subject: [Alta-Logic] Dinner on Saturday Evening In-Reply-To: References: <320EA1B5-3B56-4FD3-A94E-566EF302BC21@ucalgary.ca> Message-ID: In contrast, I vote *against* Saigon Y2K because it tastes bad. -Cole On Tue, May 1, 2018, 16:29 Jonathan Gallagher wrote: > > I vote Famoso, because it tastes real good. > > I own a vehicle, and can pick up Rory from the airport; let me know if > this is desired. > > On Tue, May 1, 2018 at 4:09 PM, Matthew Burke > wrote: > >> Dear all, >> >> This email is to confirm arrangements for going out for dinner on >> Saturday night with our visitor Rory. Also it is a friendly reminder that >> our session at the Alberta Mathematics Dialogue starts at 14:30 sharp on >> Friday 4th in ST143! >> >> As for Saturday, lets aim to meet in the ICT cafe area on the ground >> floor by the elevators at 18:30. At the moment I?ve had a few suggestions >> of where to go: Saigon Y2K (Banff Trail), Raj Palace (Downtown) and Famoso >> Pizza (Downtown). If you have any (other) preference or dietary >> requirements please let me know by Friday. >> >> Also, at the moment Rory is scheduled to arrive tomorrow evening, and >> make his way to the university by around 7pm and then we will get dinner >> close by. If anyone wants to join us for dinner, or perhaps even offer a >> lift from the airport, please do let me know! >> >> All the best, >> >> Matthew >> _______________________________________________ >> 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@mailman.ucalgary.ca >> Homepage: http://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@mailman.ucalgary.ca > Homepage: http://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180501/d25e8748/attachment.html From benmacadam at gmail.com Tue May 1 17:32:53 2018 From: benmacadam at gmail.com (Ben MacAdam) Date: Tue May 1 17:33:01 2018 Subject: [Alta-Logic] Dinner on Saturday Evening In-Reply-To: References: <320EA1B5-3B56-4FD3-A94E-566EF302BC21@ucalgary.ca> Message-ID: <518A6ECB-0138-49D1-85DF-588D5CAB5A20@gmail.com> If anti-votes are going to be a thing, then I too vote against Saigon Y2K. -Ben > On May 1, 2018, at 5:29 PM, cole comfort wrote: > > In contrast, I vote against Saigon Y2K because it tastes bad. > > -Cole > > On Tue, May 1, 2018, 16:29 Jonathan Gallagher > wrote: > > I vote Famoso, because it tastes real good. > > I own a vehicle, and can pick up Rory from the airport; let me know if this is desired. > > On Tue, May 1, 2018 at 4:09 PM, Matthew Burke > wrote: > Dear all, > > This email is to confirm arrangements for going out for dinner on Saturday night with our visitor Rory. Also it is a friendly reminder that our session at the Alberta Mathematics Dialogue starts at 14:30 sharp on Friday 4th in ST143! > > As for Saturday, lets aim to meet in the ICT cafe area on the ground floor by the elevators at 18:30. At the moment I?ve had a few suggestions of where to go: Saigon Y2K (Banff Trail), Raj Palace (Downtown) and Famoso Pizza (Downtown). If you have any (other) preference or dietary requirements please let me know by Friday. > > Also, at the moment Rory is scheduled to arrive tomorrow evening, and make his way to the university by around 7pm and then we will get dinner close by. If anyone wants to join us for dinner, or perhaps even offer a lift from the airport, please do let me know! > > All the best, > > Matthew > _______________________________________________ > 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@mailman.ucalgary.ca > Homepage: http://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@mailman.ucalgary.ca > Homepage: http://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@mailman.ucalgary.ca > Homepage: http://mailman.ucalgary.ca/mailman/listinfo/alta-logic-l -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180501/6f9937f5/attachment.html From matthew.burke1 at ucalgary.ca Sat May 5 16:42:35 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Sat May 5 16:42:45 2018 Subject: [Alta-Logic] Peripatetic Seminar Monday 11:00 in MS 427 Message-ID: Speaker: Ben MacAdam Time and Location: 11:00 Mon 7 May in MS 427 Title: Cartan Calculus for Tangent Categories 2 Abstract: We develop the string calculus for Cartesian Tangent categories, and consider the shuffle operation and Noether?s theorem in a tangent category. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From matthew.burke1 at ucalgary.ca Sat May 12 10:36:09 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Sat May 12 10:36:20 2018 Subject: [Alta-Logic] Peripatetic Seminar Mon 11:00 in MS 427 Message-ID: Speaker: Matthew Burke Time and Location: 11:00 Mon May 14 in MS 427 Title: A Two Dimensional Setting for the Calculus of Infinity Functors: Part II Abstract: In this talk we continue describing the calculus of infinity functors in terms of derivators. First we recall what a derivator is, the basic examples of derivators, the definition of Cartesian square and what it means to be an excisive morphism of derivators. Then we develop the basic theory of pointed and stable derivators and prove that the derivator of reduced excisive functors between two derivators is stable. If we have time we describe the zeroth and first order approximations of a derivator and define what a pre-stable derivator is. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From matthew.burke1 at ucalgary.ca Mon Jun 25 14:58:20 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Mon Jun 25 14:58:30 2018 Subject: [Alta-Logic] Peripatetic Seminar Message-ID: <36668714-a2b6-b6f5-2957-573c6dba8f61@ucalgary.ca> Speaker: Matthew Burke Time and Location: 11:00 Wed 27 Jun in ICT 616 Title: Elements of the Theory of Quasi-categories Abstract: We outline some of the theory of quasi-categories that is required to set up the functor calculus. First we review the definition of left, right and inner factorisation systems and describe an alternative characterisation of these factorisation systems that makes certain computations more straightforward. Then we define quasi-categories and prove that the internal hom of quasi-categories is a quasi-category. In order to define a tangent bundle functor we first need to define the (large) quasi-category of quasi-categories and recall how the representable (infinity) functors are defined in this setting. If we have time we describe how to use this work to define the functor of excisive functors that conjecturally constitutes the tangent bundle functor. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180625/130fc9ed/attachment.html From matthew.burke at cantab.net Mon Jun 25 14:45:28 2018 From: matthew.burke at cantab.net (Matthew Burke) Date: Mon Jun 25 19:57:22 2018 Subject: [Alta-Logic] Peripatetic Seminar Message-ID: <84b6c6d3-4f14-70a1-d46c-2dae1f25d57d@cantab.net> Speaker: Matthew Burke Time and Location: 11:00 Wed 27 Jun in ICT 616 Title: Elements of the Theory of Quasi-categories Abstract: We outline some of the theory of quasi-categories that is required to set up the functor calculus. First we review the definition of left, right and inner factorisation systems and describe an alternative characterisation of these factorisation systems that makes certain computations more straightforward. Then we define quasi-categories and prove that the internal hom of quasi-categories is a quasi-category. In order to define a tangent bundle functor we first need to define the (large) quasi-category of quasi-categories and recall how the representable (infinity) functors are defined in this setting. If we have time we describe how to use this work to define the functor of excisive functors that conjecturally constitutes the tangent bundle functor. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180625/6094ddf2/attachment.html From matthew.burke at cantab.net Sat Jun 30 10:23:56 2018 From: matthew.burke at cantab.net (Matthew Burke) Date: Sat Jun 30 10:24:06 2018 Subject: [Alta-Logic] Peripatetic Seminar Message-ID: <15448244-35ca-3154-04da-16b67e646064@cantab.net> There will be two talks this week on Tuesday. Speaker: Ben MacAdam Time and Location: 12:00 Tuesday 03 Jul in ICT 616 Title: A Tangent Category of Fibrant Objects Abstract: We shall consider Getzler and Behrend?s construction of a category of fibrant objects from a descent category in the setting of tangent categories. This will generate a category of fibrant objects with a well defined tangent structure. A particularly important class of objects will be those equipped with an infinite family of higher order horizontal connections. Speaker: Matthew Burke Title: More Elements of the Theory of Quasi-categories http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180630/ec98bdc5/attachment.html From bauerk at ucalgary.ca Mon Aug 6 22:17:03 2018 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Mon Aug 6 22:17:22 2018 Subject: [Alta-Logic] Peripatetic Seminar August 8 @ 1pm Message-ID: Hello all, The seminar will meet this week, and I will give a talk on my work with Sarah Yeakel and Brenda Johnson. The room location is TBD, stay tuned. The title an abstract are as follows. Cheers, Kristine Title: Operad structures in abelian functor calculus Abstract: Abelian categories are a cartesian differential category, and the derivative corresponds to the same derivative which is used in functor calculus (a branch of homotopy theory). In 2011, Cockett and Seely showed that any Cartesian differential category has a higher-order chain rule for the derivative. B. Johnson, S. Yeakel and I have identified this higher order chain rule in the abelian functor calculus example. Furthermore, we have shown that a consequence of the higher-order chain rule is that higher order derivatives of a functor of R-modules form an operad (a monoid in the category of symmetric sequences). The existence of this operad was predicted by a similar result for functors of topological spaces (discovered by G. Arone and M. Ching). In the case of abelian calculus, we have identified this operad as a consequence of the existence of a (lax) functor from abelian categories to the category Faa(AbCat), as defined by Cockett and Seely. We see our result as a kind of translation between the homotopy theoretic and category theoretic results. In this talk, I will define the abelian functor calculus derivative, explain the higher order chain rule and produce the resulting operad. From bauerk at ucalgary.ca Tue Aug 7 14:08:49 2018 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Tue Aug 7 14:09:01 2018 Subject: [Alta-Logic] Tomorrow's seminar Message-ID: <712F2794-4109-4F6B-B8E0-E24B1B674AA0@ucalgary.ca> Hi all, The seminar tomorrow will be held in MS 427 at 1pm. My thanks to Ben for checking the availability of our usual room in ICT, which is booked. Cheers, Kristine From jdgall84 at gmail.com Mon Aug 13 15:15:06 2018 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Mon Aug 13 15:15:51 2018 Subject: [Alta-Logic] peripatetic graduate seminar Message-ID: Speaker: Jonathan Gallagher Date: August 16, 2018 Time: 3:00pm ? 4:00pm Location: ICT 618B Title: The differential lambda-calculus: syntax and semantics for differential geometry Abstract: This talk will introduce semantics for the differential lambda-calculus using tangent categories. We will show how to obtain models of the differential lambda-calculus that stem from differential geometry. We will also explore the coherence required for tangent categories to model the differential lambda-calculus from different points of view. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180813/c9203150/attachment.html From jdgall84 at gmail.com Mon Aug 20 17:20:22 2018 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Mon Aug 20 17:21:01 2018 Subject: [Alta-Logic] practice talk tomorrow 1pm Message-ID: I will be doing a practice of my thesis defense tomorrow in ICT616 at 1 pm. Come if you can. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180820/4c7cafde/attachment.html From matthew.burke1 at ucalgary.ca Tue Aug 28 09:03:52 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Tue Aug 28 09:03:55 2018 Subject: [Alta-Logic] Peripatetic Seminar Message-ID: <2BE17A6F-D539-411C-97E9-975937DA556F@ucalgary.ca> Speaker: Matthew Burke Time and Location: 15:00 Wed Aug 29 in ICT 616 Title: Linearisation of infinity categories Abstract: In a paper on the Goodwillie calculus Lurie defines a linearisation procedure that forms a map of infinity bi-categories. In this talk we show how this result transfers into the 2-categorical setting for quasi-categories developed by Riehl and Verity. If we have time we sketch how to express a tangent bundle pseudo-functor in terms of the linearisation pseudo-functor. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180828/22c6adab/attachment.html From matthew.burke1 at ucalgary.ca Tue Aug 28 15:22:40 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Tue Aug 28 15:22:42 2018 Subject: [Alta-Logic] REARRANGEMENT Peripatetic Seminar In-Reply-To: <2BE17A6F-D539-411C-97E9-975937DA556F@ucalgary.ca> References: <2BE17A6F-D539-411C-97E9-975937DA556F@ucalgary.ca> Message-ID: <430C5C4A-0375-4F4C-B63A-B9A409E300E5@ucalgary.ca> The seminar below will begin half an hour earlier in the same location. Therefore it will begin at 14:30 instead of 15:00. Thanks, Matthew On Aug 28, 2018, at 09:03, Matthew Burke > wrote: Speaker: Matthew Burke Time and Location: 15:00 Wed Aug 29 in ICT 616 Title: Linearisation of infinity categories Abstract: In a paper on the Goodwillie calculus Lurie defines a linearisation procedure that forms a map of infinity bi-categories. In this talk we show how this result transfers into the 2-categorical setting for quasi-categories developed by Riehl and Verity. If we have time we sketch how to express a tangent bundle pseudo-functor in terms of the linearisation pseudo-functor. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180828/1a17372e/attachment.html From rzach at ucalgary.ca Wed Sep 5 17:19:09 2018 From: rzach at ucalgary.ca (Richard Zach) Date: Wed Sep 5 17:19:20 2018 Subject: [Alta-Logic] Logic III course offered Fall 2018 Message-ID: <4b6e5698-2928-d026-86ee-a4d91f055c8d@ucalgary.ca> In case you or your students are interested, I'm teaching Logic III (Phil 479/679) on incompleteness and recursive functions TR 11-12:15 in Scurfield Hall 274. -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From matthew.burke1 at ucalgary.ca Fri Sep 7 14:54:24 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Fri Sep 7 14:54:26 2018 Subject: [Alta-Logic] Peripatetic Seminar Message-ID: <7E323E8E-7883-48DD-9B7F-7F41D175019A@ucalgary.ca> Speaker: Daniel Satanove Time and location: Monday, September 10, 2018 from 10:00 Title: A structural definition of symmetric multicategories Abstract: Symmetric multicategories are a basic structure in the categorical semantics of linear logic. One can define them elementarily, but already the coherence are difficult to track. The problem compounds when one tries to define functors and natural transformations to get a 2-category of symmetric multicategories, which is necessary for stating properly 2-categorical theorems like coherence. I will give a structural definition of symmetric multicategories based on profunctors which will provide the basic definition upon which the 2-category of symmetric multicategories can be built. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From matthew.burke1 at ucalgary.ca Sat Sep 8 10:08:01 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Sat Sep 8 10:08:03 2018 Subject: [Alta-Logic] Re: Peripatetic Seminar In-Reply-To: <7E323E8E-7883-48DD-9B7F-7F41D175019A@ucalgary.ca> References: <7E323E8E-7883-48DD-9B7F-7F41D175019A@ucalgary.ca> Message-ID: Just to clarify arrangements: this talk will take place in MS 337 which will be our regular room this term. > On Sep 7, 2018, at 14:54, Matthew Burke wrote: > > Speaker: Daniel Satanove > > Time and location: Monday, September 10, 2018 from 10:00 > > Title: A structural definition of symmetric multicategories > > Abstract: Symmetric multicategories are a basic structure in the categorical semantics of linear logic. One can define them elementarily, but already the coherence are difficult to track. The problem compounds when one tries to define functors and natural transformations to get a 2-category of symmetric multicategories, which is necessary for stating properly 2-categorical theorems like coherence. I will give a structural definition of symmetric multicategories based on profunctors which will provide the basic definition upon which the 2-category of symmetric multicategories can be built. > > http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ > > From benmacadam at gmail.com Tue Sep 11 11:34:41 2018 From: benmacadam at gmail.com (Ben MacAdam) Date: Tue Sep 11 11:34:47 2018 Subject: [Alta-Logic] Stacks Seminar Message-ID: We?re very pleased to kick off the Stacks Seminar with a talk from Geoff Vooys. Speaker: Geoff Vooys Time and Location: 12:00 Friday, September 14 in ICT 616 Title: Sites for Sore Eyes: An Introduction to Grothendieck Topologies and Sheaves Abstract: In this talk we will discuss how to do geometry in a category (and in particular a category with fibre products) by defining Grothendieck pretopologies, which allow one to describe what it means to cover an object in a category-theoretic context. From there we will show that Grothendieck pretopologies are ambiguous in the sense that two different pretopologies can give rise to the same sheaves; define Grothendieck topologies, which are unambiguous in the sheaf-theoretic sense; and then show how a Grothendieck pretopology gives rise to a Grothendieck topology. After this we will define sheaves on a Grothendieck topology, and sketch how if the Grothendieck topology comes from a pretopology, then the sheaf can be determined on the covers of the pretopology. Finally, we will discuss how to turn presheaves into sheaves through the Associated Sheaf Functor, and then show that sheaf categories are Cartesian Closed by the use of the Day Reflection Theorem. We will also have some explicit examples throughout to motivate things and to provide some intuition and context for the abstract nonsense which we discuss. From matthew.burke1 at ucalgary.ca Thu Sep 13 09:08:42 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Thu Sep 13 09:08:44 2018 Subject: [Alta-Logic] Peripatetic Seminar Message-ID: <580F169E-5AFB-403A-A921-236941C9AA4E@ucalgary.ca> Speaker: Jonathan Gallagher Date and time: Monday, September 17th, 2018 at 10:00 Location: MS 337 Title: Every CDC embeds into the coKleisli category of a monoidal differential category Abstract: The coKleisli category of a monoidal differential category is always a Cartesian differential category. However, it seems that not every CDC arises this way. In the category of smooth maps between finite dimensional real vector spaces, there does not appear to be a "bang" on the subcategory of linear maps, as the "bang" should give rise to an infinite dimensional space. However, the question of whether any CDC embeds into a coKleisli category of some monoidal differential category has been floating around for a while. This talk will address this question directly. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From benmacadam at gmail.com Thu Sep 20 11:09:15 2018 From: benmacadam at gmail.com (Ben MacAdam) Date: Thu Sep 20 11:09:21 2018 Subject: [Alta-Logic] Stacks Seminar Message-ID: Speaker: Geoff Vooys Time and Location: 12:00 Friday, September 21 in ICT 616 Title: Sites for Sore Eyes: An Introduction to Grothendieck Topologies and Sheaves (Part Deux) Abstract: In this talk we will discuss how to do geometry in a category (and in particular a category with fibre products) by defining Grothendieck pretopologies, which allow one to describe what it means to cover an object in a category-theoretic context. From there we will show that Grothendieck pretopologies are ambiguous in the sense that two different pretopologies can give rise to the same sheaves; define Grothendieck topologies, which are unambiguous in the sheaf-theoretic sense; and then show how a Grothendieck pretopology gives rise to a Grothendieck topology. After this we will define sheaves on a Grothendieck topology, and sketch how if the Grothendieck topology comes from a pretopology, then the sheaf can be determined on the covers of the pretopology. Finally, we will discuss how to turn presheaves into sheaves through the Associated Sheaf Functor, and then show that sheaf categories are Cartesian Closed by the use of the Day Reflection Theorem. We will also have some explicit examples throughout to motivate things and to provide some intuition and context for the abstract nonsense which we discuss. From bauerk at ucalgary.ca Fri Sep 21 14:13:42 2018 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Fri Sep 21 14:13:46 2018 Subject: [Alta-Logic] Fwd: RSVP Now - October 11 Diversity Dialogue Luncheon in Celebration of Ada Lovelace Day References: <1362163936.268594100.1537560016968.JavaMail.root@sjmas03.marketo.org> Message-ID: Dear AWM?ers and Peripatetic Seminar-ers, You may have already received this invitation from Dr. Steve Vamosi, but I wanted to forward it to you again to point it out. Eugenia Cheng is a renowned mathematician who specializes in Category Theory. She will be delivering the Richard & Louise Guy lecture on October 11. Dr. Vamosi has told me that he would be VERY HAPPY if this lunch has many students attending. Please consider it. And, you won?t be alone! I?m going and I?d love for you to join me! Cheers, Kristine Begin forwarded message: From: "Dr. Steve Vamosi, Associate Dean, Diversity, Equity and Inclusion, Faculty of Science" > Subject: RSVP Now - October 11 Diversity Dialogue Luncheon in Celebration of Ada Lovelace Day Date: September 21, 2018 at 2:00:16 PM MDT To: bauerk@ucalgary.ca Reply-To: > Message not displaying properly? Try the web version. [http://go.ucalgary.ca/rs/161-OLN-990/images/UCalgary-Logo-Horz-Color.png] [https://go.ucalgary.ca/rs/161-OLN-990/images/SCI-AdaLovelace-Marketo-Banner.jpg] Inclusion-exclusion in mathematics: who stays in, who falls out, why it happens, and what we should do about it. The Faculty of Science and the Schulich School of Engineering are pleased to welcome Dr. Eugenia Cheng as this year's speaker for the Diversity Dialogue Luncheon in celebration of Ada Lovelace Day. Join Dr. Cheng for an informal discussion about her experiences of being a female mathematician and teaching mathematics at all levels - from elementary school to grad school. The question why women are under-represented in mathematics is complex. There are no simple answers - only multiple contributing factors. Dr. Cheng argues that by focusing on character traits rather than gender, we can have more productive and less divisive conversations. To show this, Dr. Cheng will introduce gender-neutral character adjectives "ingressive" and "congressive" to replace masculine and feminine. "I will share my experience of teaching congressive abstract mathematics to art students, in a congressive way, and the possible effects this could have for everyone in mathematics, not just women." Seating is limited. Be sure to register early. Date: Thursday, October 11, 2018 Doors Open: 11:20 am Program: Noon - 1 pm Location: Senate Room, Hotel Alma (7th Floor) Lunch is provided. Kindly forward this invitation to students, faculty and staff who you feel would be interested in attending this event. Thank you. RSVP by Thursday, October 4, 2018 RSVP NOW! Unable to Attend? [https://go.ucalgary.ca/rs/161-OLN-990/images/SCI-E-Cheng-Headshot.jpg] About Dr. Eugenia Cheng Eugenia Cheng is a mathematician and concert pianist. She is Scientist In Residence at the School of the Art Institute of Chicago. She won tenure in Pure Mathematics at the University of Sheffield, UK, where she is now an Honorary Fellow. Alongside her research in Category Theory and undergraduate teaching, her aim is to rid the world of "math phobia." An early pioneer of math on YouTube, her videos have been viewed over 15 million times to date. In addition to teaching, she has authored a number of books, including How to Bake Pi, and is also a math columnist for the Wall Street Journal. Learn more about our speaker >> ABOUT ADA LOVELACE DAY Ada Lovelace is considered the first computer programmer, having published the first piece of computer code in 1843. Her contributions to computer science went unrecognized until the 1950's. Ada Lovelace Day (ALD) is an international celebration day of the achievements of women in science, technology, engineering and maths (STEM). It aims to increase the profile of women in STEM and, in doing so, create new role models who will encourage more girls into STEM careers and support women already working in STEM. [https://findingada.com/] ucalgary.ca/science This message was sent to bauerk@ucalgary.ca because you are listed as a student, faculty, staff, alumni, donor or partner of the University of Calgary. University of Calgary 2500 University Drive NW Calgary, AB T2N 1N4 CANADA ? University of Calgary 2017 Privacy Policy [facebook] [Twitter] [LinkedIn] [YouTube] [Instagram] -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20180921/75bb2950/attachment.html From matthew.burke1 at ucalgary.ca Fri Sep 21 16:07:21 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Fri Sep 21 16:07:23 2018 Subject: [Alta-Logic] Peripatetic Seminar Message-ID: Speaker: Matthew Burke Date and time: Monday, September 24th, 2018 at 10:00 Location: MS 337 Title: Introduction to univalence in Coq Abstract: This week we begin a sequence of talks on homotopy type theory (HoTT). In this first talk we introduce the elementary definitions and tactics that are required to get started with HoTT using the Coq proof assistant. We endeavour to introduce as little programming syntax as possible and develop the theory using only a very few syntactic constructs that have clear mathematical interpretations. The audience is encouraged to follow the development of the theory on their own computers so please bring a laptop if you want to do this! (You will need about 300mb of space to install the Coq proof assistant.) There will be short exercises that the audience can complete at their own pace which will not be vital to the theory but rather are intended to familiarise the audience with the proof assistant and tactics. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From benmacadam at gmail.com Fri Sep 28 10:34:07 2018 From: benmacadam at gmail.com (Ben MacAdam) Date: Fri Sep 28 10:34:12 2018 Subject: [Alta-Logic] Stacks seminar Message-ID: <733E736A-3137-45E6-96CD-0B98745EF6C4@gmail.com> Apologies for the las second announcement! Speaker: Geoff Vooys Time and Location: 12:00 Friday, September 28 in ICT 616 Title: Sites for Sore Eyes: An Introduction to Grothendieck Topologies and Sheaves (Part Three) Abstract: In this talk we will discuss how to do geometry in a category (and in particular a category with fibre products) by defining Grothendieck pretopologies, which allow one to describe what it means to cover an object in a category-theoretic context. From there we will show that Grothendieck pretopologies are ambiguous in the sense that two different pretopologies can give rise to the same sheaves; define Grothendieck topologies, which are unambiguous in the sheaf-theoretic sense; and then show how a Grothendieck pretopology gives rise to a Grothendieck topology. After this we will define sheaves on a Grothendieck topology, and sketch how if the Grothendieck topology comes from a pretopology, then the sheaf can be determined on the covers of the pretopology. Finally, we will discuss how to turn presheaves into sheaves through the Associated Sheaf Functor, and then show that sheaf categories are Cartesian Closed by the use of the Day Reflection Theorem. We will also have some explicit examples throughout to motivate things and to provide some intuition and context for the abstract nonsense which we discuss. From matthew.burke1 at ucalgary.ca Sat Sep 29 13:20:24 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Sat Sep 29 13:20:28 2018 Subject: [Alta-Logic] Peripatetic seminar Message-ID: Speaker: Matthew Burke Date and time: Monday, October 1st, 2018 at 10:00 Location: MS 337 Title: Introduction to univalence in Coq Abstract: This week we continue our sequence of talks on homotopy type theory (HoTT). We will introduce some more tactics and work towards the univalence axiom. The audience is encouraged to follow the development of the theory on their own computers so please bring a laptop if you want to do this! (You will need about 300mb of space to install the Coq proof assistant.) There will be short exercises that the audience can complete at their own pace which will not be vital to the theory but rather are intended to familiarise the audience with the proof assistant and tactics. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From benmacadam at gmail.com Wed Oct 3 22:35:54 2018 From: benmacadam at gmail.com (Ben MacAdam) Date: Wed Oct 3 22:36:02 2018 Subject: [Alta-Logic] Stacks Seminar Message-ID: <0E841718-BF2A-4D81-9E05-692BDA45B20F@gmail.com> Speaker: Ben MacAdam Time and Location: 12:00 Friday, October 5 in ICT 616 Title: The Dubuc Topos Abstract: In this talk we introduce synthetic differential geometry, a topos-theoretic approach to differential geometry. We use the sheaf theory developed in the previous seminars to construct the Dubuc topos, and show that the category of smooth manifolds has a well behaved embedding into the Dubuc topos. Possible adaptations of this theory to other topological rings will be discussed. -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20181003/0da0d128/attachment.html From matthew.burke1 at ucalgary.ca Fri Oct 12 15:36:52 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Fri Oct 12 15:36:55 2018 Subject: [Alta-Logic] Peripatetic seminar Message-ID: <619B4B3A-23FC-4C1A-BB12-E429EC95A089@ucalgary.ca> Speaker: Matthew Burke Date and time: Monday, October 15th, 2018 at 10:00 Location: MS337 Title: Introduction to univalence in Coq Abstract: This week we continue our sequence of talks on homotopy type theory (HoTT) for which we are approaching the denouement. First we define h-propositions and what it means to be a contractible type. Then we distinguish between a couple of different types of equivalence and show that a particular choice satisfies all the conditions for being an h-proposition. If we have time we will formulate the univalence axiom and make some straightforward deductions that illustrate its use. The audience is encouraged to follow the development of the theory on their own computers so please bring a laptop if you want to do this! (You will need about 300mb of space to install the Coq proof assistant.) There will be short exercises that the audience can complete at their own pace which will not be vital to the theory but rather are intended to familiarise the audience with the proof assistant and tactics. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From benmacadam at gmail.com Thu Oct 18 16:26:10 2018 From: benmacadam at gmail.com (Ben MacAdam) Date: Thu Oct 18 16:26:16 2018 Subject: [Alta-Logic] Stacks Seminar Message-ID: <205CC793-2272-49D8-AAA7-5FFBA0A1A8D9@gmail.com> Hi everyone, The stacks seminar will resume next week: Speaker: Jonathan Gallagher Time and Location: 12:00 Friday, October 26 in ICT 616 Title: Locally presentable categories, smooth sheaves, and smooth stacks Abstract: Locally finitely presentable categories provide a theoretical tool that we will reuse in various ways throughout this seminar series. First, they generalize categories of sheaves, as reflective subcategories of presheaf categories, but where the left adjoint need not be finitely continuous. These still carry a certain amount of "local" data with them, and can be useful for geometry in their own right. Second, they are categories of models of essentially algebraic theories. For example, Cat is locally presentable as it is the category of models of the theory of categories. We can then combine these two views, and talk about categories enriched in a locally presentable, monoidal closed category. In this case, we can take enriched presheaves into the base, and talk about enriched locally presentable categories and enriched categories of sheaves. If we do this for Cat-enrichment, we get stacks. In future seminars, we will build upon this viewpoint to additionally talk about smooth sheaves and smooth stacks in a way inspired by SDG and smooth toposes. From matthew.burke1 at ucalgary.ca Fri Oct 19 13:14:29 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Fri Oct 19 13:14:31 2018 Subject: [Alta-Logic] Peripatetic seminar Message-ID: <36C9548A-F9F9-47FE-986A-816F11E1AE1E@ucalgary.ca> Speaker: Matthew Burke Date and time: Monday, October 22nd, 2018 at 10:00 Location: MS 337 Title: Introduction to univalence in Coq Abstract: This week we conclude our sequence of talks on homotopy type theory (HoTT). We revisit the univalence axiom and use a simple example to illustrate its use. The audience is encouraged to follow the development of the theory on their own computers so please bring a laptop if you want to do this! (You will need about 300mb of space to install the Coq proof assistant.) There will be short exercises that the audience can complete at their own pace which will not be vital to the theory but rather are intended to familiarise the audience with the proof assistant and tactics. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From benmacadam at gmail.com Thu Oct 25 14:03:37 2018 From: benmacadam at gmail.com (Ben MacAdam) Date: Thu Oct 25 14:03:44 2018 Subject: [Alta-Logic] Stacks Seminar Message-ID: Hi everyone, The stacks seminar will be moving to math sciences (thank you to Geoff Vooys for setting that up). Speaker: Jonathan Gallagher Time and Location: 12:00 Friday, October 26 in MS 478 Title: Locally presentable categories, smooth sheaves, and smooth stacks Abstract: Locally finitely presentable categories provide a theoretical tool that we will reuse in various ways throughout this seminar series. First, they generalize categories of sheaves, as reflective subcategories of presheaf categories, but where the left adjoint need not be finitely continuous. These still carry a certain amount of "local" data with them, and can be useful for geometry in their own right. Second, they are categories of models of essentially algebraic theories. For example, Cat is locally presentable as it is the category of models of the theory of categories. We can then combine these two views, and talk about categories enriched in a locally presentable, monoidal closed category. In this case, we can take enriched presheaves into the base, and talk about enriched locally presentable categories and enriched categories of sheaves. If we do this for Cat-enrichment, we get stacks. In future seminars, we will build upon this viewpoint to additionally talk about smooth sheaves and smooth stacks in a way inspired by SDG and smooth toposes. From benmacadam at gmail.com Thu Nov 1 18:28:45 2018 From: benmacadam at gmail.com (Ben MacAdam) Date: Thu Nov 1 18:28:59 2018 Subject: [Alta-Logic] Stacks seminar Message-ID: <0B042E5B-C0AE-46BA-A17F-F7BE3289996C@gmail.com> Hi everyone, Jonathan will be continuing his series on locally presentable categories Speaker: Jonathan Gallagher Time and Location: 12:00 Friday, November 2 in ICT 616 Title: Locally presentable categories, smooth sheaves, and smooth stacks Abstract: Locally finitely presentable categories provide a theoretical tool that we will reuse in various ways throughout this seminar series. First, they generalize categories of sheaves, as reflective subcategories of presheaf categories, but where the left adjoint need not be finitely continuous. These still carry a certain amount of "local" data with them, and can be useful for geometry in their own right. Second, they are categories of models of essentially algebraic theories. For example, Cat is locally presentable as it is the category of models of the theory of categories. We can then combine these two views, and talk about categories enriched in a locally presentable, monoidal closed category. In this case, we can take enriched presheaves into the base, and talk about enriched locally presentable categories and enriched categories of sheaves. If we do this for Cat-enrichment, we get stacks. In future seminars, we will build upon this viewpoint to additionally talk about smooth sheaves and smooth stacks in a way inspired by SDG and smooth toposes. From jdgall84 at gmail.com Fri Nov 2 11:58:41 2018 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Fri Nov 2 11:59:23 2018 Subject: [Alta-Logic] seminar location Message-ID: Hi All! Sorry for the last minute notification. The seminar today is being held in MS 478. Sorry for the mixup. - Jonathan -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20181102/e57ef4c3/attachment.html From matthew.burke1 at ucalgary.ca Sat Nov 3 08:37:27 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Sat Nov 3 08:37:31 2018 Subject: [Alta-Logic] Peripatetic seminar Message-ID: Speaker: Daniel Satanove Date and time: Monday, November 5th, 2018 at 10:00 Location: MS 337 Title: Interpretations of algebraic theories, and the adjunctions they induce Abstract: Many cases of free/forgetful adjunctions are special cases of a more general theorem: any interpretation of algebraic theories induces an adjunction on their categories of models. Free monoid, free groups, free modules, tensor algebras, and polynomial rings are all instances of this. In my talk I will prove this theorem. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From jdgall84 at gmail.com Thu Nov 8 13:52:51 2018 From: jdgall84 at gmail.com (Jonathan Gallagher) Date: Thu Nov 8 13:53:32 2018 Subject: [Alta-Logic] Stack seminar, update Message-ID: Dear all, The Stack seminar tomorrow has been postponed due to popular request. One of our participants, Berndt Brenken is hosting a guest who is speaking tomorrow! https://math.ucalgary.ca/event/2018-11-09/pims-postdoctoral-fellowship-seminar-orbit-equivalance-superrigidity Next week is reading week. In 2 weeks we'll be back with an exciting return to our investigations in enriching sheaves into locally presentable categories. Sincerely, Jonathan -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20181108/29c29c4e/attachment.html From matthew.burke1 at ucalgary.ca Wed Nov 14 18:14:03 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Wed Nov 14 18:14:06 2018 Subject: [Alta-Logic] Peripatetic seminar Message-ID: <9433E076-BA50-49EA-8362-9EB0A8453D51@ucalgary.ca> Speaker: Daniel Satanove Date and time: Monday, November 19th, 2018 at 10:00 Location: MS 337 Title: Interpretations of algebraic theories, and the adjunctions they induce: Part II Abstract: Many cases of free/forgetful adjunctions are special cases of a more general theorem: any interpretation of algebraic theories induces an adjunction on their categories of models. Free monoid, free groups, free modules, tensor algebras, and polynomial rings are all instances of this. In my talk I will prove this theorem. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From rzach at ucalgary.ca Fri Nov 16 12:37:19 2018 From: rzach at ucalgary.ca (Richard Zach) Date: Fri Nov 16 12:37:23 2018 Subject: [Alta-Logic] Dec 5: Math & Philosophy Lecture: Paolo Mancosu, UC Berkeley Message-ID: <2329c9ec-926e-91ed-e081-78c3ed59057a@ucalgary.ca> Please register at netcommunity.ucalgary.ca/math-phil2018 Paradoxes of the Infinite: Classic Themes and Recent Results Paolo Mancosu University of California, Berkeley Wednesday, December 5, 2018, 3:30 pm ST 148 In this talk, I will give a survey of recent work I have done?some published, some unpublished?on the historical, mathematical, and philosophical problems related to the assignment of "sizes" to infinite sets. I will focus in particular on infinite sets of natural numbers. The historical part of the presentation will take its start from Greek and Arabic contributions to the possibility of measuring infinite sets according to size and sketch some developments spanning the period between Galileo and Cantor. In the systematic part of the talk, I will discuss recent theories of numerosities that preserve the part-whole principle in the assignment of sizes to infinite sets of natural numbers and show how the historical and mathematical considerations yield benefits in the philosophy of mathematics. In particular, I will discuss (1) an argument by G?del claiming that in extending counting from the finite to the infinite, the Cantorian solution is inevitable; and (2) consequences for neo-logicism. Please register at netcommunity.ucalgary.ca/math-phil2018 Paolo Mancosu is Willis S. and Marion Slusser Professor of Philosophy at the University of California, Berkeley. He has made significant contributions to the history and philosophy of mathematics and logic, especially the philosophy of mathematical practice, mathematical explanation, the history of 20th century logic, and neo-logicism. His most recent book, Abstraction and Infinity (Oxford Unversity Press, 2017), concerns the use of abstraction principles in the philosophy of mathematics. He previous books include Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century (Oxford University Press, 1996), From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s (Oxford University Press, 1998), The Philosophy of Mathematical Practice (Oxford University Press, 2008), The Adventure of Reason. Interplay between Philosophy of Mathematics and Mathematical Logic: 1900?1940 (Oxford University Press, 2010), and Inside the Zhivago Storm. The Editorial Adventures of Pasternak?s Masterpiece (Feltrinelli, 2013). This talk is the fifth annual Calgary Mathematics & Philosophy Lecture, co-sponsored by PIMS, the Pacific Institute for the Mathematical Sciences, and Department of Philosophy and the Department of Mathematics. 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. -- Richard Zach ..... http://www.ucalgary.ca/~rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: http://mailman.ucalgary.ca/pipermail/alta-logic-l/attachments/20181116/71b6f266/attachment.html From benmacadam at gmail.com Thu Nov 22 14:41:16 2018 From: benmacadam at gmail.com (Ben MacAdam) Date: Thu Nov 22 14:41:23 2018 Subject: [Alta-Logic] Stacks Seminar Message-ID: <91B10BF1-1A50-4702-8405-36A08C6227B5@gmail.com> Hi everyone, The stacks seminar will resume this week: Speaker: Jonathan Gallagher Time and Location: 12:00 Friday, November 23 in Math Sciences 478 Title: Locally presentable categories, smooth sheaves, and smooth stacks Abstract: Locally finitely presentable categories provide a theoretical tool that we will reuse in various ways throughout this seminar series. First, they generalize categories of sheaves, as reflective subcategories of presheaf categories, but where the left adjoint need not be finitely continuous. These still carry a certain amount of "local" data with them, and can be useful for geometry in their own right. Second, they are categories of models of essentially algebraic theories. For example, Cat is locally presentable as it is the category of models of the theory of categories. We can then combine these two views, and talk about categories enriched in a locally presentable, monoidal closed category. In this case, we can take enriched presheaves into the base, and talk about enriched locally presentable categories and enriched categories of sheaves. If we do this for Cat-enrichment, we get stacks. In future seminars, we will build upon this viewpoint to additionally talk about smooth sheaves and smooth stacks in a way inspired by SDG and smooth toposes. From bauerk at ucalgary.ca Sun Nov 25 22:10:59 2018 From: bauerk at ucalgary.ca (Kristine Bauer) Date: Sun Nov 25 22:11:02 2018 Subject: [Alta-Logic] Tomorrow's seminar Message-ID: <571A787D-6EBA-4971-AE25-73046A8666D5@ucalgary.ca> My apologies to everyone for this late announcement. As I mentioned in last week?s seminar, I plan to give the seminar tomorrow. However, I completely forgot to send you the title and abstract. Here they are. I hope to see you at 10am tomorrow in MS 337. Title: The free Lie algebras in Tebbe?s calculation of the derivatives of atomic functors Abstract: A discrete module is a functor from finite pointed sets to chain complexes of R-modules. There are two ways to do functor calculus for discrete modules. The first is to find the Taylor tower in a way analogous to the Taylor series of functions of a real variable. A second approach is to something more akin to Lagrangian approximation. For functions of a real variable, f, the n-th Lagrangian approximation is the degree n polynomial function which agrees with f on n+1 point. In the case of a discrete module, F, one uses a left Kan extension to produce the best Lagrangian approximation to F. The quotient of successive Lagrangian polynomial functors are called atomic functors. In her PhD thesis, Amelia Tebbe showed that the n-th derivatives of atomic functors, in the sense of Goodwillie calculus, involve products of free Lie algebras and simple cross effects. The goal of this talk is to present this calculation, and to ask the audience if this looks familiar. From benmacadam at gmail.com Fri Nov 30 10:48:23 2018 From: benmacadam at gmail.com (Ben MacAdam) Date: Fri Nov 30 10:48:30 2018 Subject: [Alta-Logic] Stacks Seminar Message-ID: <86F703A6-492F-4EA0-B017-B0DD27B91B3B@gmail.com> Hi everyone, Jonathan will be continuing his series on locally presentable categories Speaker: Jonathan Gallagher Time and Location: 12:00 Friday, November 30, Math Sciences 478 Title: Locally presentable categories, smooth sheaves, and smooth stacks Abstract: Locally finitely presentable categories provide a theoretical tool that we will reuse in various ways throughout this seminar series. First, they generalize categories of sheaves, as reflective subcategories of presheaf categories, but where the left adjoint need not be finitely continuous. These still carry a certain amount of "local" data with them, and can be useful for geometry in their own right. Second, they are categories of models of essentially algebraic theories. For example, Cat is locally presentable as it is the category of models of the theory of categories. We can then combine these two views, and talk about categories enriched in a locally presentable, monoidal closed category. In this case, we can take enriched presheaves into the base, and talk about enriched locally presentable categories and enriched categories of sheaves. If we do this for Cat-enrichment, we get stacks. In future seminars, we will build upon this viewpoint to additionally talk about smooth sheaves and smooth stacks in a way inspired by SDG and smooth toposes. From matthew.burke1 at ucalgary.ca Sun Dec 2 11:44:42 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Sun Dec 2 11:44:46 2018 Subject: [Alta-Logic] Peripatetic seminar Message-ID: <2836FDBB-6B8A-451A-9303-5F92A67EA4DD@ucalgary.ca> Speaker: Matthew Burke Date and time: Monday, December 3rd, 2018 at 10:00 Location: MS 337 Title: Two dimensional Lie theory Abstract: This week I present an outline of a joint project with Ben MacAdam. The main aim is to generalise the theory of Lie groupoids and Lie algebroids by using 2-cubical sets. One advantage of this approach is that it avoids a certain quotient that is required in the classical theory and is therefore more amenable to generalisation in terms of tangent categories. An additional advantage of this approach is that when the tangent category is assumed representable the appropriate modification of the Lie approximation functor becomes representable also. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/ From rzach at ucalgary.ca Mon Dec 3 10:08:50 2018 From: rzach at ucalgary.ca (Richard Zach) Date: Mon Dec 3 10:08:52 2018 Subject: [Alta-Logic] Dinner with Paolo Mancosu Message-ID: Hi, Paolo Mancosu (Berkeley) will be giving us two talks this week (see https://phil.ucalgary.ca/events) (The Wednesday lecture asks for a registration, but please just show up if you haven't registered. There is plenty of room.) If you'd like to join us for dinner on Wednesday or Friday, please let me know (by tomorrow for Wednesday dinner; Thursday for Friday dinner). -R -- Richard Zach ...... http://www.ucalgary.ca/rzach/ Professor, Department of Philosophy University of Calgary, Calgary AB T2N 1N4, Canada From benmacadam at gmail.com Thu Dec 6 19:03:51 2018 From: benmacadam at gmail.com (Ben MacAdam) Date: Thu Dec 6 19:04:06 2018 Subject: [Alta-Logic] Stacks Seminar Message-ID: <7A0DBA81-097A-4E33-A347-485626853F79@gmail.com> Hi everyone, The stacks seminar will continue tomorrow. Title: Weighted (co)Limits Speaker: Ben MacAdam Date and Location: December 6, 12:00 PM at MS478 Abstract: We?ll introduce weighted limits and colimits and explain their importance. From matthew.burke1 at ucalgary.ca Fri Dec 14 14:06:19 2018 From: matthew.burke1 at ucalgary.ca (Matthew Burke) Date: Fri Dec 14 14:06:23 2018 Subject: [Alta-Logic] Peripatetic seminar Message-ID: <6F6CD92D-0BF9-4A8D-98B4-51A6AA5BB3B2@ucalgary.ca> Speaker: Ben MacAdam Date and time: Monday, December 17th, 2018 at 10:00 Location: MS 337 Title: Additive Bundles and their Connection Theory Abstract: In this talk we consider the generalization of connection theory from the second tangent bundle of a smooth manifold to double additive bundles in an arbitrary category. We then extend this generalization to higher ordered connections on n-fold additive bundles. http://peripatetic-seminar.cpsc.ucalgary.ca/wp/