What’s something new you learned recently? Or are learning right now? Or even want to learn? I am curious what kinds of math you all do :)

this term, i’m taking linear representations of finite groups, category theory and homological algebra, and algebraic geometry. i’ve learned so so many cool things this term, but i think the coolest is what i’ve been reading from vakil/hartshorne

would anyone be interested in me making writeup/exposition posts abt topics i think r cool? my interests r around comm alg/alg geo/hom alg/cat theory so it’d be stuff in there prolly

picrel is a cool diagram i got to make in quiver for my last homework submission

  • sylveonsugarM
    link
    fedilink
    English
    arrow-up
    2
    ·
    23 days ago

    im trying to get into a better uni for maths, so im doing olympiad stuff + highschool/competition calculus. for the current uni im in, i have group theory and calc 3 this semester. aside from that, i do like proof theory and operators :>

    • sara0107OPM
      link
      fedilink
      English
      arrow-up
      2
      ·
      23 days ago

      group theory is fun _ i hope you get into the unis you want <3

      what is proof theory?

      • sylveonsugarM
        link
        fedilink
        English
        arrow-up
        1
        ·
        23 days ago

        ty :>

        proof theory is the study of proofs itself as a kind of mathematical object. its related to formal logic, model theory, and homotopy type theory.