MathVideos.org
  • Seminars
    • Algebra
      • Associative Rings
        • Ariki-Koike Algebras
        • Cluster Algebras
        • Group Rings
        • Hecke Algebras
        • KLR Algebras
        • Schur Algebras
      • Commutative Algebra
      • Fusion Systems
      • Group Theory
        • Abelian Groups
        • Algebraic Groups
        • Combinatorial Group Theory
        • Computational Group Theory
        • Finite Groups
        • Geometric Group Theory
        • Infinite Groups
        • Lie Groups
        • Permutation Groups
      • Lie Theory
        • Algebraic Groups
        • Lie Algebras
        • Lie Groups
        • p-Adic Groups
        • Representations of Algebraic Groups
      • Non-Associative Algebras
        • Jordan and Axial Algebras
        • Lie Algebras
        • Other Non-Associative Rings
      • Representation Theory
        • Geometric Representation Theory
        • Representations of Algebraic Groups
        • Representations of Finite Groups
        • Representations of Lie Algebras
        • Representations of Symmetric Groups
      • Semigroups
    • Analysis
      • Complex Analysis
      • Functional Analysis
      • Harmonic Analysis
    • Category Theory
      • Derived Categories
      • Higher Category Theory
      • Triangulated Categories
    • Combinatorics
      • Additive Combinatorics
      • Algebraic Combinatorics
      • Extremal Combinatorics
      • Graph Theory
    • Geometry
      • Algebraic Geometry
        • Birational Geometry
      • Differential Geometry
      • Discrete Geometry
      • Non-Commutative Geometry
      • Symplectic Geometry
    • Logic
    • Mathematical Finance
    • Mathematical Physics
    • Number Theory
      • Additive Number Theory
      • Analytic Number Theory
      • Algebraic Number Theory
      • Computational Number Theory
      • Diophantine Equations
      • Diophantine Geometry
      • Number Theory and Forms
      • Probabilistic Number Theory
    • Optimization
    • Probability Theory
    • Topology
      • Algebraic Topology
      • Analytic Topology
      • Differential Topology
      • Dynamical Systems
      • Geometric Topology
  • Short Courses
    • Algebra
    • Analysis
    • Category Theory
    • Combinatorics
    • Geometry
    • Mathematical Physics
    • Number Theory
    • Probability Theory
    • Topology
  • Lecture Courses
    • Algebra
    • Analysis
    • Category Theory
    • Combinatorics
    • Geometry
    • Mathematical Physics
    • Number Theory
    • Probability Theory
    • Topology
  • ···
    MathVideos.org
    • Seminars
      • Algebra
        • Associative Rings
          • Ariki-Koike Algebras
          • Cluster Algebras
          • Group Rings
          • Hecke Algebras
          • KLR Algebras
          • Schur Algebras
        • Commutative Algebra
        • Fusion Systems
        • Group Theory
          • Abelian Groups
          • Algebraic Groups
          • Combinatorial Group Theory
          • Computational Group Theory
          • Finite Groups
          • Geometric Group Theory
          • Infinite Groups
          • Lie Groups
          • Permutation Groups
        • Lie Theory
          • Algebraic Groups
          • Lie Algebras
          • Lie Groups
          • p-Adic Groups
          • Representations of Algebraic Groups
        • Non-Associative Algebras
          • Jordan and Axial Algebras
          • Lie Algebras
          • Other Non-Associative Rings
        • Representation Theory
          • Geometric Representation Theory
          • Representations of Algebraic Groups
          • Representations of Finite Groups
          • Representations of Lie Algebras
          • Representations of Symmetric Groups
        • Semigroups
      • Analysis
        • Complex Analysis
        • Functional Analysis
        • Harmonic Analysis
      • Category Theory
        • Derived Categories
        • Higher Category Theory
        • Triangulated Categories
      • Combinatorics
        • Additive Combinatorics
        • Algebraic Combinatorics
        • Extremal Combinatorics
        • Graph Theory
      • Geometry
        • Algebraic Geometry
          • Birational Geometry
        • Differential Geometry
        • Discrete Geometry
        • Non-Commutative Geometry
        • Symplectic Geometry
      • Logic
      • Mathematical Finance
      • Mathematical Physics
      • Number Theory
        • Additive Number Theory
        • Analytic Number Theory
        • Algebraic Number Theory
        • Computational Number Theory
        • Diophantine Equations
        • Diophantine Geometry
        • Number Theory and Forms
        • Probabilistic Number Theory
      • Optimization
      • Probability Theory
      • Topology
        • Algebraic Topology
        • Analytic Topology
        • Differential Topology
        • Dynamical Systems
        • Geometric Topology
    • Short Courses
      • Algebra
      • Analysis
      • Category Theory
      • Combinatorics
      • Geometry
      • Mathematical Physics
      • Number Theory
      • Probability Theory
      • Topology
    • Lecture Courses
      • Algebra
      • Analysis
      • Category Theory
      • Combinatorics
      • Geometry
      • Mathematical Physics
      • Number Theory
      • Probability Theory
      • Topology
    • ···
      MathVideos.org
      • Seminars
        • Algebra
          • Associative Rings
            • Ariki-Koike Algebras
            • Cluster Algebras
            • Group Rings
            • Hecke Algebras
            • KLR Algebras
            • Schur Algebras
          • Commutative Algebra
          • Fusion Systems
          • Group Theory
            • Abelian Groups
            • Algebraic Groups
            • Combinatorial Group Theory
            • Computational Group Theory
            • Finite Groups
            • Geometric Group Theory
            • Infinite Groups
            • Lie Groups
            • Permutation Groups
          • Lie Theory
            • Algebraic Groups
            • Lie Algebras
            • Lie Groups
            • p-Adic Groups
            • Representations of Algebraic Groups
          • Non-Associative Algebras
            • Jordan and Axial Algebras
            • Lie Algebras
            • Other Non-Associative Rings
          • Representation Theory
            • Geometric Representation Theory
            • Representations of Algebraic Groups
            • Representations of Finite Groups
            • Representations of Lie Algebras
            • Representations of Symmetric Groups
          • Semigroups
        • Analysis
          • Complex Analysis
          • Functional Analysis
          • Harmonic Analysis
        • Category Theory
          • Derived Categories
          • Higher Category Theory
          • Triangulated Categories
        • Combinatorics
          • Additive Combinatorics
          • Algebraic Combinatorics
          • Extremal Combinatorics
          • Graph Theory
        • Geometry
          • Algebraic Geometry
            • Birational Geometry
          • Differential Geometry
          • Discrete Geometry
          • Non-Commutative Geometry
          • Symplectic Geometry
        • Logic
        • Mathematical Finance
        • Mathematical Physics
        • Number Theory
          • Additive Number Theory
          • Analytic Number Theory
          • Algebraic Number Theory
          • Computational Number Theory
          • Diophantine Equations
          • Diophantine Geometry
          • Number Theory and Forms
          • Probabilistic Number Theory
        • Optimization
        • Probability Theory
        • Topology
          • Algebraic Topology
          • Analytic Topology
          • Differential Topology
          • Dynamical Systems
          • Geometric Topology
      • Short Courses
        • Algebra
        • Analysis
        • Category Theory
        • Combinatorics
        • Geometry
        • Mathematical Physics
        • Number Theory
        • Probability Theory
        • Topology
      • Lecture Courses
        • Algebra
        • Analysis
        • Category Theory
        • Combinatorics
        • Geometry
        • Mathematical Physics
        • Number Theory
        • Probability Theory
        • Topology

      Jean-Simon Lemay: The Theory of Differential Categories

      28th October, 2020
      1. Lecture 1
      2. Lecture 2
      3. Lecture 3
      4. Lecture 4

      These videos are part of the London Mathematical Society‘s Online Graduate Lecture Series. These are supported by the LMS, and organized by YaMCATS.

      Category theory Logic

      You may also like

      Yonatan Harpaz: New perspectives in hermitian K-theory

      21st September, 2020

      Ryo Takahashi: Thick tensor ideals of right bounded derived categories of commutative rings

      10th August, 2016

      Fiona Torzewska: Mapping class groupoids and motion groupoids

      4th November, 2020

      Various Speakers: An Excursion Into Model Theory and Its Applications

      13th October, 2020

      Jonathan Pila: Lectures on model theory and logic

      23rd October, 2018

      Markus Land: L-theory of rings via higher categories

      21st September, 2020

      In ‘Short Courses’

      • All Short Courses
      • Algebra
      • Analysis
      • Category Theory
      • Combinatorics
      • Geometry
      • Mathematical Physics
      • Number Theory
      • Probability Theory
      • Topology

      About MathVideos

      MathVideos attempts to produce a catalogue of all research-level seminar and course videos from across the Internet. Started by David Craven, it is not affiliated in any way with the University of Birmingham.

      Privacy Policy

      Contact Us

      Most recent videos

      • Nikolay Bogachev: Geometry, Arithmetic, and Dynamics of Discrete Groups, XXI 3rd December, 2024
      • David Fernández: Non-commutative Poisson geometry and pre-Calabi-Yau algebras 2nd December, 2024
      • Hadi Salmasian: Lie Groups and Quantization, XXIII 2nd December, 2024
      • Jon Woolf: Heart fans as universal phase diagrams 28th November, 2024
      • Nikolay Bogachev: Geometry, Arithmetic, and Dynamics of Discrete Groups, XX 28th November, 2024