Chris Kapulkin  Talks

Elementary Theory of Higher Toposes
 Cohomology Theories, Categories, and Applications
[website]
University of Pittsburgh, Pittsburgh, PA, March 25th, 2017

Cubical sets with symmetries and the homotopy coherent nerve functor
 Algebra, Combinatorics, and Geometry Seminar
[website]
University of Pittsburgh, Pittsburgh, PA, April 14th, 2016

Internal languages for higher categories
 Workshop on Homotopy Type Theory
[website]
Max Planck Institute for Mathematics, Bonn, February 10th, 2016
 Workshop: Categories of Understanding
[website]
University of Notre Dame, IN, October 29th, 2015
 Geometry and Topology Seminar
[website]
University of Western Ontario, Canada, November 3rd, 2014
 Topology Seminar
[website]
Johns Hopkins University, MD, December 2nd, 2013
 Topology Seminar
[website]
University of Chicago, IL, November 19th, 2013
 Geometry and Topology Seminar
[website]
University of Illinois at UrbanaChampaign, IL, November 12th, 2013

The nerve of a cubical category
 Univalent Foundations Seminar
[calendar]
Institute for Advanced Study, Princeton, NJ, November 6th, 2015

Equivalences of Dependent Type Theories
 Logic Seminar
Princeton University, NJ, November 5th, 2015

Type theory and locally cartesian closed quasicategories
 Logic Seminar
[website]
University of Stockholm, Sweden, May 27th, 2015
 Homotopy Type Theory Workshop
[website] [youtube]
University of Oxford, UK, November 8th, 2014

Introduction to factorization homology
 Algebra, Combinatorics, and Geometry Seminar
[website]
University of Pittsburgh, PA, April 2nd, 2015

Simplicial localizations of fibration categories
 Workshop on Higher Structures and Cohomology Theories
[website]
University of Pittsburgh, PA, March 29th, 2015

Joyal's Conjecture in Homotopy Type Theory
 Algebra, Combinatorics, and Geometry Seminar
[website]
University of Pittsburgh, PA, February 6th and 13th, and March 6th, 2014

Univalent categories and the Rezk completion
 Conference on Type Theory, Homotopy Theory and Univalent Foundations
[website]
[extended abstract]
Universitat Autonoma de Barcelona, Spain, September 26th, 2013
 Samuel Eilenberg Centenary Conference
[website]
University of Warsaw, Poland, July 25th, 2013

BarrBeck Theorem for higher categories (after Lurie)
 West Coast Algebraic Topology Summer School 2013
[website]
University of Oregon, Eugene, OR, September 8th, 2013

On Simplicial localizations of categories by Dwyer and Kan
 Summer Graduate School: Algebraic Topology
[website]
MSRI, Berkeley, CA, June 25th, 2013

Univalent Foundations of Mathematics
 Graduate Student Seminar
[website]
Princeton University, March 28th, 2013

The simplicial model of Univalent Foundations
 Univalent Foundations Seminar
[website] [video]
Institute for Advanced Study, Princeton, NJ, November 29th, 2012

Fibration categories and type theory
 Logic Colloquium 2012
[website]
University of Manchester, UK, July 13th, 2012
 Graduate Student Topology Conference 2012
[website]
University of Indiana, Bloomington, IN, March 31st, 2012
 Mathematics: Algorithms and Proofs 2011
[website]
Lorentz Center, Netherlands, November 29th, 2011

The groupoid model of type theory (after Hofmann and Streicher)
 Category Theory Seminar
[website]
University of Warsaw, Poland, December 16th, 2011

Homotopytheoretic models of type theory
 Logic Colloquium 2011
[website]
Universitat de Barcelona, Spain, July 15th, 2011

Homotopy Type Theory and Univalent Foundations of Mathematics  minicourse
 Category Theory Seminar
[website]
University of Cambridge, UK, June 28th  July 1st, 2011

Why do ncategories matter?
 Algebra, Combinatorics, and Geometry Seminar
[website]
University of Pittsburgh, PA, February 3rd, 2011

From Atiyah to Lurie: 20 years of Topological Quantum Field Theory
 Algebra, Combinatorics, and Geometry Seminar
[website]
University of Pittsburgh, PA, October 28th, 2010

Pi and Sigmatypes in homotopy theoretic models of type theory
 Category Theory OctoberFest
[website]
Dalhousie University, Halifax, Canada, October 23th, 2010