RIT on Applied Category Theory Archives for Fall 2020 to Spring 2021
Organizational Meeting
When: Thu, February 13, 2020 - 2:00pmWhere: Kirwan Hall 1313
Speaker: Noah Chrein (Math) -
Reading Group Discussion
When: Thu, February 20, 2020 - 2:00pmWhere: Kirwan Hall 1313
Speaker: Noah Chrein (Math) -
An introduction to categorical data modeling
When: Thu, February 27, 2020 - 2:00pmWhere: Kirwan Hall 1313
Speaker: Spencer Breiner (NIST) - https://www.nist.gov/people/spencer-breiner
Abstract: This talk will give an informal and accessible introduction to the use of category theory for modeling logical (or ontological) information. Topics will include the relationship between categories and graphs, logical structures in a category and functorial semantics. If time allows, I will also say a bit about how these approaches generalize to other structures like monoidal categories and operads.
Reading Group
When: Thu, March 5, 2020 - 2:00pmWhere: Kirwan Hall 1313
Speaker: reading group (math) -
Reasoning with Heirarchical Ontology
When: Thu, April 9, 2020 - 2:00pmWhere: Zoom : 441-427-177 (must have an account)
Speaker: Noah Chrein (MATH) - https://nchrein.github.io
Abstract: I will give an intuitive introduction to representation and reasoning with hierarchical ontologies. Most of the talk will be done through a notes application, but I will also show a prototype graphical interface for creating ontologies.
Infinity Toposes and Integrable Physical Systems
When: Thu, April 16, 2020 - 2:00pmWhere: Zoom : 915-7667-7156
Speaker: Saul Hilsenrath (MATH) -
Abstract: In physics, wave phenomena are modeled by integrable systems of PDEs, the solutions of which are points in an infinite-dimensional Grassmannian. In this talk, I will show that the Grassmannian and certain other physically-relevant moduli spaces, time permitting, correspond to instances of a particular class of infinity toposes. I will conclude with some of the mathematical and physical implications.
Categorical imperatives for designing data structures, algorithms, and system architectures
When: Thu, April 23, 2020 - 2:00pmWhere: Zoom Meeting Room
Speaker: Steve Huntsman (BAE) -
Abstract: I’ll cover flow graphs (data structures), functorial cluster embedding (algorithms), and fast multipole networks (system architectures).
Zoom Meeting Number: 914-4532-6502
Categorical Modeling Languages: Bringing ACT to Scientific Computing
When: Thu, April 30, 2020 - 2:00pmWhere: Zoom 926-0203-0820
Speaker: James Fairbanks (Georgia Tech Research Institute) - http://jpfairbanks.net
Abstract: I’ll discuss a perspective on scientific computing centered around the modeling framework. Applied Category Theory gives us the tools to represent these modeling frameworks and build powerful software for representing, manipulating, and solving complex systems in science and engineering. This work builds on decorated cospans, and categorical logic for knowledge representation. I’ll end with some open questions involving dynamical systems.
Theoretical Computer Science for the Working Category Theorist
When: Thu, May 7, 2020 - 2:00pmWhere: Zoom 929-1640-9872
Speaker: Noson Yanofksy (CUNY) - http://www.sci.brooklyn.cuny.edu/~noson/
Abstract: This talk is a preview of a forthcoming book in the Applied Category Theory series of Cambridge University Press. The book uses basic category theory to describe all the central concepts and prove the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer science. We will meet some of the deepest ideas and theorems of modern computers and mathematics, e.g., Turing machines, unsolvable problems, the P=NP question, Kurt Gödel's incompleteness theorem, intractable problems, cryptographic protocols, Alan Turing's Halting problem, and much more. I will report on new things I learned about theoretical computer science and category theory while working on this project.