1. 5
    category theory foundations ☶ compsci ow.ly
    cvsekhar avatar via cvsekhar 4 years ago | cached | 3 comments

Steve Awodey

  1.  

  2. 3
    LeahNeukirchen avatar LeahNeukirchen 4 years ago | link

    I can recommend his book on the topic: https://www.andrew.cmu.edu/course/80-413-713/notes/

    1. 1
      cvsekhar avatar cvsekhar 4 years ago | link

      My bad forgot to add math tag

      1. 1
        vjoel avatar vjoel 4 years ago | link

        Video tag would be helpful, too.