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
literature [2015/12/16 19:56]
nikolaj 		literature [2016/05/24 20:13]
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