(Translated by https://www.hiragana.jp/)
[2005.11570] Homotopy fibrations with a section after looping