The aim of the book is to develop an appropriate category-theoretical background to
characterize the category Par of all sets and all partial mappings between sets and to use
this characterization to study theories for partial algebras. For a better understanding we
first will give the most important basic concepts from Category Theory which are used
throughout the book.