Posting this animation again bc it's the only thing I did since my last bump:
Anyway, I'm going to retire my 'one picture per bump' thing as I really need to work on my thesis, which is due July next year Instead, I'm going to use this thread to hold me accountable for actually making progress on my research! (I'll post what I've done here, even if no-one finds it interesting or comprehensible, just bc it helps with accountability XD)(I will probably return to some manner of art/comic progress accountability once I'm done with my degree, one way or another)
Each week, I must come up with concrete (showable, written down) goals for the following week. If I either fail to meet my objective OR fail to come up with a concrete objective for the following week, I must tell you and give one free drawing to the first person to respond :]
So by next Tuesday, I must:
- Formalize the full theory of partially saturated anabicategories, as an essentially algebraic theory
- Write something about how pushouts might look like in the category of models of the above structure and strict model maps between them
- Write something about where to assign which 2-cells get mapped to by the composition and identity anafunctors