5 search results - page 1 / 1 » Effective Descent Morphisms in Categories of Lax Algebras |
ACS
2004
13 years 4 months ago
2004
Abstract. In this paper we investigate effective descent morphisms in categories of reflexive and transitive lax algebras. We show in particular that open and proper maps are effec...
ACS
2005
13 years 4 months ago
2005
We investigate limits in the 2-category of strict algebras and lax morphisms for a 2-monad. This includes both the 2-category of monoidal categories and monoidal functors as well ...
ACS
2004
13 years 4 months ago
2004
: We characterize the (effective) E-descent morphisms in the category Cat of small categories, when E is the class of discrete fibrations or the one of discrete cofibrations, and p...
ACS
2004
13 years 4 months ago
2004
In this paper we continue the investigation of some aspects of descent theory for schemes that was begun in [11]. Let SCH be a category of schemes. We show that quasi-compact pure ...
LOGCOM
2007
13 years 4 months ago
2007
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommoda...