Download or read book Categorical Logic and Type Theory written by B. Jacobs and published by Elsevier Health Sciences. This book was released on 1999 with total page 790 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is an attempt to give a systematic presentation of both logic and type theory from a categorical perspective, using the unifying concept of fibred category. Its intended audience consists of logicians, type theorists, category theorists and (theoretical) computer scientists.