Weakly monadic Boolean extension functors
J. Dukarm (1980)
Fundamenta Mathematicae
Similarity:
J. Dukarm (1980)
Fundamenta Mathematicae
Similarity:
Gavin C. Wraith (1993)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Francis Borceux (1975)
Cahiers de Topologie et Géométrie Différentielle Catégoriques
Similarity:
Francis Borceux, Dominique Bourn, Peter Johnstone (2006)
Archivum Mathematicum
Similarity:
The dual of the category of pointed objects of a topos is semi-abelian, thus is provided with a notion of semi-direct product and a corresponding notion of action. In this paper, we study various conditions for representability of these actions. First, we show this to be equivalent to the existence of initial normal covers in the category of pointed objects of the topos. For Grothendieck toposes, actions are representable provided the topos admits an essential Boolean covering. This...
Michal Marvan (1985)
Archivum Mathematicum
Similarity:
Kazuhisa Ishida (2006)
Formalized Mathematics
Similarity:
This text includes definitions of the Kripke structure, CTL (Computation Tree Logic), and verification of the basic algorithm for Model Checking based on CTL in [10].
Taylor, Paul (2002)
Theory and Applications of Categories [electronic only]
Similarity: