12 citations · 25 across the 10 of their papers we have counts for
5 papers · 1 filter
Implicative Assemblies
Félix Castro, Alexandre Miquel, Krzysztof Worytkiewicz
Implicative algebras, recently discovered by Miquel, are combinatorial structures unifying classical and intuitionistic realizability as well as forcing. In this paper we introduce…
Hurewicz fibrations in elementary toposes
Krzysztof Worytkiewicz
We study formal counterparts of Hurewicz fibrations and related topological notions in elementary toposes with NNO. The constructions are based on a specific notion of interval and…
Sheaves of ordered spaces and interval theories
Krzysztof Worytkiewicz
We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly w…
A model category for local po-spaces
Peter Bubenik, Krzysztof Worytkiewicz
Locally partial-ordered spaces (local po-spaces) have been used to model concurrent systems. We provide equivalences for these spaces by constructing a model category containing th…
A model structure a la Thomason on 2-Cat
K. Worytkiewicz, K. Hess, P. E. Parent +1
We exhibit a model structure on 2-Cat, obtained by transfer from sSet across the adjunction C_2 o Sd^2 -| Ex^2 o N_2.