Categorical Logic and Type Theory

Erscheinungsjahr 2001
ISBN: 978-0-444-50853-9
Verlag: Elsevier Science & Technology

Buch, Englisch, 778 Seiten, Format (B × H): 156 mm x 234 mm, Gewicht: 1200 g

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.

Autoren/Hrsg.

Jacobs, B.

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Grundlagen der Mathematik
• Mathematik | Informatik Mathematik Geometrie Algebraische Geometrie
• Geisteswissenschaften Philosophie Wissenschaftstheorie, Wissenschaftsphilosophie
• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik
• Interdisziplinäres Wissenschaften Wissenschaften: Allgemeines Wissenschaften: Theorie, Epistemologie, Methodik

Inhaltsverzeichnis

Chapter Headings only. Preface. Contents. Preliminaries. Prospectus. Introduction to fibred category theory. Simple type theory. Equational logic. First order predicate logic. Higher order predicate logic. The effective topos. Internal category theory. Polymorphic type theory. Advanced fibred category theory. First order dependent type theory. Higher order dependent type theory. References. Notation index. Subject index.