2 résultat(s) recherche sur le mot-clé 'sketches'

Oeuvres complètes et commentées / Ehresmann, Charles

Public ISBD Titre : Oeuvres complètes et commentées : structures locales Partie II-1 Type de document : texte imprimé Auteurs : Ehresmann, Charles Editeur : Amiens : A. C. Ehresmann Année de publication : 1982 Collection : Cahiers de Topologie et Geometrie Differentielle num. Supplement No.2 au Vol. XXII Importance : xxiv - 431 p. Langues : Français Catégories : 01-XX History and biography:01A65 Contemporary 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics Mots-clés : completions  sketches  structures  catyones Index. décimale : O1 Oeuvres Oeuvres complètes et commentées : structures locales Partie II-1 [texte imprimé] / Ehresmann, Charles . - Amiens : A. C. Ehresmann, 1982 . - xxiv - 431 p.. - (Cahiers de Topologie et Geometrie Differentielle; Supplement No.2 au Vol. XXII ) . Langues : Français Catégories : 01-XX History and biography:01A65 Contemporary 01-XX History and biography:01A75 Collected or selected works; reprintings or translations of classics Mots-clés : completions  sketches  structures  catyones Index. décimale : O1 Oeuvres

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14683	01 EHR	imprimé / autre	CRDM	01//OEUVRES COMPLETES	Disponible

Toposes, triples and theories / Barr, M.

Public ISBD Titre : Toposes, triples and theories Type de document : texte imprimé Auteurs : Barr, M. ; Wells, C. Editeur : Springer-Verlag Année de publication : 1985 Collection : Grundlehren der mathematischen Wissenschaften num. 278 Importance : xii - 345 p. ISBN/ISSN/EAN : 978-0-387-96115-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : sheaf categories  logical functor  finite colimits  theoretical computer science  sketches  internal logic  theories  triples  toposes Index. décimale : 18A Toposes, triples and theories [texte imprimé] / Barr, M. ; Wells, C. . - [S.l.] : Springer-Verlag, 1985 . - xii - 345 p.. - (Grundlehren der mathematischen Wissenschaften; 278) . ISBN : 978-0-387-96115-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18BXX Special categories:18B25 Topoi Mots-clés : sheaf categories  logical functor  finite colimits  theoretical computer science  sketches  internal logic  theories  triples  toposes Index. décimale : 18A

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
4529	18A54	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	Disponible