Hey guys, Tomorrow we are going to proceed with chapter 1 of Awodey's book (in particular, starting with 4th example in Section 1.6). The place to meet remains the same: https://meet.google.com/qxq-qawo-fiz -- A & J -------------- next part -------------- HTML attachment scrubbed and removed