Abstract
This paper provides a partial solution to the completeness problem for Joyal's axiomatization of open and etale maps, under the additional assumption that a collection axiom (related to the set-theoretical axiom with the same name) holds.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have