万物の理論としての圏論