Decidable (=separable) objects and morphisms in lextensive categories (1996)

by A Carboni, G Janelidze
Venue:Journal of Pure and Applied Algebra