Descent theory of locally internal categories

[摘要] We prove that, in a category with finite limits, known characterizations of descent and effective descent morphisms along a map p depend only on the adjointness of p and p degrees in a Span category. Therefore, they can be easily transferred to other situations, e.g. to locally internal categories and to existential hyperdoctrines. (C) 2000 Elsevier Science B.V. All rights reserved. MSC: 18D30; 18D20; 18D05.

[发布日期] 2000-12-01

[效力级别]  Proceedings Paper