Lec4-DCN-topos.pdf