D be a stable retraction t h e n r(D) is a Bif^. Proof First let u s s h o w that Vx, y ~ r(D) o. MUBr(D){X, y} is finite. Suppose: x 1 ~ rxl, x 2 _

Download PDF sample

Category Theory and Computer Science: Paris, France, by Thomas Ehrhard, Pasquale Malacaria (auth.), David H. Pitt,
Rated 4.75 of 5 – based on 7 votes