User:Lord Farin/Long-Term Projects/Munkres

From ProofWiki
Jump to navigation Jump to search

Processing of 'Topology'

First page it covers: Definition:Naive Set Theory.

A classic on topology. Seeking to refresh and enhance my knowledge of topology, I thought it nice to give PW further topological coverage while at it.

Progress thus far

Initial set-up complete. — Lord_Farin (talk) 08:21, 11 April 2014 (UTC)

Up to $\S 2$. Definition:Many-to-One Relation. — Lord_Farin (talk) 10:35, 11 April 2014 (UTC)

Up to $\S 4$. Definition:Binary Operation. — Lord_Farin (talk) 12:53, 12 April 2014 (UTC)

Up to Exercises of $\S 5$. Definition:Cartesian Product/Cartesian Space/Real Cartesian Space/Countable. — Lord_Farin (talk) 21:33, 15 November 2015 (UTC)

Exercises are very boring -- skipped to $\S 6$. — Lord_Farin (talk) 13:03, 29 November 2015 (UTC)


Missing Proofs

None atm

Skipped thus far (that is, what needs to be done still)

Other things

None