Pages that link to "Item:Q504545"

The following pages link to The category of equilogical spaces and the effective topos as homotopical quotients (Q504545):

Displaying 3 items.

• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
• Univalent polymorphism (Q1987219) (← links)
• Categories of partial equivalence relations as localizations (Q2699426) (← links)