Functors of sub-descent type and dominion theory
نویسندگان
چکیده
منابع مشابه
Functors of Subdescent Type and Dominion Theory
Necessary and sufficient conditions are given for the EilenbergMoore comparison functor <1> arising from a functor U (having a left adjoint) to be a Galois connection in the sense of J. R. Isbell, in which case the functor U is said to be of subdescent type. These conditions, when applied to a contravariant hom-functor U = C(-, B) : C°p -» Set, read like a kind of functional completeness axiom ...
متن کاملthe investigation of the relationship between type a and type b personalities and quality of translation
چکیده ندارد.
On descent for coalgebras and type transformations
We find a criterion for a morphism of coalgebras over a Barr-exact category to be effective descent and determine (effective) descent morphisms for coalgebras over toposes in some cases. Also, we study some exactness properties of endofunctors of arbitrary categories in connection with natural transformations between them as well as those of functors that these transformations induce between co...
متن کاملSub-extensional type theory
Martin-Löf’s type theory is the basis of a variety of formal systems underlying many proof assistants. There are a lot of variants of type theory, among which two classes can be identified: intensional and extensional type theory. The difference between the two lies in the manner in which the equality is dealt with, but this results in huge differences. Intensional type theory requires the user...
متن کاملON GR-FUNCTORS BETWEEN GR-CATEGORIES: OBSTRUCTION THEORY FOR GR-FUNCTORS OF THE TYPE (φ, f)
Each Gr-functor of the type (φ, f) of a Gr-category of the type (Π, C) has the obstruction be an element k ∈ H(Π, C). When this obstruction vanishes, there exists a bijection between congruence classes of Gr-functors of the type (φ, f) and the cohomology group H(Π,C). Then the relation of Gr-category theory and the group extension problem can be established and used to prove that each Gr-catego...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1994
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1994-1201297-8