Jonas Frey

Available identifiers

zbMath Open frey.jonasMaRDI QIDQ476120

List of research outcomes

Publication	Date of Publication	Type
Optimal stopping in a dynamic salience model	2024-07-15	Paper
Duality for Clans: an Extension of Gabriel-Ulmer Duality	2023-08-23	Paper
Constructing coproducts in locally Cartesian closed \(\infty\)-categories	2023-05-04	Paper
Categories of partial equivalence relations as localizations	2023-04-26	Paper
Triposes as a generalization of localic geometric morphisms	2022-06-24	Paper
Impredicative encodings of (higher) inductive types	2021-01-20	Paper
Categories of partial equivalence relations as localizations	2019-12-13	Paper
Characterizing partitioned assemblies and realizability toposes	2019-01-24	Paper
Classical realizability in the CPS target language	2018-04-23	Paper
Realizability toposes from specifications	2017-07-12	Paper
Ordered combinatory algebras and realizability	2017-04-03	Paper
Triposes, q-toposes and toposes	2014-11-28	Paper
A fibrational study of realizability toposes	2014-03-14	Paper
A 2-Categorical Analysis of the Tripos-to-Topos Construction	2011-04-14	Paper
Uniform Preorders and Partial Combinatory Algebras	N/A	Paper

Research outcomes over time

This page was built for person: Jonas Frey