Yamaguchi T, Yokura S.  A proset structure induced from homotopy classes of maps and a classification of fibrations.  Commun. Korean Math. Soc. 2019;34:991-1004.  https://doi.org/10.4134/CKMS.c180326