Descent morphisms and a van Kampen Theorem in categories of lax algebras
نویسندگان
چکیده
منابع مشابه
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...
متن کاملFibered Products of Hopf Algebras and Seifert-van Kampen Theorem for Semi-graphs of Tannakian Categories
It is known that Seifert-van Kampen theorem (for “good” topological spaces) can be showed by arguing the category of covering spaces. Similar arguments should be valid for abstract Galois categories (which Mochizuki calls ”connected anabelioids”) and neutral Tannakian categories. But when we try to state the theorem, the problem is the existence of amalgams (in other words, fibered coproducts) ...
متن کاملVan Kampen theorems for categories of covering morphisms in lextensive categories ’
We give a form of the Van Kampen Theorem involving covering morphisms in a lextensive category. This includes the usual results for covering maps of locally connected spaces, for light maps of compact Hausdorff spaces, and for locally strong separable algebras. @ 1997 Elsevier Science B.V. 1991 Muth. Sut~j. Cluss.: lSB99,57MlO
متن کاملCharacterizing Van Kampen Squares via Descent Data
Categories in which cocones satisfy certain exactness conditions w.r.t. pullbacks are subject to current research activities in theoretical computer science. Usually, exactness is expressed in terms of properties of the pullback functor associated with the cocone. Even in the case of non-exactness, researchers in model semantics and rewriting theory inquire an elementary characterization of the...
متن کاملA Generalized Van Kampen-flores Theorem
The «-skeleton of a (2« + 2)-simplex does not embed in R " . This well-known result is due (independently) to van Kampen, 1932, and Flores, 1933, who proved the case p = 2 of the following: Theorem. Let p be a prime, and let s and I be positive integers such that l(P 1) < P{s 1). Then, for any continuous map f from a (ps + p 2)dimensional simplex into R , there must exist p points {xx, ... , x ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2012
ISSN: 0166-8641
DOI: 10.1016/j.topol.2011.07.031