5 résultat(s) recherche sur le mot-clé 'monads'

Categories, types, and structures / Asperti, Andrea

Public ISBD Titre : Categories, types, and structures : an introduction to category theory for the working computer scientist Type de document : texte imprimé Auteurs : Asperti, Andrea ; Longo, Giuseppe Editeur : Cambridge, MA : The Mit Press Année de publication : 1991 Collection : MIT Press Series in the Foundations of Computing Importance : vii, 293 p. ISBN/ISSN/EAN : 978-0-262-01125-9 Note générale : Copie Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : functor  natural transformations  recursive domain equations  second-order lambda calculus  typed lambda calculus  monads  categories  linear logic Index. décimale : 18A Categories, types, and structures : an introduction to category theory for the working computer scientist [texte imprimé] / Asperti, Andrea ; Longo, Giuseppe . - Cambridge, MA : The Mit Press, 1991 . - vii, 293 p.. - (MIT Press Series in the Foundations of Computing) . ISBN : 978-0-262-01125-9 Copie Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : functor  natural transformations  recursive domain equations  second-order lambda calculus  typed lambda calculus  monads  categories  linear logic Index. décimale : 18A

Exemplaires

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

Operads, algebras, modules and motive / Kríz, Igor

Public ISBD Titre : Operads, algebras, modules and motive Type de document : texte imprimé Auteurs : Kríz, Igor ; J. Peter May Editeur : Paris : Société Mathématiques de France Année de publication : 1995 Collection : Astérisque, ISSN 0303-1179 num. 233 Importance : 145 p. Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18FXX Categories and geometry:18F25 Algebraic $K$-theory and $L$-theory 18-XX Category theory; homological algebra :18GXX Homological algebra :18G99 None of the above, but in this section 19-XX $K$-theory :19-02 Research exposition (monographs, survey articles) 19-XX $K$-theory :19DXX Higher algebraic $K$-theory:19D99 None of the above, but in this section 55-XX Algebraic topology:55UXX Applied homological algebra and category theory Mots-clés : higher chow groups  iterated loop spaces  operad of spaces  symmetric monoidal category  mixed tate motives  braid algebras  tensor category  little n-cubes operad  unital k-algebras  operads  higher chow complex  monads Index. décimale : AST Operads, algebras, modules and motive [texte imprimé] / Kríz, Igor ; J. Peter May . - Paris : Société Mathématiques de France, 1995 . - 145 p. . - (Astérisque, ISSN 0303-1179; 233) . Langues : Anglais Catégories : 18-XX Category theory; homological algebra :18-02 Research exposition (monographs, survey articles) 18-XX Category theory; homological algebra :18FXX Categories and geometry:18F25 Algebraic $K$-theory and $L$-theory 18-XX Category theory; homological algebra :18GXX Homological algebra :18G99 None of the above, but in this section 19-XX $K$-theory :19-02 Research exposition (monographs, survey articles) 19-XX $K$-theory :19DXX Higher algebraic $K$-theory:19D99 None of the above, but in this section 55-XX Algebraic topology:55UXX Applied homological algebra and category theory Mots-clés : higher chow groups  iterated loop spaces  operad of spaces  symmetric monoidal category  mixed tate motives  braid algebras  tensor category  little n-cubes operad  unital k-algebras  operads  higher chow complex  monads Index. décimale : AST

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
14220	AST/233	imprimé / autre	CRDM	AST/ASTÉRISQUE	Disponible

Stone spaces / Peter T. Johnstone

