From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9780 Path: news.gmane.org!.POSTED!not-for-mail From: Noson Yanofsky Newsgroups: gmane.science.mathematics.categories Subject: Videos of the New York City Category Theory Seminar Date: Sat, 22 Dec 2018 21:51:09 -0500 Message-ID: Reply-To: Noson Yanofsky NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1545580865 19046 195.159.176.226 (23 Dec 2018 16:01:05 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 23 Dec 2018 16:01:05 +0000 (UTC) To: Original-X-From: majordomo@mlist.mta.ca Sun Dec 23 17:01:01 2018 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1gb6BY-0004pG-8z for gsmc-categories@m.gmane.org; Sun, 23 Dec 2018 17:01:00 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:35820) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1gb6DR-0002hi-FF; Sun, 23 Dec 2018 12:02:57 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1gb6CY-0001By-7c for categories-list@mlist.mta.ca; Sun, 23 Dec 2018 12:02:02 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9780 Archived-At: Dear All, This semester we videoed five talks and placed them on YouTube. https://www.youtube.com/channel/UCNOfhimbNwZwJO2ltv1AZOw/videos _____ =B7 Speaker: Andr=E9 Joyal, Universit=E9 du Qu=E9bec =E0 Montr=E9al =B7 Title: Homotopy type theory: a new bridge between logic, category theory and topology. =B7 Slides of the talk. _____ =B7 Speaker: Ieke Moerdijk, University of Utrecht. =B7 Title: The topos of dendroidal sets. _____ =B7 Speaker: John Connor, The Graduate Center, CUNY. =B7 Title: Intuitionistic Epistemic Logic and Propositional Truncation = in the Type Theory. _____ =B7 Speaker: Micah Miller, Borough of Manhattan Community College, CUN= Y. =B7 Title: Primer on Homotopy Limits. _____ =B7 Speaker: Alex Martsinkovsky, Northeastern University. =B7 Title: Stabilization of additive functors. =B7 Slides of the talk. _____ Happy Holidays to all! All the best, Noson Yanofsky [For admin and other information see: http://www.mta.ca/~cat-dist/ ]