[MathOuvrage]
Synthetic differential topology
/ Bunge, Marta ; Gago, Felipe ; San Luis, Ana Maria.
-Cambridge : Cambridge university Press, 2018. - ix, 223 p. ; 23 cm
ISBN 9781108447232
[MathOuvrage]
Category theory for computing science
/ Barr, Michael ; Wells, Charles.
-Montréal : Centre de recherches mathématiques, 1999. - xvii, 526 p. ; 25 cm
ISBN 9782921120319
[MathOuvrage]
Synthetic differential geometry
/ Kock, Anders.
-Cambridge : Cambridge university Press, 2006. - xii, 233 p. ; 23 cm
ISBN 9780521687386
[MathOuvrage]
Proper maps of toposes
/ Moerdijk, Ieke ; Vermeulen, Jacob Johan C..
-Providence RI : American mathematical Society, 2000. - ix, 108 p. ; 26 cm
ISBN 9780821821688