Diagrammes Short Title: Diagrammes Publisher: Université Denis Diderot - Paris 7, U.F.R. de Mathématiques, Paris ISSN: 0224-3911 Online: http://www.numdam.org/numdam-bin/feuilleter?j=DIA Comments: Journal; No longer indexed; This journal is available open access. Documents Indexed: 62 Publications (1983–2012) References Indexed: 34 Publications with 681 References. all top 5 Latest Issues 67-68, Suppl. (2012) 67-68 (2012) 65-66 (2011) 63-64 (2010) 61-62 (2009) 59-60 (2008) 57-58 (2007) 55-56 (2006) 53-54 (2005) 51-52 (2004) 49-50 (2003) 47-48 (2002) 45-46 (2001) 43-44 (2000) 42 (1999) 41 (1999) 40 (1998) 39 (1998) 38 (1997) 37 (1997) 36 (1996) 35 (1996) 34 (1995) 33 (1995) 32 (1994) 31 (1994) 30 (1993) 29 (1993) 28 (1992) 24 (1990) 23 (1990) 22 (1989) 12 (1984) 10 (1983) all top 5 Authors 14 Lair, Christian 9 Cury, Florence 6 Coppey, Laurent 5 Ageron, Pierre 3 Henry, Claude 3 Oriat, Catherine 2 Guitart, René 2 Woiry, J. 1 Bernot, Gilles 1 Bjerrum, Marie 1 Burroni, Albert 1 Burroni, Elisabeth 1 Curien, Pierre-Louis 1 Diers, Yves 1 Ehresmann, Andree Charles 1 Gaudel, Marie-Claude 1 Gerner, Matthias 1 Gran, Marino 1 Grandis, Marco 1 Gray, John W. 1 Kainen, Paul C. 1 Koudsi, Élie 1 Lafont, Yves 1 Lambek, Joachim 1 Lellahi, Seyed-Kazem 1 McLarty, Colin 1 Moineau, Th. 1 Paré, Robert 1 Penon, Jacques 1 Reeves, A. C. 1 Rodelo, Diana 1 Scott, Philip J. 1 Spyratos, Nicolas 1 Touratier, E. all top 5 Fields 55 Category theory; homological algebra (18-XX) 17 Computer science (68-XX) 12 Mathematical logic and foundations (03-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 General algebraic systems (08-XX) 4 Global analysis, analysis on manifolds (58-XX) 3 Number theory (11-XX) 2 General topology (54-XX) 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic topology (55-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 22 Publications have been cited 59 times in 42 Documents Cited by ▼ Year ▼ On the class of sketchability of modelizable (accessible) categories with products of two. (Sur le genre d’esquissabilité des catégories modelables (accessibles) possédant les produits de deux.) Zbl 0899.18003Lair, C. 11 1996 Leçons de théorie des esquisses. Zbl 0562.18002Coppey, L.; Lair, C. 7 1984 A theory of software reusability. Zbl 0712.68066Gaudel, M. C.; Moineau, Th. 6 1990 Substitution up to isomorphism. Zbl 0715.03029Curien, P.-L. 4 1990 Sufficient connected completeness. Section B: General theory. (La suffisante complétude connexe. Section B: Théorie générale.) Zbl 0857.18005Cury, F. 4 1994 Sufficient connected completeness. Section A: Amphi-syntaxes, amphi-algebras, and sesqui-algebras. (La suffisante complétude connexe. Section A: Amphi-syntaxes, amphi-algèbres et sesqui-algèbres.) Zbl 0857.18004Cury, F. 3 1993 Sufficient connected completeness. Section C: Examples. (La suffisante complétude connexe. Section C: Exemples.) Zbl 0857.18007Cury, F. 3 1994 Accessible categories with non-empty projective limits and accessible categories with finite projective limits. (Catégories accessibles à limites projectives non vides et catégories accessibles à limites projectives finies.) Zbl 0873.18002Ageron, P. 3 1995 On the class of sketchability of modelizable (accessible) categories with terminal object. (Sur le genre d’esquissabilité des catégories modelables (accessibles) possédant un objet terminal.) Zbl 0899.18002Lair, C. 2 1996 On the class of sketchability of modelizable (accessible) categories with limits for finite indexations (finite and non-empty, finite and connected, finite and connected and non-empty, respectively). (Sur les genres d’equissabilité des catégories modelables (accessibles) possédant les limites d’indexations finies (resp. finies et non vides, finies et connexes, finies et connexes et non vides).) Zbl 0899.18004Lair, C. 2 1996 Conditional projective limits in accessible categories. (Limites projectives conditionnelles dans les catégories accessibles.) Zbl 0916.18002Ageron, P. 2 1997 Accessible categories with pullbacks. (Catégories accessibles à produits fibrés.) Zbl 0916.18001Ageron, P. 2 1996 Executable specifications for data-type constructors. Zbl 0792.68101Gray, John W. 1 1990 Good functors …are those preserving philosophy! Zbl 0703.68077Bernot, Gilles 1 1989 On a connection between algebra, logic and linguistics. Zbl 0711.18001Lambek, J. 1 1989 Construction of a homology and a cohomology theory associated to a first order formula. Zbl 0715.18004Guitart, René 1 1990 On the profile of sketchability in modelizable (accessible) category with equalizers. (Sur le profil d’esquissabilité des catégories modelables (accessibles) possédant les noyaux.) Zbl 0916.18003Lair, C. 1 1997 Elements of the theory of patchworks. I. (Elements de theorie des patchworks. I.) Zbl 0806.18001Lair, Christian 1 1993 Deduction over graphs under constraints: A soundness and completeness theorem. Zbl 0804.18004Lellahi, Seyed-Kazem; Spyratos, Nicolas 1 1993 Sufficient connected completeness: Corrective to be apported to section B,§5.5. (La suffisante complétude connexe: Correctif à apporter à la section B,§5.5.) Zbl 0857.18006Cury, F. 1 1994 Polygraphic automata and grammars. (Automates et grammaires polygraphiques.) Zbl 1329.68158Burroni, Albert 1 2012 Graph cycles and diagram commutativity. Zbl 1338.05135Kainen, Paul C. 1 2012 Polygraphic automata and grammars. (Automates et grammaires polygraphiques.) Zbl 1329.68158Burroni, Albert 1 2012 Graph cycles and diagram commutativity. Zbl 1338.05135Kainen, Paul C. 1 2012 Conditional projective limits in accessible categories. (Limites projectives conditionnelles dans les catégories accessibles.) Zbl 0916.18002Ageron, P. 2 1997 On the profile of sketchability in modelizable (accessible) category with equalizers. (Sur le profil d’esquissabilité des catégories modelables (accessibles) possédant les noyaux.) Zbl 0916.18003Lair, C. 1 1997 On the class of sketchability of modelizable (accessible) categories with products of two. (Sur le genre d’esquissabilité des catégories modelables (accessibles) possédant les produits de deux.) Zbl 0899.18003Lair, C. 11 1996 On the class of sketchability of modelizable (accessible) categories with terminal object. (Sur le genre d’esquissabilité des catégories modelables (accessibles) possédant un objet terminal.) Zbl 0899.18002Lair, C. 2 1996 On the class of sketchability of modelizable (accessible) categories with limits for finite indexations (finite and non-empty, finite and connected, finite and connected and non-empty, respectively). (Sur les genres d’equissabilité des catégories modelables (accessibles) possédant les limites d’indexations finies (resp. finies et non vides, finies et connexes, finies et connexes et non vides).) Zbl 0899.18004Lair, C. 2 1996 Accessible categories with pullbacks. (Catégories accessibles à produits fibrés.) Zbl 0916.18001Ageron, P. 2 1996 Accessible categories with non-empty projective limits and accessible categories with finite projective limits. (Catégories accessibles à limites projectives non vides et catégories accessibles à limites projectives finies.) Zbl 0873.18002Ageron, P. 3 1995 Sufficient connected completeness. Section B: General theory. (La suffisante complétude connexe. Section B: Théorie générale.) Zbl 0857.18005Cury, F. 4 1994 Sufficient connected completeness. Section C: Examples. (La suffisante complétude connexe. Section C: Exemples.) Zbl 0857.18007Cury, F. 3 1994 Sufficient connected completeness: Corrective to be apported to section B,§5.5. (La suffisante complétude connexe: Correctif à apporter à la section B,§5.5.) Zbl 0857.18006Cury, F. 1 1994 Sufficient connected completeness. Section A: Amphi-syntaxes, amphi-algebras, and sesqui-algebras. (La suffisante complétude connexe. Section A: Amphi-syntaxes, amphi-algèbres et sesqui-algèbres.) Zbl 0857.18004Cury, F. 3 1993 Elements of the theory of patchworks. I. (Elements de theorie des patchworks. I.) Zbl 0806.18001Lair, Christian 1 1993 Deduction over graphs under constraints: A soundness and completeness theorem. Zbl 0804.18004Lellahi, Seyed-Kazem; Spyratos, Nicolas 1 1993 A theory of software reusability. Zbl 0712.68066Gaudel, M. C.; Moineau, Th. 6 1990 Substitution up to isomorphism. Zbl 0715.03029Curien, P.-L. 4 1990 Executable specifications for data-type constructors. Zbl 0792.68101Gray, John W. 1 1990 Construction of a homology and a cohomology theory associated to a first order formula. Zbl 0715.18004Guitart, René 1 1990 Good functors …are those preserving philosophy! Zbl 0703.68077Bernot, Gilles 1 1989 On a connection between algebra, logic and linguistics. Zbl 0711.18001Lambek, J. 1 1989 Leçons de théorie des esquisses. Zbl 0562.18002Coppey, L.; Lair, C. 7 1984 all cited Publications top 5 cited Publications all top 5 Cited by 48 Authors 5 Ageron, Pierre 4 Cury, Florence 4 Rosický, Jiří 3 Adámek, Jiří 3 Lack, Stephen 2 Bernot, Gilles 2 Borceux, Francis 2 Coppey, Laurent 2 Gaudel, Marie-Claude 2 Gray, John W. 2 Lair, Christian 2 Velebil, Jiří 2 Vitale, Enrico Maria 1 Bidlingmaier, Martin E. 1 Bidoit, Michel 1 Birkedal, Lars 1 Blanc, David Abraham 1 Burroni, Albert 1 Clementino, Maria Manuel 1 Coste, Michel 1 Dostál, Matěj 1 Duval, Dominique 1 Ehresmann, Andree Charles 1 Gran, Marino 1 Gratzer, Daniel 1 Halimi, Brice 1 Hammack, Richard H. 1 Henry, Simon 1 Kainen, Paul C. 1 Kavvos, G. A. 1 Knapik, Teodor 1 Kurz, Alexander 1 Lambek, Joachim 1 Leinster, Tom 1 Lellahi, Seyed-Kazem 1 Lombardi, Henri 1 Moineau, Th. 1 Nuyts, Andreas 1 Penon, Jacques 1 Peschke, Georg 1 Reeves, A. C. 1 Roy, Marie-Françoise 1 Sannella, Donald T. 1 Sénéchaud, Pascale 1 Sokołowski, Stefan 1 Sousa, Lurdes 1 Spyratos, Nicolas 1 Tarlecki, Andrzej all top 5 Cited in 16 Journals 14 Diagrammes 5 Journal of Pure and Applied Algebra 3 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Acta Informatica 2 Journal of Algebra 2 Theoretical Computer Science 2 MSCS. Mathematical Structures in Computer Science 2 Applied Categorical Structures 1 Discrete Applied Mathematics 1 Advances in Mathematics 1 Algebra Universalis 1 Annals of Pure and Applied Logic 1 Information and Computation 1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI 1 Logical Methods in Computer Science 1 Higher Structures all top 5 Cited in 14 Fields 32 Category theory; homological algebra (18-XX) 15 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 General algebraic systems (08-XX) 1 History and biography (01-XX) 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Group theory and generalizations (20-XX) 1 Measure and integration (28-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 General topology (54-XX) 1 Algebraic topology (55-XX) 1 Biology and other natural sciences (92-XX) Citations by Year