@TECHREPORT{Martini96elementsof, author = {Alfio Martini}, title = {Elements of Basic Category Theory}, institution = {}, year = {1996} }

Share

OpenURL

Abstract

Category theory provides an elegant and powerful means of expressing relationships across a wide area of mathematics. But further than this it has had a considerable impact on the conceptual basis both of mathematics and many parts of theoretical computer science. Important connections in computer science include the design of both functional and imperative programming languages, semantic models of programming languages, semantics of concurrency, specification and development of algorithms, type theory and polymorphism, specification languages, algebraic semantics, constructive logic and automata theory. The purpose of this text is to provide a soft stairway to this infectious and attractive field of mathematics. We provide here a careful and detailed explanation of "basic elements", or more precisely, from the elementary definitions to adjoint situations. The general approach used here is to provide a careful motivation for the majority of constructions as well as a detailed presentat...