Models, Logics, and Higher-dimensional Categories: A Tribute to the Work of Mihály MakkaiBradd T. Hart Proceedings of a conference held at Centre de recherches mathematiques of the Universite de Montreal, June 18-20, 2009. |
Other editions - View all
Models, Logics, and Higher-dimensional Categories: A Tribute to the Work of ... Bradd T. Hart No preview available - 2011 |
Common terms and phrases
1-cells 2-category 2-stack abelian groups algebraic arrows axioms bifibrations Boolean canonical cartesian category theory clitic codomain compact computable coproducts Corollary countable countable models definable set definition denote elements embedding equation equivalence equivalence of categories equivalence relation example extension fibre finite 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 Mathematical Mod(L model theory Moishezon monad multicategories natural transformation notation notion object order theory P-internal P-Moishezon Pexp polynomial diagrams pregeometry pregroup preserves presheaf pretopos PROOF Proposition pullback purely countable quantifiers R-modules reindexing result 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 w-groupoid