PERs in HAω I: Basic constructions and choice principles
2011 (English)Report (Other academic)
We study the approximation of sets by partial equivalence rela-tions (PERs) in HAω - this construction is usually considered in type theory.In this rst part, we start with the basic denitions, and introduce notions ofequality, inclusion, and quotients of PERs. We then show that PERs form anitely complete and nitely cocomplete category, with all constructions given.We also make a detailed investigation of extensional choice principles.
Place, publisher, year, edition, pages
2011. , 35 p.
U.U.D.M. report / Uppsala University, Department of Mathematics, ISSN 1101-3591 ; 2011:17
Algebra and Logic
Research subject Mathematical Logic
IdentifiersURN: urn:nbn:se:uu:diva-159876OAI: oai:DiVA.org:uu-159876DiVA: diva2:447269