User:Alec/Goals/2017.2.25 - 2017.3.3

Work done

• lifting of a continuous map through a covering map - Alec (talk) 22:23, 26 February 2017 (UTC)
• The real numbers and The real line have been separated out, added infobox with standard structures to the real numbers Alec (talk) 22:23, 26 February 2017 (UTC)
  • And a bunch of redirects fixed Alec (talk) 22:23, 26 February 2017 (UTC)
• Borel sigma-algebra of the real line has been created Alec (talk) 22:23, 26 February 2017 (UTC)

Pages

• lifting of a continuous map through a covering map Alec (talk) 01:45, 26 February 2017 (UTC)
• Unique lifting property - complete with proof - even if proof on paper. Alec (talk) 01:45, 26 February 2017 (UTC)
• Path lifting property Alec (talk) 01:45, 26 February 2017 (UTC)
• Homotopy lifting property Alec (talk) 01:45, 26 February 2017 (UTC)
• Monodromy theorem Alec (talk) 01:45, 26 February 2017 (UTC)

Carried forward

• Singleton (set theory) Alec (talk) 01:45, 26 February 2017 (UTC)