The New York City
Category Theory Seminar
Department of Computer Science
Department of Mathematics
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)
IN-PERSON INFORMATION:
365 Fifth Avenue (at 34th Street) map
(Diagonally across from the Empire State Building)
New York, NY 10016-4309
Room 6417
The videos of the lectures will be put up on YouTube a few hours after the lecture.
ZOOM INFORMATION:
https://brooklyn-cuny-edu.zoom.us/j/82359069037?pwd=wpvpZqXvQHcXUWSPCeQpya33a4a18q.1
Meeting ID: 823 5906 9037
Passcode: NYCCTS
Seminar web page.
Videoed talks.
Previous semesters.
Researchseminars.org page.
Contact N. Yanofsky to
schedule a speaker
or to add a name to the
seminar mailing list.
Fall 2024
Speaker: Jake Araujo-Simon, Cornell Tech.
Date and Time: Wednesday September 18, 2024, 7:00 - 8:30 PM. IN-PERSON TALK
Title: Categorifying the Volterra series: towards a compositional theory of nonlinear signal processing.
Abstract:The Volterra series is a model of nonlinear behavior that extends the convolutional representation of linear and time-invariant systems to the nonlinear regime. Though well-known and applied in electrical, mechanical, biomedical, and audio engineering, its abstract and especially compositional properties have been less studied. In this talk, we present an approach to categorifying the Volterra series, in which a Volterra series is defined as a functor on a category of signals and linear maps, a morphism between Volterra series is a lens map and natural transformation, and together, Volterra series and their morphisms assemble into a category, which we call Volt. We study three monoidal structures on Volt, and outline connections of our work to the field of time-frequency analysis. We also include an audio demo.
Paper link: https://arxiv.org/abs/2308.07229.
Speaker: Noah Chrein, University of Maryland.
Date and Time: Wednesday September 25, 2024, 7:00 - 8:30 PM. IN-PERSON TALK
Title: A formal category theory for oo-T-multicategories.
Abstract:
We will explore a framework for oo-T-multicategories. To begin, we build a schema for multicategories out of the simplex schema and the monoid schema. The multicategory schema, D_m, inherits the structure of a monad from the +1 monad on the monoid schema. Simplicial T-multicategories are monad preserving functors out of the multicategory schema, [D_m, T], into another monad T. The framework is larger than just [D_m,T]. A larger structure describes notions of yoneda lemma and fibration. Inner fibrant, simplicial T-multicategories are oo-T-multicategories. oo-T-multicategories generalize oo-categories and oo-operads: oo-operads are fm-multicategories, oo-categories are Id-multicategories.
We use this framework to study oo-fc-multicategories, or "oo - virtual double categories". In general, under various assumptions on T (which hold for fc), the collection of oo-T-multicategories [D_m, T] has other useful structure. One such structure is a join operation. This join operation points towards a synthetic definition of op/cartesian cells, which we hope will model oo-virtual equipments. If there is time, I will explain the motivation for this study as it relates to ontologies, meta-theories and type theories.
Speaker: Sam McCrosson, Montana State University.
Date and Time: Wednesday October 9, 2024, 7:00 - 8:30 PM. ZOOM TALK.
Title: Exodromy.
Abstract: A favorite result of first semester algebraic topology is the “monodromy theorem,” which states that for a suitable topological space X, there is a triple equivalence between the categories of covering spaces of X, sets with an action from the fundamental group of X, and locally constant sheaves on X. This result has recently been upgraded by MacPherson and others to a stratified setting, where the underlying space may be carved into a poset of subspaces. In this talk, we’ll look at the main ingredients of the so-called “exodromy theorem,” reviewing stratified spaces and developing “constructible sheaves” and the “exit-path category” along the way.
Speaker: Bruno Gavranović, Symbolica AI.
Date and Time: Wednesday October 30, 2024, 2:00PM NYC Time. NOTE SPECIAL TIME. ZOOM TALK.
Title: Categorical Deep Learning: An Algebraic Theory of Architectures.
Abstract:
Speaker: David Jaz Myers, NYU Abu Dhabi.
Date and Time: Wednesday November 6, 2024, ZOOM TALK. TIME TBA
Title: The Para and Kleisli constructions as wreath products.
Abstract:
Speaker: Emilio Minichiello, CUNY CityTech.
Date and Time: Wednesday November 13, 2024, 7:00 - 8:30 PM.IN-PERSON TALK.
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday November 20, 2024, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Speaker: Tim Hosgood, TBA.
Date and Time: Wednesday November 27, 2024, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday December 4, 2024, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday December 11, 2024, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday December 18, 2024, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Spring 2025
Speaker: TBA, TBA.
Date and Time: Wednesday February 5, 2025, 7:00 - 8:30 PM. .
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday February 19, 2025, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday February 26, 2025, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday March 5, 2025, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday March 12, 2025, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday March 19, 2025, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday March 26, 2025, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday April 2, 2025, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday April 9, 2025, 7:00 - 8:30 PM. .
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday April 23, 2025, 7:00 - 8:30 PM. .
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday April 30, 2025, 7:00 - 8:30 PM. .
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday May 7, 2025, 7:00 - 8:30 PM. .
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday May 14, 2025, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday May 21, 2025, 7:00 - 8:30 PM.
Title: TBA.
Abstract:
Speaker: TBA, TBA.
Date and Time: Wednesday May 28, 2025, 7:00 - 8:30 PM.
Title: TBA.
Abstract: