圏論への道筋

集合演算 (和、積、商、冪) についての直感と、それらについての証明を読み解く力