Toposes, Triples and Theories (2005)

by Michael Barr , Charles Wells
Venue: REPRINTS IN THEORY AND APPLICATIONS OF CATEGORIES
Citations:188 - 1 self

Active Bibliography

and Theories Version 1.1, Reprinted by Theory and Applications of Categories – Michael Barr, Charles Wells, Originally Published Springer-verlag, Michael Barr, Charles Wells, Charles Wells
2 Sketches: Outline with References – Charles Wells - 1994
TYPES, SETS AND CATEGORIES – John L. Bell
2 Logic in topoi: Functorial Semantics for Higher-Order Logic – Steven Awodey - 1997
iO – unknown authors - 1987
10 Does category theory provide a framework for mathematical structuralism? – Geoffrey Hellman - 2003
8 Topological Completeness for Higher-Order Logic – Steve Awodey, Carsten Butz - 1997
4 Syntax and Semantics of the logic ... – Carsten Butz, Carsten Butz - 1997
3 The Development of Categorical Logic – John L. Bell
A Generalization of Dijkstra's Calculus to Typed Program Specifications – Program Speci Cations, Klaus-dieter Schewe, Bernhard Thalheim
FUNDAMENTAL PUSHOUT TOPOSES – Marta Bunge
1 Distribution Algebras and Duality – Marta Bunge, Jonathon Funk, Mamuka Jibladze, Thomas Streicher - 2000
1 Data Structures in Natural Computing: Databases as Weak or Strong Anticipatory Systems – B. N. Rossiter, M. A. Heather
FINAL COALGEBRAS IN ACCESSIBLE CATEGORIES – Panagis Karazeris, Apostolos Matzaris, Jiˇrí Velebil - 905
4 Graph-based logic and sketches – Atish Bagchi, Charles Wells - 2008
Contents – Gabriella Böhm, Tomasz Brzeziński, Robert Wisbauer - 804
Contents – Mike Prest, Mims Eprint, Mike Prest - 2008
1 Reflections on a categorical foundations of mathematics – J. Lambek, P. J. Scott
Equational Constructor Induction – Inge Bethke, Piet Rodenburg