* Fall lineup of speakers --- New York City Category Theory Seminar
@ 2022-08-18 15:48 Noson
0 siblings, 0 replies; only message in thread
From: Noson @ 2022-08-18 15:48 UTC (permalink / raw)
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
THIS SEMESTER, SOME TALKS WILL BE IN-PERSON AND SOME WILL BE ON ZOOM.
Time: Wednesdays 07:00 PM Eastern Time (US and Canada)
365 Fifth Avenue (at 34th Street) map
(Diagonally across from the Empire State Building)
New York, NY 10016-4309
Meeting ID: 822 7112 2572
Seminar web page.
Contact N. Yanofsky <mailto:firstname.lastname@example.org> to schedule a
or to add a name to the seminar mailing list.
* 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.
* Speaker: Prakash Panangaden, McGill University.
* Date and Time: Wednesday September 14, 2022, 7:00 - 8:30 PM.
* Title: Quantitative Equational Logic.
* Speaker: James Torre
* Date and Time: Wednesday September 28, 2022, 7:00 - 8:30 PM.
* Title: Diagonalization, and the Limits of Limitative Theorems.
* 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.
* 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.
* 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.
* Speaker: Gemma De las Cuevas, , University of Innsbruck.
* Date and Time: Wednesday November 30, 2022, 7:00 - 8:30 PM.
* Title: TBA.
* 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.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-08-18 15:48 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-08-18 15:48 Fall lineup of speakers --- New York City Category Theory Seminar Noson
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox