In this talk I will show that the simplicial Moore path functor, first defined by Van den Berg and Garner, is a polynomial functor. This result, which surprised us a bit at first, has helped a great deal in developing effective Kan fibrations for simplicial sets.
Based on joint work with Van den Berg.
This video is part of Masaryk University‘s Algebra seminar.
