Login / Signup

Triposes as a generalization of localic geometric morphisms.

Jonas FreyThomas Streicher
Published in: Math. Struct. Comput. Sci. (2021)
Keyphrases