Constructive higher sheaf models with applications to synthetic mathematicsPublished in LICS 2026, 2026Direct LinkShare on Bluesky Facebook LinkedIn Mastodon X (formerly Twitter) Previous Next