It then explains the notions of functor categories, natural transformations and presheaves. A formal theory of diagrammatic signs building on Peirce's ...
確定! 回上一頁