12 citations · 25 across the 10 of their papers we have counts for
1 paper · 2 filters
Krzysztof Worytkiewicz
We study formal counterparts of Hurewicz fibrations and related topological notions in elementary toposes with NNO. The constructions are based on a specific notion of interval and…