Morgan Arnold on Nostr: nprofile1q…ufa4k oh, i'm sure! my experience with texts in category theory has just ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqknzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqaufa4k (nprofile…fa4k) oh, i'm sure! my experience with texts in category theory has just tended to be that the examples and motivations given tend to be very algebraic in nature (this was my experience with mac lane's book and riehl's book, at least), and so my lack of fluency in algebra can make them tricky to understand. i might try looking at awodey's book? i'm mostly interested in category theory insofar as it's connected to logic and type theory, so awodey's book might be a better fit