@dibblego I got completely lost by pg 23 of Awodey's CT book. Got any suggestions of other material I could start with?
@davetchepak Pierce was my first CT book, but it is tough going. Maybe try #categorytheory IRC channel.
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@dibblego I got completely lost by pg 23 of Awodey's CT book. Got any suggestions of other material I could start with?
@davetchepak Pierce was my first CT book, but it is tough going. Maybe try #categorytheory IRC channel.