Models, Logics, and Higher-dimensional Categories: A Tribute to the Work of Mihály Makkai
Bradd T. Hart
American Mathematical Soc. - 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.
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 deﬁnable definable set deﬁned deﬁnition denote elements embedding equation equivalence equivalence of categories equivalence relation example extension fibration ﬁbre fibred finite ﬁrst 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 ﬁbrations 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 satisﬁable 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