categories/doldkan: moved doldkan from topology to categories; fixed the bogus step in proving N+D=C
forgot to add file from last commit
topology/completion: formatting