Carrés exacts et carrés déductifs

R. Guitart

Diagrammes (1981)

  • Volume: 6, page G1-G17
  • ISSN: 0224-3911

How to cite

top

Guitart, R.. "Carrés exacts et carrés déductifs." Diagrammes 6 (1981): G1-G17. <http://eudml.org/doc/192983>.

@article{Guitart1981,
author = {Guitart, R.},
journal = {Diagrammes},
keywords = {exact squares; 2-categories; deductive square; proofs; axiomatic theory; axioms; rules of deduction},
language = {fre},
pages = {G1-G17},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Carrés exacts et carrés déductifs},
url = {http://eudml.org/doc/192983},
volume = {6},
year = {1981},
}

TY - JOUR
AU - Guitart, R.
TI - Carrés exacts et carrés déductifs
JO - Diagrammes
PY - 1981
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 6
SP - G1
EP - G17
LA - fre
KW - exact squares; 2-categories; deductive square; proofs; axiomatic theory; axioms; rules of deduction
UR - http://eudml.org/doc/192983
ER -

References

top
  1. {1} D. Bourn et J. M. Cordier, Distributeurs et théorie de la forme, Cah. de Top. et Géom. Diff. XXI-2 ( 1980) pp. 161-189. Zbl0439.55014MR574663
  2. {2} M. Grandis, Symétrisations de catégories et factorisations quaternaires, Atti della Accademia Nazionale dei Lincei, Série VIII, Vol. XIV, Fasc. 5, Roma, 1977. Zbl0418.18003MR486049
  3. {3} R. Guitart, Monades involutives complémentées, Cah. de Top. et Géom. Diff. XVI-1 ( 1975), pp. 17-101. Zbl0336.18009MR396721
  4. {4} R. Guitart, Relations et carrés exacts, Ann. Sc. Math. Québec, Vol. IV-2 ( 1980), pp. 103-125. Zbl0495.18008MR599050
  5. {5} R. Guitart, Extenseurs, Diagrammes, Vol. 3 ( 1980). Zbl0509.18009MR684911
  6. {6} R. Guitart, Qu'est-ce que la logique dans une catégorie ?, 3ème Colloque sur les catégories dédié à Charles Ehresmann, Amiens, Juillet 1980 (à paraître dans les Cah. de Top. et Géom. Diff. XXIII). Zbl0496.18002
  7. {7} R. Guitart et C. Lair, Calcul syntaxique des modèles et calcul des formules internes, Diagrammes, Vol. 4 ( 1980), pp. GL 1 - GL 106 . Zbl0508.03030MR684746
  8. {8} P. Hilton, Correspondances and exact squares, Proc. of the Conf. on Cat. Alg. La Jolla, Springer, 1966. Zbl0192.10803MR204487
  9. {9} J. Lambek et P. J. Scott, Algebraic aspects of topos theory, 3ème Colloque sur les catégories dédié à Charles Ehresmann, Amiens, Juillet 1980, in Cah. de Top. et Géom. Diff. XXII-2 ( 1980), pp. 129-140. Zbl0473.03064MR649793
  10. {10} L. Van den Bril, Carrés exacts de Hilton dans des contextes non abéliens, Ann. Sc. Math. Québec, Vol. IV-2 ( 1980). Zbl0502.18002MR599053
  11. {11} L. Van den Bril, Exactitude dans les Yoneda-strutures, 3ème Colloque sur les catégories dédié à Charles Ehresmann, Amiens, Juillet 1980 (à paraître dans les Cah. de Top. et Géom. Diff. XXIII). Zbl0548.18003

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.