A category theoretical interpretation of discretization in Galerkin finite element method