On regular extensions of operator systems.
On duality between -spaces and -spaces
A generalization of maximal ideals method of Stone and Gelfand
Note on relatively complete -spaces
Forme algébrique des théories de Stone-Gel'fand
Lax descent theorems for left exact categories
Abstract We study the 2-category of categories with finite limits, Lex. We characterise descent, effective descent and chain descent morphisms. These classes of morphisms do not coincide in Lex. We also study relations between these and other naturally arising classes of conservative morphisms. We define, in a semantical way, a new false quotient-strongly conservative factorisation in Lex. We prove that the iteration of the descent construction eventually "stops" at this factorisation....
Page 1