Search Images Maps Play YouTube News Gmail Drive More »
My library | Help | Advanced Book Search | Web History | Sign in

Books

Models, Logics, and Higher-dimensional Categories:

A Tribute to the Work of Mihály Makkai
Front Cover
Bradd T. Hart
0 Reviews
American Mathematical Soc., 2011 - Mathematics - 426 pages
Proceedings of a conference held at Centre de recherches mathematiques of the Universite de Montreal, June 18-20, 2009.
  

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

Categorical Logic and Type Theory
Categorical Logic and Type Theory
Bart Jacobs
Limited preview - 2001
Category Theory, 1991: Proceedings of an International Category Theory ...
Category Theory, 1991: Proceedings of an International Category Theory ...
R. A. Robert Andrew George Seely,Canadian Mathematical Society
Limited preview - 1992
Henkin-Keisler Models
Henkin-Keisler Models
George Weaver
No preview available - 1997
All related books »

Contents

I
1
II
29
III
55
IV
79
V
107
VI
139
VII
157
VIII
169
X
189
XI
213
XII
231
XIII
245
XIV
263
XV
277
XVI
291
XVII
341

IX
177
Copyright

Common terms and phrases

1-cells 2-category 2-stack abelian groups algebraic arrows axioms Boolean canonical cartesian category theory clitic codomain compact computable coproducts Corollary countable countable models definable definable set defined definition denote elements embedding equation equivalence equivalence of categories equivalence relation example extension fibration fibre fibred finite first formula function functor F given groupoid hence induced infinitary interpretation isomorphism language Lawvere theory lax monoidal fibrations Lecture Notes left adjoint Lemma logic Makkai Math Mathematics model theory ModL ModT Moishezon monad monoidal fibrations morphism multicategories natural transformation notation notion object order theory P-internal P-Moishezon polynomial diagrams pregeometry pregroup preserves presheaf pretopos proof Proposition pullback quantifiers R-modules reindexing result satisfiable satisfy Scott rank Section Sep(C Set/Q Sh(C stack completion strongly regular structure subset symmetric tensor Theorem topological modules topos tuples type theory unique vector

Bibliographic information

QR code for Models, Logics, and Higher-dimensional Categories
TitleModels, Logics, and Higher-dimensional Categories: A Tribute to the Work of Mihály Makkai
Volume 53 of CRM Proceedings & Lecture Notes, Centre de Recherches Mathématiques.Montréal, ISSN 1065-8580
EditorBradd T. Hart
ContributorsMihály Makkai, Bradd T. Hart
Editionillustrated
PublisherAmerican Mathematical Soc., 2011
ISBN0821883828, 9780821883822
Length426 pages
Subjects › 

Mathematics / General
  
Export CitationBiBTeX EndNote RefMan