From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: * X-Spam-Status: No, score=1.5 required=5.0 tests=DATE_IN_PAST_12_24, LOCALPART_IN_SUBJECT,RCVD_IN_MSPIKE_H2 autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 32111 invoked from network); 26 Jan 2023 19:50:22 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 26 Jan 2023 19:50:22 -0000 Received: from rr.mta.ca ([198.164.44.159]:40080) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1pL8GB-0004nm-Aa; Thu, 26 Jan 2023 15:50:11 -0400 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1pL8Ev-0005Bw-Cs for categories-list@rr.mta.ca; Thu, 26 Jan 2023 15:48:53 -0400 From: To: Subject: categories: The New York City Category Theory Seminar --- Spring 2023 Lineup of speakers. Date: Wed, 25 Jan 2023 19:37:39 -0500 MIME-Version: 1.0 Content-Language: en-us Content-Type: text/plain; charset="windows-1257" Content-Transfer-Encoding: quoted-printable Precedence: bulk Reply-To: Message-Id: The New York City Category Theory Seminar This semester there is a special three-part lecture series on TQFT and Computation. These lectures take place on February=20 8, 15 and 22 in The Graduate Center. See below.=20 =20 Department of Computer Science =20 Department of Mathematics =20 The Graduate Center of The City University of New York =20 THIS SEMESTER, SOME TALKS WILL BE IN-PERSON AND SOME WILL BE ON ZOOM.=20 Time: Wednesdays 07:00 PM Eastern Time (US and Canada)=20 IN-PERSON INFORMATION:=20 365 Fifth Avenue (at 34th Street) map (Diagonally across from the Empire State Building)=20 New York, NY 10016-4309=20 Room 5417 (not the usual Room 6417)=20 The videos of the lectures will be put up on YouTube a few hours after = the lecture.=20 ZOOM INFORMATION:=20 https://brooklyn-cuny-edu.zoom.us/j/89472980386?pwd=3DZ3g3Q3h3V1dQUmg2ZlV= GU1Rw SEhMZz09=20 Meeting ID: 894 7298 0386=20 Passcode: NYCCTS=20 Seminar web page. =20 Videoed talks. =20 Previous semesters. researchseminars.org page. =20 Contact N. Yanofsky to schedule a speaker=20 or to add a name to the seminar mailing list.=20 _____ =20 _____ =20 Spring 2023=20 _____ =20 _____ =20 * Speaker: Igor Bakovi=E3, University of Osijek, Croatia.=20 * Date and Time: Wednesday February 1, 2023, 7:00 - 8:30 PM. IN = PERSON TALK.=20 * Title: Enhanced 2-adjunctions.=20 * Abstract: Whenever one has a class of objects possessing certain structure and a hierarchy of morphisms that preserve structure more or = less tightly, we are in an enhanced context. Enhanced 2-categories were introduced by Lack and Shulman in 2012 with a paradigmatic example of an enhanced 2-category T-alg of strict algebras for a 2-monad and whose = tight and loose 1-cells are pseudo- and lax morphisms of algebras, = respectively. They can be defined in two equivalent ways: either as 2-functors, which = are the identity on objects, faithful, and locally fully faithful, or as categories enriched over the cartesian closed category F, whose objects = are functors that are fully faithful and injective on objects. Lack and = Shulman called objects of F full embeddings, but we will call them "enhanced categories" because they are nothing else but categories with a distinguished class of objects, which we call tight.The 2-category F has = a much richer structure besides being cartesian closed; there are = additional closed (but not monoidal) structures, and we show how 2-categories with = a right ideal of 1-cells as in 2-categories with Yoneda structure on them = can be presented as categories enriched in F in the sense of Eilenberg and Kelly. Since Lack and Shulman were mainly motivated by limits in = enhanced 2-categories, they didn't further develop the theory of enhanced (co)lax functors and their enhanced lax adjunctions. The purpose of this talk is = to lay the foundations of the theory of enhanced 2-adjunctions and give = their examples throughout mathematics and theoretical computer science.=20 _____ =20 =20 * Special Topic: TQFT and Computation, First Lecture.=20 * Speaker: Mikhail Khovanov, Columbia University.=20 * Date and Time: Wednesday February 8, 2023, 7:00 - 8:30 PM. IN = PERSON TALK.=20 * Title: Universal construction and its applications.=20 * Abstract: Universal construction starts with an evaluation of closed n-manifolds and builds a topological theory (a lax TQFT) for = n-cobordisms. A version of it has been used for years as an intermediate step in constructing link homology theories, by evaluating foams embedded in 3-space. More recently, universal construction in low dimensions has = been used to find interesting structures related to Deligne categories, = formal languages and automata. In the talk we will describe the universal construction and review these developments.=20 _____ =20 =20 * Special Topic: TQFT and Computation, Second Lecture.=20 * Speaker: Mee Seong Im, United States Naval Academy, Annapolis.=20 * Date and Time: Wednesday February 15, 2023, 7:00 - 8:30 PM. IN = PERSON TALK.=20 * Title: Automata and topological theories.=20 * Abstract: Theory of regular languages and finite state automata is = part of the foundations of computer science. Topological quantum field = theories (TQFT) are a key structure in modern mathematical physics. We will = interpret a nondeterministic automaton as a Boolean-valued one-dimensional TQFT = with defects labelled by letters of the alphabet for the automaton. We will = also describe how a pair of a regular language and a circular regular = language gives rise to a lax one-dimensional TQFT.=20 _____ =20 =20 * Special Topic: TQFT and Computation, Third Lecture.=20 * Speaker: Joshua Sussan, CUNY.=20 * Date and Time: Wednesday February 22, 2023, 7:00 - 8:30 PM. IN = PERSON TALK.=20 * Title: Non-semisimple Hermitian TQFTs.=20 * Abstract: Topological quantum field theories coming from semisimple categories build upon interesting structures in representation theory = and have important applications in low dimensional topology and physics. The construction of non-semisimple TQFTs is more recent and they shed new = light on questions that seem to be inaccessible using their semisimple = relatives. In order to have potential applications to physics, these non-semisimple categories and TQFTs should possess Hermitian structures. We will define these structures and give some applications.=20 _____ =20 =20 * Speaker: Jens Hemelaer, University of Antwerp.=20 * Date and Time: Wednesday March 15, 2023, 7:00 - 8:30 PM. IN = PERSON TALK.=20 * Title: EILC toposes.=20 * Abstract: In topos theory, local connectedness of a geometric = morphism is a very geometric property, in the sense that it is stable under base = change, can be checked locally, and so on. In some situations however, the = weaker property of being essential is easier to verify. In this talk, we will discuss EILC toposes: toposes E such that any essential geometric = morphism with codomain E is automatically locally connected. It turns out that = many toposes of interest are EILC, including toposes of sheaves on Hausdorff spaces and classifying toposes of compact groups.=20 _____ =20 =20 * Speaker: Jim Otto.=20 * Date and Time: Wednesday March 29, 2023, 7:00 - 8:30 PM. IN = PERSON TALK=20 * Title: P Time, A Bounded Numeric Arrow Category, and Entailments. = * Abstract:We revisit the characterization of the P Time functions from = our McGill thesis.=20 1. We build on work of L. Roman (89) on primitive recursion and of A. = Cobham (65) and Bellantoni-Cook(92) on P Time.=20 2. We use base 2 numbers with the digits 1 & 2. Let N be the set of = these numbers. We split the tapes of a multi-tape Turing machine each into 2 stacks of digits 1 & 2. These are (modulo allowing an odd numberof = stacks) the multi-stack machines we use to study P Time.=20 3. Let Num be the category with objects the finite products of N and = arrows the functions between these. From its arrow category Num^2 we abstract = the doctrine (here a category of small categories with chosen structure) = PTime of categories with with finite products, base 2 numbers, = 2-comprehensions, flat recursion, & safe recursion. Since PTime is a locally finitely presentable category, it has an initial category I. Our characterization = is that the bottom of the image of I in Num^2 consists of the P Time = functions. 4. We can use I (thinking of its arrows as programs) to run multi-stack machines long enough to get P Time.This is the completeness of the characterization.=20 5. We cut down the numeric arrow category Num^2, using Bellantoni-Cook growth & time bounds on the functions, to get a bounded numeric arrow category B. B is in the doctrine PTime. This yields the soundness of the characterization.=20 6. For example, the doctrine of toposes with base 1 numbers, choice, & precisely 2 truth values (which captures much of ZC set theory) likely = lacks an initial category, much as there is an initial ring, but no initial = field. 7. On the other hand, the L. Roman doctrine PR of categories with finite products, base 1 numbers, & recursion (that is, product stable natural numbers objects) does have an initial category as it consists of the = strong models of a finite set of entailments. And is thus locally finitely presentable. We sketch the signature graph for these entailments. And = some of these entailments. Similarly (but with more complexity) there are entaiments for the doctrine PTime.=20 _____ =20 =20 * Speaker: Walter Tholen, York University.=20 * Date and Time: Wednesday April 19, 2023, 7:00 - 8:30 PM. ZOOM = TALK.=20 * Title: What does =93smallness=94 mean in categories of = topological spaces?=20 * Abstract: Quillen=92s notion of small object and the Gabriel-Ulmer = notion of finitely presentable or generated object are fundamental in homotopy theory and categorical algebra. Do these notions always lead to rather uninteresting classes of objects in categories of topological spaces, = such as the class of finite discrete spaces, or just the empty space , as the examples and remarks in the existing literature may suggest?=20 In this talk we will demonstrate that the establishment of full characterizations of these notions (and some natural variations thereof) = in many familiar categories of spaces, such as those of T_i-spaces (i=3D 0, = 1, 2), can be quite challenging and may lead to unexpected surprises. In = fact, we will show that there are significant differences in this regard even amongst the categories defined by the standard separation conditions, = with the T1-separation condition standing out. The findings about these = specific categories lead us to insights also when considering rather arbitrary = full reflective subcategories of Top.=20 (Based on joint work with J. Adamek, M. Husek, and J. Rosicky.)=20 _____ =20 =20 * Speaker: Dusko Pavlovic, University of Hawai=91i at M=E2noa.=20 * Date and Time: Wednesday April 26, 2023, 7:00 - 8:30 PM. ZOOM = TALK.=20 * Title: Program-closed categories.=20 * Abstract: > Let CC be a symmetric monoidal category with a comonoid = on every object. Let CC* be the cartesian subcategory with the same objects = and just the comonoid homomorphisms. A *programming language* is a = well-ordered object P with a *program closure*: a family of X-natural surjections=20 CC(XA,B) <<--run_X-- CC*(X,P)=20 one for every pair A,B. In this talk, I will sketch a proof that program closure is a property: Any two programming languages are isomorphic = along run-preserving morphisms. The result counters Kleene's interpretation of = the Church-Turing Thesis, which has been formalized categorically as the suggestion that computability is a structure, like a group presentation, = and not a property, like completeness. We prove that it is like = completeness. The draft of a book on categorical computability is available from the = web site dusko.org.=20 _____ =20 =20 * Speaker: Gemma De las Cuevas, University of Innsbruck.=20 * Date and Time: Wednesday May 3, 2023, 7:00 - 8:30 PM. ZOOM TALK.=20 * Title: A framework for universality across disciplines.=20 * Abstract: What is the scope of universality across disciplines? And = what is its relation to undecidability? To address these questions, we build = a categorical framework for universality. Its instances include Turing machines, spin models, and others. We introduce a hierarchy of = universality and argue that it distinguishes universal Turing machines as a = non-trivial form of universality. We also outline the relation to undecidability by drawing a connection to Lawvere=92s Fixed Point Theorem. Joint work with Sebastian Stengele, Tobias Reinhart and Tomas Gonda.=20 _____ =20 =20 * Speaker: Arthur Parzygnat, Nagoya University.=20 * Date and Time: Wednesday May 17, 2023, 7:00 - 8:30 PM. IN PERSON TALK.=20 * Title: Inferring the past and using category theory to define retrodiction.=20 * Abstract: Classical retrodiction is the act of inferring the past = based on knowledge of the present. The primary example is given by Bayes' rule P(y|x) P(x) =3D P(x|y) P(y), where we use prior information, conditional probabilities, and new evidence to update our belief of the state of = some system. The question of how to extend this idea to quantum systems has = been debated for many years. In this talk, I will lay down precise axioms for (classical and quantum) retrodiction using category theory. Among a = variety of proposals for quantum retrodiction used in settings such as thermodynamics and the black hole information paradox, only one = satisfies these categorical axioms. Towards the end of my talk, I will state what = I believe is the main open question for retrodiction, formalized precisely = for the first time. This work is based on the preprint https://arxiv.org/abs/2210.13531 and is joint work with Francesco = Buscemi.=20 _____ =20 _____ =20 =20 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]