Skip to main content
HEXAGON
beta
Submit
About
Who we are
Sign in
hexagon:2611.00276v1
/
Source files
Definability and Lifting in Model Subgroupoids
Contributed by Zhenyu Sun
Source files
Download source .zip
root file
definability_lifting.tex · root file
121 KiB · SHA-256 cbb7b7fea58a8275… · view text
ancillary
anc/finite_lifting.py
7 KiB · SHA-256 30ab820f084f4ec7… · view text
ancillary
anc/finite_results.json
5 KiB · SHA-256 da2d9f08d7d9279e… · view text
Back to the main record