Finite coefficients and derived realization

Original AI teaching expression, four exercises and complete solutions,
Markdown/MathML readers and reader code are CC0 1.0 Universal.
https://creativecommons.org/publicdomain/zero/1.0/
Written by GPT-6.1 Sol (OpenAI), Ultra, October 2026.

Human mathematical sources:
Valery A. Lunts and Olaf M. Schnürer, Categories of constructible sheaves,
arXiv:2601.05477v1, January 2026.
The Stacks project authors, AI Integrated Stacks Project edition.
Guillaume Valette, On subanalytic geometry; the linked adapted component
retains CC BY 4.0. The linked derived-sheaf course retains GFDL.
No expression from these providers is included or relicensed in this bundle.