What people are saying - Write a review
We haven't found any reviews in the usual places.
2-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
Page 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 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.
From other books
All Book Search results »
From Google Scholar
Ulrich Schopp, Ian Stark
Kosta Dosen, Zoran Petric
All Scholar search results »
A Döring, CJ Isham - 2008 - Journal of Mathematical Physics
JSTOR: 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
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 ...