Wiesław Kubiś: Abstract Evolution Systems 16th December, 2021 Watch LaterRemove Cinema Mode This talk is based on this arXiv paper. This video is part of Masaryk University‘s Algebra seminar. Logic You may also like Michael Lieberman: Induced stable independence, with applications 25th February, 2021 Soichiro Fujii: A unified framework for notions of algebraic theory 14th May, 2020 Artem Chernikov: Recognizing Groups in Erdős Geometry and Model Theory 28th March, 2023 Martin Bidlingmaier: Model categories of lcc categories and the gros model of dependent type theory. 26th November, 2020 Marcos Mazari-Armida: Model-theoretic stability in classes of modules 12th November, 2020 Giulio Lo Monaco: Vopěnka’s principle in ∞-categories 24th June, 2021 In ‘Seminars’Algebra Analysis Category Theory Combinatorics Geometry Logic Mathematical Physics Number Theory Probability Theory Topology
Martin Bidlingmaier: Model categories of lcc categories and the gros model of dependent type theory. 26th November, 2020