Charles Walker: Terms and derivatives of polynomial functors via negation 23rd June, 2022 Watch LaterRemove Cinema Mode This video is part of Masaryk University‘s Algebra seminar. Logic You may also like Chaitanya Leena Subramaniam: Dependently typed algebraic theories 4th March, 2021 Raffael Stenzel: (∞,1)-comprehension schemes 24th September, 2020 Nicholas Meadows: Higher theories and monads 16th September, 2021 Rizos Sklinos: Fields interpretable in the free group 25th February, 2021 Nathanael Arkor: Higher-order algebraic theories and relative monads 13th May, 2021 Alexei Myasnikov: Rich groups and weak second order logic 10th December, 2021 In ‘Seminars’Algebra Analysis Category Theory Combinatorics Geometry Logic Mathematical Physics Number Theory Probability Theory Topology