Univalence without function extensionality

Published in MFPS 2026, 2026