1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.CT2020
Effective Kan fibrations in simplicial sets
Benno van den Berg, Eric Faber
We introduce the notion of an effective Kan fibration, a new mathematical structure that can be used to study simplicial homotopy theory. Our main motivation is to make simplicial…
math.LO2014★ 1 cited
Effective Operations of Type 2 in Pcas
Eric Faber, Jaap van Oosten
We exhibit a way of "forcing a functional to be an effective operation" for arbitrary partial combinatory algebras (pcas). This gives a method of defining new pcas from old ones fo…
math.LO2014
More on Geometric Morphisms between Realizability Toposes
Eric Faber, Jaap van Oosten
Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the {\e…