hmm the homotopy kernel of a homotopy kernel is the loop space of the codomain... i can prove it but i do not understand =(
Conversation
the codomain is the classifying space of its loop space so you’re recovering the fiber of the bundle classified by the rightmost map
3
5
hmm this might be
circular
