A SHEAF THEORETIC APPROACH TO MEASURE THEORY (2006)

by Matthew Jackson
Citations:5 - 0 self

Active Bibliography

SET THEORY FOR CATEGORY THEORY – Michael A. Shulman - 810
88 Categorical Logic – Andrew M. Pitts - 1995
1 Categorical Logic – S. Abramsky, D. M. Gabbay, T. S. E. Maibaum (eds, Andrew M. Pitts, Andrew M. Pitts - 2001
1 Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics – Mícheál Mac An Airchinnigh - 2001
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Große-Rhode, U. Wolter - 1996
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
Deriving Category Theory from Type Theory – Roy L. Crole - 1993
2 Sketches: Outline with References – Charles Wells - 1994
TO BE DONE. Contents – Steve Awodey, Carsten Butz, Alex Simpson - 2007
6 Relating first-order set theories and elementary toposes – Steve Awodey, Carsten Butz, Alex Simpson, Thomas Streicher - 2007
3 Relating first-order set theories, toposes and categories of classes – Steve Awodey, Thomas Streicher - 2006
25 Variations on Algebra: monadicity and generalisations of equational theories – Edmund Robinson - 2001
1 Algebra in a Topos – Luís Manuel Silveira Russo
Fibrational Classification of Positive Horn Theories – Dirk Pattinson - 1998
N U – Uwe Wolter - 2012
2 Proving Semantical Equivalence of Data Specifications – Frank Piessens, Eric Steegmans - 2005
8 Graph-based logic and sketches I: The general framework. Available by web browser from http://www.cwru.edu/1/class/mans/math/pub/wells – Atish Bagchi, Charles Wells - 1996
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff