|
|
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
|
|
1
|
Logic in topoi: Functorial Semantics for Higher-Order Logic
– Steven Awodey
- 1997
|
|
2
|
Contents. The Development of Categorical Logic
– John L. Bell
|
|
3
|
2–Groups, Trialgebras and their Hopf Categories of Representations
– Hendryk Pfeiffer
- 2005
|
|
31
|
TRIPLES, ALGEBRAS AND COHOMOLOGY
– Jonathan Mock Beck
- 2003
|
|
|
iO
– unknown authors
- 1987
|
|
29
|
Semi-Abelian Categories
– George Janelidze, Walter Tholen
- 2000
|
|
5
|
Does category theory provide a framework for mathematical structuralism?
– Geoffrey Hellman
- 2003
|
|
7
|
Topological Completeness for Higher-Order Logic
– Steve Awodey, Carsten Butz
- 1997
|
|
3
|
Syntax and Semantics of the logic ...
– Carsten Butz, Carsten Butz
- 1997
|
|
|
A Generalization of Dijkstra's Calculus to Typed Program Specifications
– Program Speci Cations, Klaus-dieter Schewe, Bernhard Thalheim
|
|
|
SET THEORY FOR CATEGORY THEORY
– Michael A. Shulman
- 810
|
|
1
|
A Theory Of Enriched Sketches
– F. Borceux, C. Quinteiro, J. Rosicky
- 1998
|
|
4
|
Graph-based logic and sketches
– Atish Bagchi, Charles Wells
- 2008
|
|
1
|
Data Structures in Natural Computing: Databases as Weak or Strong Anticipatory Systems
– B. N. Rossiter, M. A. Heather
|
|
|
1 Reflections on a categorical foundations of mathematics
– J. Lambek, P. J. Scott
|
|
11
|
Higher fundamental functors for simplicial sets, Cahiers Topologie Géom
– Marco Grandis
|
|
|
1 Higher fundamental functors for simplicial sets ( *)
– Marco Grandis
- 2000
|
