FP on simplicial groups
Sanath Devalapurkar
It’s a good exercise to create fun problems (FPs). Here’s one: Show that every simplicial group is a Kan complex. In case you aren’t familiar with the terminology, let me explain. A simplicial group is a functor where is the simplex category. A Kan complex is a simplial set (i.e., a functor such that for any […]