Bicartesian coherence

Studia Logica

Volumn 71, Issue 3, 2002, Pages 331-353

  Došen, Kosta ^a   Petrić, Zoran ^a  

^a MATHEMATICAL INSTITUTE   (Serbia)

Author keywords

Bicartesian categories; Coherence; Decidability of equality of arrows

Indexed keywords

EID: 0141631580     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1020568830946     Document Type: Article

References (27)

1. COCKETT, J. R. B., 'Introduction to distributive categories', Mathematical Structures in Computer Science 3 (1993), 277-307.
2. COCKETT, J. R. B., and R. A. G. SEELY, 'Finite sum-product logic', Theory and Application of Categories 8 (2001), 63-99 (preliminary draft, March 2000).
3. DOŠEN, K., and Z. PETRIĆ, 'The maximality of cartesian categories', Mathematical Logic Quarterly 47 (2001), 137-144 (available at: http://xxx.lanl.gov/math.CT/ 9911059).
4. DOŠEN, K., and Z. PETRIĆ, 'The maximality of the typed lambda calculus and of cartesian closed categories', Publications de l'Institut Mathématique (N.S.) 68(82) (2000), 1-19 (available at: http://xxx.lanl.gov/math.CT/9911073).
5. DOŠEN, K., and Z. PETRIĆ, 'Coherent bicartesian and sesquicartesian categories', R. Kahle et al. (eds.), Proof Theory in Computer Science, Lecture Notes in Computer Science 2183, Springer, Berlin, 2001, pp. 78-92 (available at: http://xxx.lanl.gov/ math.CT/0006091).
6. ECKMANN, B., and P. J. HILTON, 'Group-like structures in general categories I: Multiplication and comultiplication', Mathematische Annalen 145 (1962), 227-255.
7. EILENBERG, S., and G. M. KELLY, 'A generalization of the functorial calculus', Journal of Algebra 3 (1966), 366-375.
8. KELLY, G. M., and S. MAC LANE, 'Coherence in closed categories', Journal of Pure and Applied Algebra 1 (1971), 97-140, 219.
9. KELLY, G. M., 'An abstract approach to coherence', in [16], pp. 106-147.
10. LAMBEK, J., 'Deductive systems and categories I: Syntactic calculus and residuated categories', Mathematical Systems Theory 2 (1968), 287-318.
11. LAMBEK, J., 'Deductive systems and categories II: Standard constructions and closed categories', in Category Theory, Homology Theory and their Applications I, Lecture Notes in Mathematics 86, Springer, Berlin 1969, pp. 76-122.
12. LAMBEK, J., 'Deductive systems and categories III: Cartesian closed categories, intuitionist propositional calculus, and combinatory logic', in F. W. Lawvere (ed.), Toposes, Algebraic Geometry and Logic, Lecture Notes in Mathematics 274, Springer, Berlin 1972, pp. 57-82.
13. LAMBEK, J., and P. J. SCOTT, Introduction to Higher-Order Categorical Logic, Cambridge University Press, Cambridge 1986.
14. LAMBEK, F. W., and S. H. SCHANUEL, Conceptual Mathematics: A First Introduction to Categories, Cambridge University Press, Cambridge 1997 (first edition: Buffalo Workshop Press, Buffalo 1991).
15. MAC LANE, S., 'Natural associativity and commutativity', Rice University Studies, Papers in Mathematics 49 (1963), 28-46.
16. MAC LANE, S., (ed.), Coherence in Categories, Lecture Notes in Mathematics 281, Springer, Berlin 1972.
17. MINTS, G. E., 'Category theory and proof theory (in Russian)', in Aktual'nye voprosy logiki i metodologii nauki, Naukova Dumka, Kiev 1980, pp. 252-278
18. (English translation, with permuted title, in G. E. Mints, Selected Papers in Proof Theory, Bibliopolis, Naples 1992).
19. PETRIĆ, Z., 'Coherence in substructural categories', Studia Logica 70 (2002), 271-296.
20. REBAGLIATO, J., and V. VERDÚ, 'On the algebraization of some Gentzen systems', Fundamenta Informaticae 18 (1993), 319-338.
21. SIMPSON, A. K., 'Categorical completeness results for the simply-typed lambda-calculus', in M. Dezani-Ciancaglini and G. Plotkin (eds.), Typed Lambda Calculi and Applications (Edinburgh, 1995), Lecture Notes in Computer Science 902, Springer, Berlin 1995, pp. 414-427.
22. SZABO, M. E., 'A categorical equivalence of proofs', Notre Dame Journal of Formal Logic 15 (1974), 177-191.
23. SZABO, M. E., 'A counter-example to coherence in cartesian closed categories', Canadian Mathematical Bulletin 18 (1975), 111-114.
24. SZABO, M. E., Algebra of Proofs, North-Holland, Amsterdam 1978.
25. SZABO, M. E., 'Coherence in cartesian closed categories and the generality of proofs', Studia Logica 48 (1989), 285-297.
26. TROELSTRA, A. S., and H. SCHWICHTENBERG, Basic Proof Theory, Cambridge University Press, Cambridge 1996.
27. ZACH, R., 'Completeness before Post: Bernays, Hilbert and the development of propositional logic', The Bulletin of Symbolic Logic 5 (1999), 331-366.