Do you want BuboFlash to help you learning these things? Or do you want to add or correct something? Click here to log in or create user.



The selection of material was easy. There is a standard core that must be included: categories, functors, natural transformations, equi- valence, limits and colimits, functor categories, representables, Yoneda’s lemma, adjoints, and monads. That nearly fills a course. The only “optional” topic inclu- ded here is cartesian closed categories and the λ-calculus, which is a must for computer scientists, logicians, and linguists. Several other obvious further topics were purposely not included: 2-categories, topoi (in any depth), and monoidal categories. These topics are treated in Mac Lane, which the student should be able to read after having completed the course.
If you want to change selection, open document below and click on "Move attachment"

pdf

owner: LustrzanyDotyk - (no access) - (Oxford Logic Guides 52) Steve Awodey-Category Theory-Oxford University Press (2010).pdf, p11


Summary

statusnot read reprioritisations
last reprioritisation on suggested re-reading day
started reading on finished reading on

Details



Discussion

Do you want to join discussion? Click here to log in or create user.