From: <Noson@sci.brooklyn.cuny.edu>
To: <categories@mta.ca>
Subject: Fall lineup of speakers --- New York City Category Theory Seminar
Date: Thu, 18 Aug 2022 11:48:17 -0400 [thread overview]
Message-ID: <E1oPX1f-00039x-CT@rr.mta.ca> (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
<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/ ]
reply other threads:[~2022-08-18 15:48 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1oPX1f-00039x-CT@rr.mta.ca \
--to=noson@sci.brooklyn.cuny.edu \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).