Categorical Logic and Type Theory : Volume 141 - B Jacobs

Categorical Logic and Type Theory

Volume 141

By: B Jacobs

Paperback | 10 May 2001

At a Glance

Paperback


RRP $164.95

$130.40

21%OFF

or 4 interest-free payments of $32.60 with

 or 

Aims to ship in 5 to 10 business days

Preface. Contents. Preliminaries. Prospectus. Logic, ty pe theory, and fibred category theory. The logic and type theory of sets . Introduction to fibred category theory. Fibrations. S ome concrete examples: sets, &ohgr;-sets and PERs. Some general examples . Cloven and split fibrations. Change-of-base and composition for fibrat ions. Fibrations of signatures. Categories of fibrations. Fibrewise stru cture and fibred adjunctions. Fibred products and coproducts. Indexed ca tegories. Simple type theory. The basic calculus of typ es and terms. Functorial semantics. Exponents, products and coproducts. Semantics of simple type theories. Semantics of the untyped lambda calcu lus as a corollary. Simple parameters. Equational logic. Logics. Specifications and theories in equational logic. Algebraic spe cifications. Fibred equality. Fibrations for equational logic. Fibred fu nctorial semantics. First order predicate logic. Signat ures, connectives and quantifiers. Fibrations for the first order predic ate logic. Functorial interpretation and internal language. Subobject fi
Industry Reviews
...The author's achievement in collecting and organizing a very large body of material in coherent form, ... this is first and foremost an encyclopaedic work, into which specialists will delve with much pleasure and profit... One very welcome feature of the book is a comprehensive bibliography of nearly 350 items...
Zentralblatt fur Mathematik, vol.905
R.A.G. Seely
This book will be the standard reference in its field for some time to come.
The Bulletin of Symbolic Logic, Vol. 6

More in Physics

Black Holes : The key to understanding the universe - Professor Brian Cox
More and More and More : An All-Consuming History of Energy - Jean-Baptiste Fressoz
Stargazing for Beginners : Explore the Wonders of the Night Sky - DK
A Brief History Of Time : From Big Bang to Black Holes - Stephen Hawking
Astrophysics for People in a Hurry - Neil deGrasse Tyson

RRP $31.95

$29.35

Basic Physics 3ed : A Self-Teaching Guide - Karl F. Kuhn

RRP $46.95

$31.25

33%
OFF
Universe : The Definitive Visual Guide - DK

RRP $65.00

$44.25

32%
OFF