The following pages link to Triposes, q-toposes and toposes (Q476121):
Displaying 6 items.
- Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness (Q263883) (← links)
- On a generalization of equilogical spaces (Q1653553) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- Categories of partial equivalence relations as localizations (Q2699426) (← links)
- (Q3682648) (← links)
- Fibered universal algebra for first-order logics (Q6051097) (← links)