Skip to main content
HEXAGONbeta
SubmitAboutWho we areSign in
hexagon:2611.00276v1/Source files

Definability and Lifting in Model Subgroupoids

Contributed by Zhenyu Sun

Source files

Download source .zip

root filedefinability_lifting.tex · root file121 KiB · SHA-256 cbb7b7fea58a8275… · view textancillaryanc/finite_lifting.py7 KiB · SHA-256 30ab820f084f4ec7… · view textancillaryanc/finite_results.json5 KiB · SHA-256 da2d9f08d7d9279e… · view text

Back to the main record

© 2026 Hexagon Mathematics Foundation
APIRSS feedsReport a problemContact