Монадный метод и канонический формализм общей теории относительностистатья