abstract:In category theory, a branch of mathematics, a V-valued presheaf F on a category C is a functor F\colon C^\mathrm{op}\to\mathbf{V}. Often presheaf is defined to be a Set-valued presheaf.
This papersummarized the mainparameterdesigningmethod of pre-stressedanchorage in coal mine andtheconstructiontechnology of singlesheafresin-gluing anchorage.