Links for sheaf-lang