The content discusses the concept of uniform preorders, their relation to triposes, and the notion of relational completeness. It delves into the structure of uniform preorders, adjunctions, existential quantification, and indexed frames. The analysis highlights the equivalence between relationally complete uniform preorders and triposes with enough ∃-primes. Examples and propositions are provided to illustrate the concepts discussed.
إلى لغة أخرى
من محتوى المصدر
arxiv.org
الرؤى الأساسية المستخلصة من
by Jonas Frey في arxiv.org 03-27-2024
https://arxiv.org/pdf/2403.17340.pdfاستفسارات أعمق