https://123deta.com/document/qo54prom-fixed-point-theory-admissible-type-maps-applications.html