The New York City Category Theory Seminar
788 subscribers
1:28:50
Noah Chrein --- A formal category theory for oo-T-multicategories.
The New York City Category Theory Seminar
209 views • 8 days ago
1:15:50
Jake Araujo-Simon --- Categorifying the Volterra series:
The New York City Category Theory Seminar
177 views • 2 weeks ago
1:06:36
Samuel Mimram --- Coherence in cartesian theories using rewriting.
The New York City Category Theory Seminar
112 views • 4 months ago
59:51
Emilio Minichiello --- Presenting Profunctors.
The New York City Category Theory Seminar
109 views • 4 months ago
1:30:44
Raymond Puzio --- Uniqueness of Classical Retrodiction.
The New York City Category Theory Seminar
251 views • 4 months ago
1:02:44
Juan Orendain --- Canonical squares in fully faithful and absolutely dense equipments.
The New York City Category Theory Seminar
53 views • 4 months ago
59:51
Ellis D. Cooper --- Pulse Diagrams and Category Theory --- Part 1
The New York City Category Theory Seminar
142 views • 5 months ago
30:04
Ellis D. Cooper --- Pulse Diagrams and Category Theory --- Part 2.
The New York City Category Theory Seminar
52 views • 5 months ago
1:20:22
Sina Hazratpour --- Fibred Categories in Lean.
The New York City Category Theory Seminar
229 views • 6 months ago
1:27:42
Jean-Pierre Marquis --- Hom sweet Hom: a sketch of the history of duality in category theory.
The New York City Category Theory Seminar
277 views • 6 months ago
1:24:16
Astra Kolomatskaia --- Displayed Type Theory and Semi-Simplicial Types.
The New York City Category Theory Seminar
212 views • 7 months ago
1:02:48
Saeed Salehi --- On Chaitin's two HP's: (1) Heuristic Principle and (2) Halting Probability.
The New York City Category Theory Seminar
78 views • 7 months ago
1:00:52
Charlotte Aten --- A categorical semantics for neural networks.
The New York City Category Theory Seminar
445 views • 10 months ago
1:06:37
Larry Moss --- On Kripke, Vietoris, and Hausdorff Polynomial Functors.
The New York City Category Theory Seminar
112 views • 10 months ago
1:23:24
Emilio Minichiello --- A Mathematical Model of Package Management Systems.
The New York City Category Theory Seminar
206 views • 11 months ago
1:17:48
Michael Shulman --- The derivator of setoids.
The New York City Category Theory Seminar
173 views • 11 months ago
1:30:01
Thiago Alexandre --- Internal homotopy theories.
The New York City Category Theory Seminar
219 views • 11 months ago
1:03:40
Tomáš Gonda --- A Framework for Universality in Physics, Computer Science, and Beyond.
The New York City Category Theory Seminar
160 views • 1 year ago
1:18:54
Arthur Parzygnat --- Inferring the past and using category theory to define retrodiction.
The New York City Category Theory Seminar
366 views • 1 year ago
1:15:56
Dusko Pavlovic --- Program-closed categories.
The New York City Category Theory Seminar
431 views • 1 year ago
1:02:56
Walter Tholen --- What does “smallness” mean in categories of topological spaces?
The New York City Category Theory Seminar
262 views • 1 year ago
56:54
Jim Otto --- P Time, A Bounded Numeric Arrow Category, and Entailments.
The New York City Category Theory Seminar
98 views • 1 year ago
59:51
Jens Hemelaer --- EILC toposes.
The New York City Category Theory Seminar
159 views • 1 year ago
1:28:19
Joshua Sussan --- Non-semisimple Hermitian TQFTs.
The New York City Category Theory Seminar
192 views • 1 year ago
1:21:00
Mikhail Khovanov --- Universal construction and its applications.
The New York City Category Theory Seminar
348 views • 1 year ago
1:14:41
Igor Baković --- Enhanced 2-adjunctions.
The New York City Category Theory Seminar
156 views • 1 year ago
1:11:14
Robert Pare --- The horizontal/vertical synergy of double categories.
The New York City Category Theory Seminar
146 views • 1 year ago
1:41:20
Saeed Salehi --- Self-Reference and Diagonalization: their difference and a short history.
The New York City Category Theory Seminar
410 views • 1 year ago
1:03:55
Andrei Rodin --- Kolmogorov's Calculus of Problems and Homotopy Type Theory.
The New York City Category Theory Seminar
264 views • 1 year ago
1:43:22
Astra Kolomatskaia --- The Objective Metatheory of Simply Typed Lambda Calculus.
The New York City Category Theory Seminar
621 views • 1 year ago
Load More