Pages that link to "Item:Q1903677"

The following pages link to Some free constructions in realizability and proof theory (Q1903677):

Displaying 50 items.

• Quotient completion for the foundation of constructive mathematics (Q382422) (← links)
• Lex colimits (Q456823) (← links)
• The category of equilogical spaces and the effective topos as homotopical quotients (Q504545) (← links)
• Aspects of predicative algebraic set theory. II: Realizability (Q534701) (← links)
• Inductive types and exact completion (Q556819) (← links)
• Filtered colimits in the effective topos (Q819805) (← links)
• Cocomplete toposes whose exact completions are toposes (Q886236) (← links)
• Aspects of predicative algebraic set theory. I: Exact completion (Q958492) (← links)
• Läuchli's completeness theorem from a topos-theoretic perspective (Q969688) (← links)
• A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
• A small complete category (Q1112159) (← links)
• On free constructions (Q1178745) (← links)
• Extensional realizability (Q1356980) (← links)
• Regular and exact completions (Q1380046) (← links)
• Locally cartesian closed exact completions (Q1588066) (← links)
• Weak subobjects and the epi-monic completion of a category. (Q1588073) (← links)
• More exact completions that are toposes (Q1602851) (← links)
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
• Exact completion of path categories and algebraic set theory. I: Exact completion of path categories (Q1748403) (← links)
• Splitting idempotents in a fibered setting (Q1756501) (← links)
• An extension of the regular completion (Q1850097) (← links)
• A characterization of the left exact categories whose exact completions are toposes (Q1861488) (← links)
• Relative completions (Q1878419) (← links)
• The symmetric topos (Q1910730) (← links)
• Decidable (= separable) objects and morphisms in lextensive categories (Q1916429) (← links)
• On stability of exactness properties under the pro-completion (Q2217538) (← links)
• Elementary doctrines as coalgebras (Q2220195) (← links)
• Sobriety for equilogical spaces (Q2253179) (← links)
• Category theoretic structure of setoids (Q2253183) (← links)
• Unifying exact completions (Q2254599) (← links)
• On generalized equilogical spaces (Q2310780) (← links)
• A factorization of regularity (Q2573482) (← links)
• Completions, comonoids, and topological spaces (Q2575766) (← links)
• A characterization of generalized existential completions (Q2683780) (← links)
• Lawvere–Tierney sheaves in Algebraic Set Theory (Q3399181) (← links)
• The Discrete Objects in the Effective Topos (Q3481914) (← links)
• Setoids and universes (Q3583021) (← links)
• Three extensional models of type theory (Q3625679) (← links)
• (Q4230985) (← links)
• Frege's theorem in a constructive setting (Q4262566) (← links)
• (Q4861177) (← links)
• A property of effectivization and its uses in categorical logic (Q4975426) (← links)
• Aspects of Categorical Recursion Theory (Q5014598) (← links)
• The existential completion (Q5129224) (← links)
• A characterisation of the category of compact Hausdorff spaces (Q5137920) (← links)
• EXACT COMPLETION AND CONSTRUCTIVE THEORIES OF SETS (Q5148098) (← links)
• A PREDICATIVE VARIANT OF HYLAND’S EFFECTIVE TOPOS (Q5159483) (← links)
• Regular functors and relative realisability categories (Q5400856) (← links)
• W-types in homotopy type theory (Q5740651) (← links)
• The effective model structure and -groupoid objects (Q5866297) (← links)