Richard Garner, Polynomial comonads and comodules

Richard Garner, Polynomial comonads and comodules

Polynomial Functors @ Topos (Monday)See more

Polynomial Functors @ Topos (Monday)

Setoids, e-Categories, and Exact Completions - Richard GarnerSee more

Setoids, e-Categories, and Exact Completions - Richard Garner

David Spivak: "Categories = polynomial comonads", a simple demonstrationSee more

David Spivak: 'Categories = polynomial comonads', a simple demonstration

David Spivak: The free monad, cofree comonad, and topological space associated to a polynomialSee more

David Spivak: The free monad, cofree comonad, and topological space associated to a polynomial

Polynomial Functors @ Topos (Wednesday)See more

Polynomial Functors @ Topos (Wednesday)

Richard Garner, “The variety of cartesian closed varieties”See more

Richard Garner, “The variety of cartesian closed varieties”

Richard Garner: "Comodels of an algebraic theory"See more

Richard Garner: 'Comodels of an algebraic theory'

Great Ideas in Theoretical Computer Science: Polynomials (Spring 2015)See more

Great Ideas in Theoretical Computer Science: Polynomials (Spring 2015)

Mathieu Stienon: "Kontsevich--Duflo theorem for differential graded manifolds"See more

Mathieu Stienon: 'Kontsevich--Duflo theorem for differential graded manifolds'

A Non-palindromic Quartic EquationSee more

A Non-palindromic Quartic Equation

Joachim Breitner – The many faces of isOrderedTreeSee more

Joachim Breitner – The many faces of isOrderedTree

Log-concave polynomials in theory and applications - Cynthia VinzantSee more

Log-concave polynomials in theory and applications - Cynthia Vinzant

Galois theory: Cyclotomic polynomialsSee more

Galois theory: Cyclotomic polynomials

Polynomial Functors Course, Day 9: Cofree polynomial comonoidsSee more

Polynomial Functors Course, Day 9: Cofree polynomial comonoids

Actual