Notes on constructive topology

Some of these notes are very preliminary. They may be lacking context or detail, and might have errors, too.