12 citations · 25 across the 10 of their papers we have counts for
10 papers
Completions of Implicative Assemblies
Alexandre Miquel, Krzysztof Worytkiewicz
We continue our work on implicative assemblies by investigating under which circumstances a subset gives rise to a lex full subcategory o…
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…
Witt rings of quadratically presentable fields
Pawel Gladki, Krzysztof Worytkiewicz
This paper introduces a novel approach to the axiomatic theory of quadratic forms. We work internally in a category of certain partially ordered sets, subject to additional conditi…
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 folk model structure on omega-cat
Yves Lafont, Francois Metayer, Krzysztof Worytkiewicz
We establish a model structure on the category of strict omega-categories. The constructions leading to the model structure in question are expressed entirely within the scope of o…