2011/06/21 by Wouter Pieter Stekelenburg, Stekelenburg, Wouter Pieter
Computer Science · Mathematics · #03G30 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1106.4121
openalex publication_date 2011/06/21 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Relative realizability toposes satisfy a universal property that involves regular functors to other categories. We use this universal property to define what relative realizability categories are, when based on other categories than of the topos of sets. This paper explains the property and gives a construction for relative realizability categories that works for arbitrary base Heyting categories. The universal property shows us some new geometric morphisms to relative realizability toposes too.