Locally cartesian closed exact completions
نویسندگان
چکیده
منابع مشابه
Locally cartesian closed categories and type theory
0. Introduction. I t is well known that for much of the mathematics of topos theory, it is in fact sufficient to use a category C whose slice categories C/A are cartesian closed. In such a category, the notion of a 'generalized set', for example an 'Aindexed set', is represented by a morphism B^-A of C, i.e. by an object of C/A. The point about such a category C is that C is a C-indexed categor...
متن کاملCartesian products as profinite completions
We prove that if a Cartesian product of alternating groups is topologically finitely generated, then it is the profinite completion of a finitely generated residually finite group. The same holds for Cartesian producs of other simple groups under some natural restrictions.
متن کاملUndecidability of Equality in the Free Locally Cartesian Closed Category
We show that a version of Martin-Löf type theory with extensional identity, a unit type N1,Σ,Π, and a base type is a free category with families (supporting these type formers) both in a 1and a 2-categorical sense. It follows that the underlying category of contexts is a free locally cartesian closed category in a 2-categorical sense because of a previously proved biequivalence. We then show th...
متن کاملExact completions and toposes
Toposes and quasi-toposes have been shown to be useful in mathematics, logic and computer science. Because of this, it is important to understand the different ways in which they can be constructed. Realizability toposes and presheaf toposes are two important classes of toposes. All of the former and many of the latter arise by adding “good” quotients of equivalence relations to a simple catego...
متن کاملSemi-abelian Exact Completions
The theory of protomodular categories provides a simple and general context in which the basic theorems needed in homological algebra of groups, rings, Lie algebras and other non-abelian structures can be proved [2] [3] [4] [5] [6] [7] [9] [20]. An interesting aspect of the theory comes from the fact that there is a natural intrinsic notion of normal monomorphism [4]. Since any internal reflexi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2000
ISSN: 0022-4049
DOI: 10.1016/s0022-4049(99)00192-9