 |
|
What people are saying - Write a reviewWe haven't found any reviews in the usual places. Related books
Contents
Common terms and phrases2-category 5-indexed 5-topos adjunction algebra allegory arbitrary bijection Boolean canonical cartesian category cartesian closed category cartesian functor classifying map classifying topos cocover codomain coequalizer coherent category colimits commutes comonad composite construction coproducts corresponding counit defined definition denote diagonal diagram of shape discrete opfibration epimorphism equalizer equivalence relation example exists exponential fact factors fibration finite limits finite products follows forgetful functor full and faithful full subcategory functor category functor F geometric morphism given hence Heyting idempotent inclusion indexed category indexed functor induced internal category kernel-pair left adjoint Lemma locally cartesian closed locally small monad monic monomorphisms natural number object natural transformation obtain particular phism poset preorder preserves pullbacks profunctors Proof pullback pullback square quasitopos Reg(C regular category resp right adjoint satisfies Section sheaf slice category small category split stable under pullback subobject classifier suppose terminal object Theorem theory topological toposes universal closure operation Popular passagesPage 12 - ... aspects of descriptive set theory 12. JL Bell: Boolean-valued models and independence proofs in set theory (2nd edition) 13. Melvin Fitting: Computability theory: semantics and logic programming 14. JL Bell: Toposes and local set theories: an introduction 15. R. Kaye: Models of Peano arithmetic 16. J. Chapman and F. Rowbottom: Relative category theory and geometric morphisms: a logical approach 17. Stewart Shapiro: Foundations without foundationalism 18. John P. Cleave: A study of logics 19.... Page 12 - Math., (2) 33 (1932), 346-366. [12] A. Church, A note on the Entscheidungsproblem, J. Symb. Logic 1 (1936), 40-41, 10 1-10 2. Page 11 - CW Burden and CJ Mulvey, Banach spaces in categories of sheaves, in Applications of sheaves, Lecture Notes in Math. vol. 753 (Springer-Verlag, 1979), 169-196; MR 81h:46095. Page 33 - Categories in Computer Science and Logic, Contemp. Math., vol. 92, Amer. Math. Soc., 1989, pp. Page 12 - Carboni and PT Johnstone, Connected limits, familial representability and Artin glueing, Math. Page 12 - A. Carboni and R. Celia Magno, The free exact category on a left exact one. J. Austral. Math. Soc. A 33 (1982), 295-301; MR 84g:18017. Page 33 - Categories of spaces may not be generalized spaces, as exemplified by directed graphs, Rev. References to this bookFrom other books
From Google ScholarSynthetic topology of data types and classical spacesMartın Escardo A Dependent Type Theory with Names and BindingUlrich Schopp, Ian Stark Proof-Net CategoriesKosta Dosen, Zoran Petric A topos foundation for theories of physics: I. Formal languages ...A Döring, CJ Isham - 2008 - Journal of Mathematical Physics References from web pagesJSTOR: Sketches of an Elephant: A Topos Theory Compendium categories: Sketches of an Elephant Sketches of an Elephant: A Topos Theory Compendium - Volume 2 Zentralblatt MATH Database 1931 – 2008 1071.18001 topos University of Chicago Category Theory Seminar Tychonoff Theorem and AC in locales by Martín Escardó AWOD: “FM” — 2006/3/11 — 17:35 — PAGE i — #1 OXFORD LOGIC GUIDES Everybody sees the same elephant (says Carlo Rovelli) University of Illinois at UC Mathematics Library -- New Books ... Bibliographic information
|
