Jonas Höfer

Preprints

Constructive higher sheaf models with applications to synthetic mathematics

Thierry Coquand, Jonas Höfer, Christian Sattler
arXiv preprint, 2026
accepted to LICS 2026

Univalence without function extensionality

Evan Cavallo, Jonas Höfer
arXiv preprint, 2026
accepted to MFPS 2026

Publications

Nearly \(k\)-universal words – Investigating a part of Simon’s congruence

Pamela Fleischmann, Lukas Haschke, Jonas Höfer, Annika Huch, Annika Mayrock, Dirk Nowotka
published in Theoretical Computer Science, Volume 974, 2023

\(\alpha\)-\(\beta\)-Factorization and the Binary Case of Simon’s Congruence

Pamela Fleischmann, Jonas Höfer, Annika Huch, Dirk Nowotka
published in Fundamentals of Computation Theory (FCT 2023), 2023

Thesis, etc.

A Note About Models of Synthetic Algebraic Geometry

Describes an issue with the construction of models of synthetic algebraic geometry in a constructive meta theory and a fix in special cases, 2025

On Equivalence Classes of Simon’s Congruence and Shuffles

Master’s thesis in Computer Science, Kiel University, 2022