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 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