The New York City Category Theory Seminar Department of Computer Science <http://cs.gc.cuny.edu> Department of Mathematics <http://math.gc.cuny.edu/> The Graduate Center of The City University of New York <http://www.gc.cuny.edu/> THIS SEMESTER, SOME TALKS WILL BE IN-PERSON AND SOME WILL BE ON ZOOM. Time: Wednesdays 07:00 PM Eastern Time (US and Canada) IN-PERSON INFORMATION: 365 Fifth Avenue (at 34th Street) map <http://maps.google.com/maps?sourceid=navclient&ie=UTF-8&rlz=1T4GFRC_enUS206 US206&q=365+Fifth+Avenue,+ny&um=1&sa=X&oi=geocode_result&resnum=1&ct=title> (Diagonally across from the Empire State Building) New York, NY 10016-4309 Room 6417 ZOOM INFORMATION: https://us02web.zoom.us/j/82271122572?pwd=NFRhYmswWEdGaWFiazNBSUFiQVJnUT09 Meeting ID: 822 7112 2572 Passcode: NYCCTS Seminar web page. <http://www.sci.brooklyn.cuny.edu/~noson/Seminar/index.html> Videoed talks. <https://www.youtube.com/channel/UCNOfhimbNwZwJO2ltv1AZOw/videos> Previous semesters. <http://www.sci.brooklyn.cuny.edu/~noson/Seminar/Previous%20Semesters.html> researchseminars.org page. <https://researchseminars.org/seminar/Category_Theory> Contact N. Yanofsky <mailto:noson@sci.brooklyn.cuny.edu> to schedule a speaker or to add a name to the seminar mailing list. _____ _____ Fall 2022 _____ _____ * Speaker: Sergei Burkin, University of Tokyo. * Date and Time: Wednesday September 7, 2022, 7:00 - 8:30 PM. * Title: Segal conditions and twisted arrow categories of operads. * Abstract: _____ * Speaker: Prakash Panangaden, McGill University. * Date and Time: Wednesday September 14, 2022, 7:00 - 8:30 PM. * Title: Quantitative Equational Logic. * Abstract: _____ * Speaker: James Torre * Date and Time: Wednesday September 28, 2022, 7:00 - 8:30 PM. * Title: Diagonalization, and the Limits of Limitative Theorems. * Abstract: _____ * Speaker: David Ellerman, University of Ljubljana. * Date and Time: Wednesday October 19, 2022, 7:00 - 8:30 PM. * Title: To Interpret Quantum Mechanics:``Follow the Math'': The math of QM as the linearization of the math of partitions. * Abstract: Set partitions are dual to subsets, so there is a logic of partitions dual to the Boolean logic of subsets. Partitions are the mathematical tool to describe definiteness and indefiniteness, distinctions and distinctions, as well as distinguishability and indistinguishability. There is a semi-algorithmic process or ``Yoga'' of linearization to transform the concepts of partition math into the corresponding vector space concepts. Then it is seen that those vector space concepts, particularly in Hilbert spaces, are the mathematical framework of quantum mechanics. (QM). This shows that those concepts, e.g., distinguishability versus indistinguishability, are the central organizing concepts in QM to describe an underlying reality of objective indefiniteness--as opposed to the classical physics and common sense view of reality as ``definite all the way down'' This approach thus supports what Abner Shimony called the ``Literal Interpretation'' of QM which interprets the formalism literally as describing objective indefiniteness and objective probabilities--as well as being complete in contrast to the other realistic interpretations such as the Bohmian, spontaneous localization, and many world interpretations which embody other variables, other equations, or other worldly ideas. The underlying paper is forthcoming in the Foundations of Physics, and the preprint is in the ArXiv here <https://arxiv.org/abs/2208.00384> . _____ * Speaker: TBA, TBA. * Date and Time: Wednesday October 26, 2022, 7:00 - 8:30 PM. * Title: TBA. * Abstract: _____ * Speaker: Astra Kolomatskaia, Stony Brook. * Date and Time: Wednesday November 2, 2022, 7:00 - 8:30 PM. * Title: The Objective Metatheory of Simply Typed Lambda Calculus. * Abstract: _____ * Speaker: Andrei Rodin, University of Lorraine (Nancy, France). * Date and Time: Wednesday November 9, 2022, 7:00 - 8:30 PM. * Title: Kolmogorov's Calculus of Problems and Homotopy Type theory. * Abstract: A. N. Kolmogorov in 1932 proposed an original version of mathematical intuitionism where the concept of problem plays a central role, and which differs in its content from the versions of intuitionism developed by A. Heyting and other followers of L. Brouwer. The popular BHK-semantics of Intuitionistic logic follows Heyting's line and conceals the original features of Kolmogorov's logical ideas. Homotopy Type theory (HoTT) implies a formal distinction between sentences and higher-order constructions and thus provides a mathematical argument in favour of Kolmogorov's approach and against Heyting's approach. At the same time HoTT does not support the constructive notion of negation applicable to general problems, which is informally discussed by Kolmogorov in the same context. Formalisation of Kolmogorov-style constructive negation remains an interesting open problem. _____ * Speaker: Saeed Salehi, University of Tabriz. * Date and Time: Wednesday November 23, 2022, TIME TBA. * Title: TBA. * Abstract: _____ * Speaker: Gemma De las Cuevas, , University of Innsbruck. * Date and Time: Wednesday November 30, 2022, 7:00 - 8:30 PM. * Title: TBA. * Abstract: _____ * Speaker: Robert Pare, Dalhousie University. * Date and Time: Wednesday December 7, 2022, 7:00 - 8:30 PM. * Title: The horizontal/vertical synergy of double categories. * Abstract: _____ _____ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]