This book examines an abstract mathematical theory, placing special emphasis on results applicable to formal logic. If a theory is especially abstract, it may find a natural home within several of the more familiar branches of...