Public ISBD Titre : Stone spaces Type de document : texte imprimé Auteurs : Peter T. Johnstone Editeur : Cambridge : Cambridge University Press Année de publication : 1982 Collection : Cambridge Studies in Advanced Mathematics. num. 3 Importance : xxi, 370 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-521-33779-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles) 54-XX General topology :54-02 Research exposition (monographs, survey articles) Mots-clés : Boolean algebras  frames  locales  monads  free objects in varieties of lattices  compact Hausdorff spaces  continuous real-valued functions  representation of rings  profiniteness and duality  continuous lattices  Kakutani's theory of M-spaces  sheaf theory  categorical logic Index. décimale : 54C Monographie Stone spaces [texte imprimé] / Peter T. Johnstone . - Cambridge : Cambridge University Press, 1982 . - xxi, 370 p. : ill. ; 24 cm. - (Cambridge Studies in Advanced Mathematics.; 3) . ISBN : 978-0-521-33779-3 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles) 54-XX General topology :54-02 Research exposition (monographs, survey articles) Mots-clés : Boolean algebras  frames  locales  monads  free objects in varieties of lattices  compact Hausdorff spaces  continuous real-valued functions  representation of rings  profiniteness and duality  continuous lattices  Kakutani's theory of M-spaces  sheaf theory  categorical logic Index. décimale : 54C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18338	54C104	imprimé / autre	CRDM	54/TOPOLOGIE GENERALE	Disponible

Universal algebra / Cohn, Paul M.

Public ISBD Titre : Universal algebra Type de document : texte imprimé Auteurs : Cohn, Paul M., Auteur Editeur : Moscou : Paix Mir Année de publication : 1968 Importance : 351 p. Note générale : Don de Monsieur Andronikov Langues : Russe Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C25 Model-theoretic forcing 03-XX Mathematical logic and foundations:03CXX Model theory:03C60 Model-theoretic algebra 08-XX General algebraic systems:08-02 Research exposition (monographs, survey articles) Mots-clés : infinite forcing  existential closure  algebraic theories  free algebras  monads Index. décimale : 08C Monographie Universal algebra [texte imprimé] / Cohn, Paul M., Auteur . - Moscou : Paix Mir, 1968 . - 351 p. Don de Monsieur Andronikov Langues : Russe Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C25 Model-theoretic forcing 03-XX Mathematical logic and foundations:03CXX Model theory:03C60 Model-theoretic algebra 08-XX General algebraic systems:08-02 Research exposition (monographs, survey articles) Mots-clés : infinite forcing  existential closure  algebraic theories  free algebras  monads Index. décimale : 08C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
3144	08C05	imprimé / autre	CRDM	08/SYSTEMES ALGEBRIQUES GENERAUX	Disponible

Universal algebra / Cohn, Paul M.

Public ISBD Titre : Universal algebra Type de document : texte imprimé Auteurs : Cohn, Paul M. Mention d'édition : rev. ed. Editeur : Dortrecht : D. Reidel Publishing Company Année de publication : 1981 Collection : Mathematics and Its Applications num. 06 Importance : xv - 412 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C25 Model-theoretic forcing 03-XX Mathematical logic and foundations:03CXX Model theory:03C60 Model-theoretic algebra 08-XX General algebraic systems:08-02 Research exposition (monographs, survey articles) Mots-clés : embedding of rings in skew fields  diamond lemma  finitary operation  infinite forcing  existential closure  algebraic theories  free algebras  monads Index. décimale : 08C Monographie Universal algebra [texte imprimé] / Cohn, Paul M.  . -  rev. ed.  . - Dortrecht : D. Reidel Publishing Company, 1981 . - xv - 412 p.. - (Mathematics and Its Applications; 06) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03CXX Model theory:03C25 Model-theoretic forcing 03-XX Mathematical logic and foundations:03CXX Model theory:03C60 Model-theoretic algebra 08-XX General algebraic systems:08-02 Research exposition (monographs, survey articles) Mots-clés : embedding of rings in skew fields  diamond lemma  finitary operation  infinite forcing  existential closure  algebraic theories  free algebras  monads Index. décimale : 08C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15505	08C07	imprimé / autre	CRDM	08/SYSTEMES ALGEBRIQUES GENERAUX	Disponible