filmov
tv
Polynomial Functors Course, Day 13: Bimodules and further discussion
Показать описание
Topos Institute
Рекомендации по теме
1:01:46
Polynomial Functors Course, Day 13: Bimodules and further discussion
0:59:51
Polynomial Functors Course, Day 12: ...are parametric right adjoints
1:04:16
Polynomial Functors Course, Day 9: Cofree polynomial comonoids
4:10:11
Polynomial Functors @ Topos (Monday)
0:59:56
Polynomial functors and Shannon entropy - David Spivak
0:42:41
Polynomial Functors Course, Day 1: Introduction
4:04:30
Polynomial Functors @ Topos (Thursday)
1:02:41
Polynomial Functors Course, Day 6.5: Behaviors compose by matrix arithmetic
0:58:12
David Spivak: 'Poly: a category of remarkable abundance'
0:51:09
Pieter Hofstra - Isotropy of Toposes
1:12:36
David Spivak: 'Categorical interaction in the polynomial ecosystem'
0:55:55
David Spivak: The free monad, cofree comonad, and topological space associated to a polynomial
0:57:04
David Spivak: Effect Handlers and Bicomodules
0:56:43
Session 13 CMPT898: Functoriality of Algebraic Data Types, A Categorical and Functional Perspective
0:22:56
Scale By The Bay 2018: Greg Pfeil, Duality and How to Delete Half (minus ε) of Your Code
1:08:59
Thomas Nikolaus Polynomial functors and algebraic K theory
1:14:13
Richard Garner, Polynomial comonads and comodules
1:13:54
Brandon Shapiro: Familial and Polynomial Functors for Higher Category Theories
1:04:21
Robert Kucharczyk: The geometry and arithmetic of triangular modular curves
0:56:59
David Spivak: Where Poly's structure comes from
0:13:43
UFDsV
0:26:55
Coalgebra Encoding for Efficient Minimization
0:51:16
CS410 2017 Lecture 19 Polynomials are Containers and their Fixpoints are Functors
0:56:32
Applications of topological cyclic homology in algebraic K-theory
1:01:46
0:59:51
1:04:16
4:10:11
0:59:56
0:42:41
4:04:30
1:02:41
0:58:12
0:51:09
1:12:36
0:55:55
0:57:04
0:56:43
0:22:56
1:08:59
1:14:13
1:13:54
1:04:21
0:56:59
0:13:43
0:26:55
0:51:16
0:56:32