Let's go! - Day 5

Well, I did absolutely nothing productive on my writing over the weekend and it was fantastic. I feel so well rested and ready to take on the world.

There's some anxiety - I didn't work this weekend and I meet my advisor today. He's not going to be pleased with my lack of progress. That being said, I'll work hard this morning so I have something to show him at 1pm.

Goals

Today I will...
  1. Write out the cancellation steps. It may take many pieces of paper and a long time, but it's going to happen.

Reflection

11:00 - There was a moment of absolute terror about half an hour ago when I realized that I made a fatal typo in my work. Thankfully, some panic and some thought worked it out. But MAN. That was a stressful moment.

11:32 - I proved a thing I suspected was true! Woot woot!

12:11- Finished the base case. Checked out that there are no other arrows involved in the homotopy cancellation step; that goodness there's not! Thus, this follows precisely like the base-base case. I need to write this up, but I also need to prove the inductive step. Both are important; neither will get done before I see Ben, unfortunately, since that's in less than an hour. Yet, here we are. I did a thing, fixed another thing, and am generally sure that there's nothing I'm missing with this proof.

Comments

Popular posts from this blog

I'm So Over This - 18 DTD

Editing - 26 DTD

I Fought the Printer - Day 8