Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision 		Previous revision
Last revision Both sides next revision
literature [2015/12/16 19:56]
nikolaj 		literature [2016/05/24 20:12]
nikolaj
Line 1: Line 1:
 ===== Literature ===== ===== Literature =====
 +| Literature $\blacktriangleright$ [[Todo books]] | [[Todo papers]] |
 ==== Meta ==== ==== Meta ====
------ 
-[[Todo papers]] 
- 
------ 
-[[Todo books]] 
- 
 >[work] >[work]
 >- Mathematical theory of transport processes in gases / J.H. Ferziger and H.G. Kaper >- Mathematical theory of transport processes in gases / J.H. Ferziger and H.G. Kaper
Line 22: Line 17:
 >- Einführung in die Spieltheorie / Manfred J. Holler, Gerhard Illing >- Einführung in die Spieltheorie / Manfred J. Holler, Gerhard Illing
 > >
 +
 +== Cats? ==
 +michael makkai & gonzalo reyes - first order categorical logic model-theoretical methods in the theory of topoi and related categories, springer 1977 9783540084396.
 +
 +
 +you can also look at
 +
 +johan van benthem - language in action categories lambdas and dynamic logic, elsevier 1991 9780444890009.
 +bart jacobs - categorical logic and type theory, elsevier science 1999 9780444501707.
 +
 +
 +steven vickers - topology via logic, cambridge university press 1989 9780521360623.
 +
 +jorge picado & ales pultr - frames and locales topology without points, springer 2011 9783034801539
 +[this is locale theory done classically,​ so it is very bizarre]
 +
 +
 +peter johnstone - stone spaces , 1982 cambridge university press 9780521337793
 +peter johnstone - topos theory , academic press 1977 9780123878502
 +
 +
 +francis lawvere - toposes algebraic geometry and logic, springer-verlag 1972 9780387059204.
 +
 +---
 +
 +{{ smug_reader.jpg}}
 +
 +**articles**
 +
 +Streicher 2004 Introduction to Category Theory and Categorical Logic
 +
 +Butz 1997 First order categorical logic
 +
 +Bell 2005 The development of categorical logic
 +
 +
 +Awodey, Bauer 2009 Introduction to Categorical Logic
 +
 +
 +Abramsky, Tzevelekos 2010 Introduction to categories and categorical logic
 +
 +
 +Wraith 1975 Lectures on elementary topoi
 +Vistoli 2004 Notes on Grothendieck topologies, fibered categories and descent theory
 +
 +
 +Vries 1987 Applications of constructive logic to sheaf constructions in toposes
 +
 +
 +Taylor 2000 Geometric and higher order logic in terms of abstract Stone duality
 +
 +
 +Moerdijk, van Oosten 2007 Topos theory
 +
 +
 +Caramello 2011 A topos-theoretic approach to Stone-type dualities
 +
 +Caramello 2012 Topologies for intermediate logics
 +
 +
 +Butz 1998 Classifying toposes for first-order theories
 +
 +
 +Boileau, Joyal 1981 La Logique des Topos
 +
 +
 +Al-Hanafi 2008 Scott Topology and its Relation to the Alexandroff Topology
 +
 +
 +Airchinnigh 2001 Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics (MC?)
 +
 +
 +Abramsky 1991 Domain theory in logical form
 +
 +Abramsky 1987 Domain theory and the logic of observable properties
 +
 >=== Logic === >=== Logic ===
 > >
Link to graph
Log In
Improvements of the human condition
limeGraphxioms