6 citations · 16 across the 11 of their papers we have counts for
3 papers · 1 filter
Generalized Decidability via Brouwer Trees
Tom de Jong, Nicolai Kraus, Aref Mohammadzadeh +1
In the setting of constructive mathematics, we suggest and study a framework for decidability of properties, which allows for finer distinctions than just "decidable, semidecidable…
The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
Tom de Jong, Nicolai Kraus, Axel Ljungström
Simplicial type theory extends homotopy type theory and equips types with a notion of directed morphisms. A Segal type is defined to be a type in which these directed morphisms can…
Examples and counterexamples of injective types
Tom de Jong, Martín Hötzel Escardó
It is known that, in univalent mathematics, type universes, the type of -types in a universe, reflective subuniverses, and the underlying type of any algebra of the lifting mona…