Basic Category Theory for Computer Scientists provides a straightforward presentation of the Basic constructions and terminology of Category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories..
Basic Category Theory for Computer Scientists provides a straightforward presentation of the Basic constructions and terminology of Category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories.