How it works
に (at) marks 図書館 (library) as the location where someone exists. The unspoken verb is いる (to be (living things)), used for people. The sentence ends with の (question) — a soft, casual question marker that also carries a touch of curiosity or concern: "Are you at the library?"