Catégories lax-localement-cartésiennes et catégories localement cartésiennes : un exemple de suffisante complétude connexe de sémantiques initiales
Diagrammes (1991)
- Volume: 25, page 1-155
- ISSN: 0224-3911
Access Full Article
top
How to cite
topCury, F.. "Catégories lax-localement-cartésiennes et catégories localement cartésiennes : un exemple de suffisante complétude connexe de sémantiques initiales." Diagrammes 25 (1991): 1-155. <http://eudml.org/doc/193038>.
@article{Cury1991,
author = {Cury, F.},
journal = {Diagrammes},
keywords = {connected completeness; initial semantics; rigidification; lax-locally Cartesian category; final object; fibered products},
language = {fre},
pages = {1-155},
publisher = {Université Paris 7, Unité d'enseignement et de recherche de mathématiques},
title = {Catégories lax-localement-cartésiennes et catégories localement cartésiennes : un exemple de suffisante complétude connexe de sémantiques initiales},
url = {http://eudml.org/doc/193038},
volume = {25},
year = {1991},
}
TY - JOUR
AU - Cury, F.
TI - Catégories lax-localement-cartésiennes et catégories localement cartésiennes : un exemple de suffisante complétude connexe de sémantiques initiales
JO - Diagrammes
PY - 1991
PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques
VL - 25
SP - 1
EP - 155
LA - fre
KW - connected completeness; initial semantics; rigidification; lax-locally Cartesian category; final object; fibered products
UR - http://eudml.org/doc/193038
ER -
Citations in EuDML Documents
top- C. Oriat, Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes
- C. Oriat, Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie II
- C. Oriat, Étude des spécifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Partie III
- Christian Lair, Laurent Coppey, À la mémoire de Florence Cury (1952-95)
- F. Cury, La suffisante complétude connexe. Section C : exemples
- F. Cury, La suffisante complétude connexe. Section B : théorie générale
- G. M. Kelly, I. J. Le Creurer, On the monadicity over graphs of categories with limits
- F. Cury, La suffisante complétude connexe. Section A : amphi-syntaxes, amphi-algèbres et sesqui-algèbres
NotesEmbed ?
topYou 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.