Triposes, q-toposes and toposes

Jonas Frey. Triposes, q-toposes and toposes. Annals of Pure and Applied Logic, 166(2):232-259, 2015. [doi]

Abstract

Abstract is missing.