BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:John Baez (UC Riverside)
DTSTART:20200409T160100Z
DTEND:20200409T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/1
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/1/">Structured cospans</a>\nby John Baez (UC Riverside) as part o
 f MIT (applied) categories seminar\n\n\nAbstract\n"Structured cospans" are
  a general way to study networks with inputs and outputs. Here we illustra
 te this using a type of network popular in theoretical computer science: P
 etri nets. An "open" Petri net is one with certain places designated as in
 puts and outputs. We can compose open Petri nets by gluing the outputs of 
 one to the inputs of another. Using the formalism of structured cospans\, 
 open Petri nets can be treated as morphisms of a symmetric monoidal catego
 ry - or better\, a symmetric monoidal double category. We explain two form
 s of semantics for open Petri nets using symmetric monoidal double functor
 s out of this double category. The first\, an operational semantics\, give
 s for each open Petri net a category whose morphisms are the processes tha
 t this net can carry out. The second\, a "reachability" semantics\, simply
  says which markings of the outputs can be reached from a given marking of
  the inputs. This is joint work with Kenny Courser and Jade Master.\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/1/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Joachim Kock (Universitat Autonoma de Barcelona)
DTSTART:20200416T160100Z
DTEND:20200416T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/2
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/2/">The incidence comodule bialgebra of the Baez--Dolan construct
 ion</a>\nby Joachim Kock (Universitat Autonoma de Barcelona) as part of MI
 T (applied) categories seminar\n\n\nAbstract\nStarting from any operad P\,
  one can consider on one hand the free operad on P\, and on the other hand
  the Baez--Dolan construction on P. These two new operads have the same sp
 ace of operations\, but with very different notions of arity and substitut
 ion. The main result is that the incidence bialgebras of the two-sided bar
  constructions of the two operads constitute together a comodule bialgebra
 . The motivating example is the Calaque--Ebrahimi-Fard--Manchon comodule b
 ialgebra of trees from numerical analysis. The purpose of the talk is to e
 xplain all the concepts mentioned in the abstract\, and also some backgrou
 nd on polynomial monads\, simplicial groupoids\, and homotopy combinatoric
 s.\n\nReference: http://arxiv.org/abs/1912.11320\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/2/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Sophie Libkind (Stanford)
DTSTART:20200430T160000Z
DTEND:20200430T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/3
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/3/">Unifying Open Dynamical Systems: An Algebra of Resource Shari
 ng Machines</a>\nby Sophie Libkind (Stanford) as part of MIT (applied) cat
 egories seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/3/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Bob Coecke (Oxford)
DTSTART:20200507T160000Z
DTEND:20200507T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/4
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/4/">Quantum Natural Language Processing (QNLP)</a>\nby Bob Coecke
  (Oxford) as part of MIT (applied) categories seminar\n\n\nAbstract\nRecen
 tly we performed quantum natural language processing on an IBM quantum com
 puter [1]. What got us to the point is the observation that quantum theory
  and natural language are governed by much of the same category-theoretic 
 structure [2]. From a ML perspective\, QNLP is arguably the first form of 
 compositional machine learning where composition embodies a fundamental st
 ructure of the data involved\, and which is moreover also native to the ha
 rdware it is implemented on.\n\nThe talk requires no background in quantum
  theory\, nor in natural language theory\, nor in machine learning. All re
 levant references are in [1\, 2]\, where there are also the names of the p
 eople involved in getting to this point.\n\n[1] B. Coecke\, G. De Felice\,
  K. Meichanetzidis & A. Toumi (2020) Quantum Natural Language Processing: 
 We did it! https://medium.com/cambridge-quantum-computing/quantum-natural-
 language-processing-748d6f27b31d.\n\n[2] B. Coecke (2016) From quantum fou
 ndations via natural language meaning to a theory of everything. arXiv:160
 2.07618.\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/4/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Mike Shulman (San Diego)
DTSTART:20200514T160000Z
DTEND:20200514T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/5
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/5/">Conservativity of duals</a>\nby Mike Shulman (San Diego) as p
 art of MIT (applied) categories seminar\n\n\nAbstract\nDual objects in mon
 oidal categories have many applications\, including channels in parallel p
 rogramming\, input-output modes in logic programming\, and string diagrams
  for internal-homs. Thus\, it is natural to ask whether duals intrinsicall
 y strengthen the theory\, i.e. whether monoidal categories with duals are 
 "conservative"\, in a suitable sense\, over monoidal categories without du
 als. While "compact closed" duals are not generally conservative\, we show
  that "∗-autonomous" duals frequently are: in particular\, the free exte
 nsion of any closed symmetric monoidal category to a ∗-autonomous catego
 ry is a fully faithful embedding. Thus\, "richer" languages with ∗-auton
 omous duals can be unambiguously used to reason about "poorer" languages t
 hat lack them.\n\nThis talk is about the same paper as my talk at ACT@UCR\
 , but the talks will be complementary\, with no expectation that anyone at
 tending this talk has seen the other one.\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/5/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Jade Master (UC Riverside)
