InMaybe in
A. Joyal, I. Moerdijk: A completeness theorem for open maps, Annals of Pure and Applied Logic 70 (1994) 51-86
an axiom related to this occurs - but its study is not the main purpose of this paper. So I'm looking for a more extensive treatment of it myself.