10 citations · 12 across the 6 of their papers we have counts for
7 papers
Constructive Simplicial Homotopy
Wouter Pieter Stekelenburg
This paper aims to help the development of new models of homotopy type theory, in particular with models that are based on realizability toposes. For this purpose it develops the f…
Realizability of Univalence: Modest Kan complexes
Wouter Pieter Stekelenburg
A modest Kan complex is a modest simplicial set which has a right lifting property with respect to horn inclusions . This paper develops the categorical logical th…
Resolvent embeddings
Wouter Pieter Stekelenburg
Many ex/reg completions that arise in categorical realizability and tripos theory admit left Kan extensions of arbitrary finitely continuou…
Categories of assemblies for realizability
Wouter Pieter Stekelenburg
This paper introduces categories of assemblies which are closely connected to realizability interpretations and which are based on an important subcategory of the effective topos.…
Realizability Categories
Wouter Pieter Stekelenburg
This is the author's Ph.D. Thesis. It contains results from four years of research into realizability and categorical logic. The main subjects are the axiomatisation of realizable…
Regular Functors and Relative Realizability Categories
Wouter Pieter Stekelenburg
Relative realizability toposes satisfy a universal property that involves regular functors to other categories. We use this universal property to define what relative realizability…