  We provide a framework for abstract reconstruction problems using the
$K$-theory of categories with covering families, which we then apply to
reformulate the edge reconstruction conjecture in graph theory. Along the way,
we state some fundamental theorems for the $K$-theory of categories with
covering families.
