Descent of P-property by proper surjective morphisms
نویسندگان
چکیده
منابع مشابه
Separated and Proper Morphisms
Last quarter, we introduced the closed diagonal condition for a prevariety to be a prevariety, and the “universally closed” condition for a variety to be complete. Earlier this quarter, we verified that in the case of complex prevarieties, these conditions are equivalent to the analytic topology being Hausdorff and compact, respectively. As we’ve discussed, in the scheme context a prevariety co...
متن کاملA periodicity property of iterated morphisms
Suppose f : X∗ −→ X∗ is a morphism and u, v ∈ X∗. For every nonnegative integer n, let zn be the longest common prefix of f(u) and f(v), and let un, vn ∈ X∗ be words such that f(u) = znun and f(v) = znvn. We prove that there is a positive integer q such that for any positive integer p, the prefixes of un (resp. vn) of length p form an ultimately periodic sequence having period q. Further, there...
متن کاملEffective Descent Morphisms in Categories of Lax Algebras
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 effective descent, result that extends the corresponding results for the category of topological spaces and continuous maps. Introduction A morphism p : E → B in a category C with pullbacks is called effective descent if it allows a...
متن کاملFrankowski BISIMULATIONS AND p - MORPHISMS
One of the fundamental notions of model theory for modal logics is a bisimulation. Indeed it not only preserves logical value of formulas but it plays the important role for the modal definable classes of models ([2]). The main scope of the paper is to present several types of bisimulations that are proper for the different types of model structures – ordinary Kripke models, their many-valued c...
متن کاملEffective Étale - Descent Morphisms in M - Ordered Sets Pier Giorgio
Following the results obtained in Preord and in Cat, we characterize the effective étale-descent morphisms inM -Ord, the category ofM -ordered sets for a given monoid M . Furthermore we show that in M -Ord every effective descent morphism is effective for étale-descent (while the converse is false), and we generalize it to a more general context of relational algebras.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nagoya Mathematical Journal
سال: 1983
ISSN: 0027-7630,2152-6842
DOI: 10.1017/s0027763000020651