DTSTART:20200521T160000Z
DTEND:20200521T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/6
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/6/">The Open Algebraic Path Problem</a>\nby Jade Master (UC River
 side) as part of MIT (applied) categories seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/6/
END:VEVENT
BEGIN:VEVENT
SUMMARY:David Spivak (MIT)
DTSTART:20200528T160000Z
DTEND:20200528T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/7
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/7/">Polynomial functors II: Seven wonders of the composition prod
 uct</a>\nby David Spivak (MIT) as part of MIT (applied) categories seminar
 \n\n\nAbstract\nOn March 5 in this seminar\, I discussed the category Poly
  of polynomial functors on Set and its applications to mode-dependent dyna
 mical systems—machines that can change their interface and which other m
 achines they wire to\, based on their internal state.\n\nAt that time\, I 
 didn't know how to think about the composition monoidal structure on Poly 
 in terms of dynamical systems\, but it turns out that the story is quite n
 ice. The composition product can be used to model strategies in the sense 
 of game theory\, as well as a way to "speed up" dynamical systems. But it 
 comes with lots of other surprises too\, both theoretical and applied\, e.
 g. due to Gambino and Kock\, Ahman and Uustalu\, and Garner. It's a truly 
 remarkable monoidal category.\n\nIn this talk I'll briefly review the prev
 ious one\, so no special background is necessary.\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/7/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Carmen Constantin (Oxford)
DTSTART:20200604T160000Z
DTEND:20200604T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/8
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/8/">Topos Theoretic Perspective on Entropy</a>\nby Carmen Constan
 tin (Oxford) as part of MIT (applied) categories seminar\n\n\nAbstract\nIn
  this talk I’ll be discussing an attempt to treat classical and quantum 
 entropies in a unified setting which takes contextuality into account expl
 icitly. I will show how this construction inherits most of the properties 
 of its classical and quantum counterparts\, and moreover encodes sufficien
 t information to allow us to reconstruct quantum states directly from it.\
 n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/8/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Paolo Perrone (MIT)
DTSTART:20200611T160000Z
DTEND:20200611T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/9
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/9/">Kan extensions are partial colimits</a>\nby Paolo Perrone (MI
 T) as part of MIT (applied) categories seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/9/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Christian Williams (UC Riverside)
DTSTART:20200618T160000Z
DTEND:20200618T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/10
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/10/">Predicate Calculus for Algebraic Type Theory</a>\nby Christi
 an Williams (UC Riverside) as part of MIT (applied) categories seminar\n\n
 Abstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/10/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Remy Tuyeras (MIT)
DTSTART:20200625T160000Z
DTEND:20200625T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/11
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/11/">A category theoretical argument for causal inference</a>\nby
  Remy Tuyeras (MIT) as part of MIT (applied) categories seminar\n\nAbstrac
 t: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/11/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Tobias Fritz (Perimeter Institute)
DTSTART:20200716T160000Z
DTEND:20200716T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/12
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/12/">Probability theory with Markov categories</a>\nby Tobias Fri
 tz (Perimeter Institute) as part of MIT (applied) categories seminar\n\nAb
 stract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/12/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Evan Patterson (Stanford)
DTSTART:20200723T160000Z
DTEND:20200723T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/13
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/13/">The algebra of statistical theories and m</a>\nby Evan Patte
 rson (Stanford) as part of MIT (applied) categories seminar\n\nAbstract: T
 BA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/13/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Valeria de Paiva (Topos Institute)
DTSTART:20200806T160000Z
DTEND:20200806T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/14
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/14/">Relevant Dialectica Categories</a>\nby Valeria de Paiva (Top
 os Institute) as part of MIT (applied) categories seminar\n\nAbstract: TBA
 \n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/14/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Toby St Clere Smithe (Oxford)
DTSTART:20200813T160000Z
DTEND:20200813T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/15
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/15/">Active inference and compositional cybernetics</a>\nby Toby 
 St Clere Smithe (Oxford) as part of MIT (applied) categories seminar\n\nAb
 stract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/15/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Maru Sarazola (Cornell)
DTSTART:20200820T160000Z
DTEND:20200820T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/16
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/16/">A 2Cat-inspired model structure for double categories</a>\nb
 y Maru Sarazola (Cornell) as part of MIT (applied) categories seminar\n\nA
 bstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/16/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Michael Robinson (American University)
DTSTART:20200827T180000Z
DTEND:20200827T190000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/17
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/17/">Assignments to sheaves of pseudometric spaces</a>\nby Michae
 l Robinson (American University) as part of MIT (applied) categories semin
 ar\n\n\nAbstract\nAn assignment to a sheaf is the choice of a local sectio
 n from each open set in the sheaf's base space\, without regard to how the
 se local sections are related to one another. This article explains that t
 he consistency radius --- which quantifies the agreement between overlappi
 ng local sections in the assignment --- is a continuous map. When threshol
 ded\, the consistency radius produces the consistency filtration\, which i
 s a filtration of open covers. This article shows that the consistency fil
 tration is a functor that transforms the structure of the sheaf and assign
 ment into a nested set of covers in a structure-preserving way. Furthermor
 e\, this article shows that consistency filtration is robust to perturbati
 ons\, establishing its validity for arbitrarily thresholded\, noisy data.\
 n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/17/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Eugenia Cheng (School of the Art Institute of Chicago)
DTSTART:20200730T160000Z
DTEND:20200730T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/18
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/18/">Distributive laws for Lawvere theories</a>\nby Eugenia Cheng
  (School of the Art Institute of Chicago) as part of MIT (applied) categor
 ies seminar\n\n\nAbstract\nDistributive laws give a way of combining two a
 lgebraic structures expressed as monads\; in this paper we propose a theor
 y of distributive laws for combining algebraic structures expressed as Law
 vere theories. We propose four approaches\, involving profunctors\, monoid
 al profunctors\, an extension of the free finite-product category 2-monad 
 from Cat to Prof\, and factorisation systems respectively. We exhibit comp
 arison functors between CAT and each of these new frameworks to show that 
 the distributive laws between the Lawvere theories correspond in a suitabl
 e way to distributive laws between their associated finitary monads. The d
 ifferent but equivalent formulations then provide\, between them\, a frame
 work conducive to generalisation\, but also an explicit description of the
  composite theories arising from distributive laws.\n\nThis talk is part o
 f a series on recently published papers in the journal Compositionality. T
 he paper can be found <a href="https://compositionality-journal.org/papers
 /compositionality-2-1/">here</a>.\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/18/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Prakash Panangaden (McGill University)
DTSTART:20200903T160000Z
DTEND:20200903T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/19
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/19/">Projective limits of Markov processes</a>\nby Prakash Panang
 aden (McGill University) as part of MIT (applied) categories seminar\n\nAb
 stract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/19/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Brandon Shapiro (Cornell University)
DTSTART:20200910T160000Z
DTEND:20200910T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/20
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/20/">Compositional structure of partial evaluations</a>\nby Brand
 on Shapiro (Cornell University) as part of MIT (applied) categories semina
 r\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/20/
END:VEVENT
BEGIN:VEVENT
SUMMARY:David Spivak (MIT)
DTSTART:20200917T160000Z
DTEND:20200917T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/21
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/21/">Categories = polynomial comonads</a>\nby David Spivak (MIT) 
 as part of MIT (applied) categories seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/21/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Eigil Rischel (University of Strathclyde)
DTSTART:20201119T170000Z
DTEND:20201119T180000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/22
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/22/">Infinite products and zero-one law in categorical probabilit
 y</a>\nby Eigil Rischel (University of Strathclyde) as part of MIT (applie
 d) categories seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/22/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Juan Orendain (UNAM)
DTSTART:20200924T160000Z
DTEND:20200924T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/23
DESCRIPTION:by Juan Orendain (UNAM) as part of MIT (applied) categories se
 minar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/23/
END:VEVENT
BEGIN:VEVENT
SUMMARY:David Jaz Myers (Johns Hopkins University)
DTSTART:20201001T160000Z
DTEND:20201001T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/24
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/24/">Paradigms of composition</a>\nby David Jaz Myers (Johns Hopk
 ins University) as part of MIT (applied) categories seminar\n\nAbstract: T
 BA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/24/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Robert Paré (Dalhousie University)
DTSTART:20201008T160000Z
DTEND:20201008T170000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/25
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/25/">Retro cells</a>\nby Robert Paré (Dalhousie University) as p
 art of MIT (applied) categories seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/25/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Arthur Parzygnat (IHES Paris)
DTSTART:20201203T170000Z
DTEND:20201203T180000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/26
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/26/">Stinespring's construction as an adjunction</a>\nby Arthur P
 arzygnat (IHES Paris) as part of MIT (applied) categories seminar\n\nAbstr
 act: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/26/
END:VEVENT
BEGIN:VEVENT
SUMMARY:Evan Patterson (University of Stanford)
DTSTART:20201210T170000Z
DTEND:20201210T180000Z
DTSTAMP:20260404T092653Z
UID:MITCategories/27
DESCRIPTION:Title: <a href="https://stable.researchseminars.org/talk/MITCa
 tegories/27/">(Co)relational computing in Catlab: The operad of UWDs and i
 ts algebras</a>\nby Evan Patterson (University of Stanford) as part of MIT
  (applied) categories seminar\n\nAbstract: TBA\n
LOCATION:https://stable.researchseminars.org/talk/MITCategories/27/
END:VEVENT
END:VCALENDAR