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.
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...
- 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.
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
Post a Comment