- 2 402 202 книги
- Поиск
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory
Автор: Jean-Pierre Marquis
Размер книги: 1.25 Mb
Category Theory: Proceedings of the International Conference held in Como, Italy, July 22-28, 1990 (Lecture Notes in Mathematics)
Автор: Aurelio Carboni, Автор: Maria Cristina Pedicchio, Автор: Giuseppe Rosolini (editors)Категория: Математика
Размер книги: 23.82 Mb
Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)
Автор: Andrea Asperti, Автор: Giuseppe LongoКатегория: Компьютеры
Размер книги: 1.60 Mb
Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings (Lecture Notes in Computer Science)
Автор: David H. Pitt, Автор: David E. Rydeheard, Автор: Peter Dybjer, Автор: Andrew M. Pitts, Автор: Axel PoigneКатегория: Компьютеры
Размер книги: 17.83 Mb
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science)
Автор: David H. Pitt, Автор: Pierre-Louis Curien, Автор: Samson Abramsky, Автор: Andrew M. Pitts, Автор: Axel Poigne, Автор: David E. RydeheardКатегория: Компьютеры
Размер книги: 17.48 Mb
Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings (Lecture Notes in Computer Science)
Автор: Eugenio Moggi, Автор: Giuseppe RosoliniКатегория: Компьютеры
Размер книги: 20.95 Mb
Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies)
Автор: Ralf KrömerКатегория: История
Размер книги: 2.56 Mb
Category Theory: Proceedings of the International Conference held in Como, Italy, July 22-28, 1990
Автор: Aurelio Carboni, Автор: Maria Cristina Pedicchio, Автор: Giuseppe Rosolini (editors)Категория: Наука (общее), Международные конференции и симпозиумы
Размер книги: 15.57 Mb
Basic Concepts of Enriched Category Theory (London Mathematical Society Lecture Note Series)
Автор: Max KellyКатегория: Математика, Прикладная математика
Размер книги: 954 Kb
Tool and Object: A History and Philosophy of Category Theory (Science Networks. Historical Studies)
Автор: Ralf KrömerКатегория: История
Размер книги: 2.88 Mb
Category Theory (Oxford Logic Guides)
Автор: Steve AwodeyКатегория: Образование
Размер книги: 4.34 Mb
Computational Category Theory (Prentice-Hall International Series in Computer Science)
Автор: D. E. Rydeheard, Автор: Burstall
Размер книги: 907 Kb
A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory (Cambridge Tracts in Theoretical Computer Science (No. 11))
Автор: T. H. Tse
Размер книги: 3.00 Mb
Category Theory for Computing Science
Автор: Michael Barr, Автор: Charles Wells
Размер книги: 392.01 Mb
Category Seminar: Proceedings Sydney Category Theory Seminar 1972-1973
Автор: Gregory M. Kelly (Editor)
Размер книги: 12.56 Mb
From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory (Logic, Epistemology, and the Unity of Science)
Автор: Jean-Pierre Marquis
Размер книги: 1.39 Mb
Handbook of Categorical Algebra 1: Basic Category Theory
Автор: Francis Borceux
Размер книги: 2.75 Mb
Category Theory: Applications to Algebra, Logic and Topology. Proceedings of the International Conference Held at Gummersbach, July 6-10, 1981
Автор: K.H. Kamps, Автор: D. Pumplün, Автор: W. Tholen (Editors)
Размер книги: 10.86 Mb
Category theory for computing science
Автор: Michael Barr, Автор: Charles Wells
Размер книги: 8.09 Mb
Category Theory, Homology Theory and Their Applications II
Автор: Peter J. Hilton (Editor)
Размер книги: 8.90 Mb
Category Seminar: proceedings, Sydney Category Theory Seminar, 1972-1973
Автор: Gregory Maxwell Kelly (editor)
Размер книги: 1.65 Mb
Basic Category Theory for Computer Scientists (Foundations of Computing)
Автор: Benjamin C. Pierce
Размер книги: 1.32 Mb
Category Theory, Homology Theory and their Applications III
Автор: Peter J. Hilton (Editor)
Размер книги: 12.17 Mb
Category Theory, Homology Theory and Their Applications I
Автор: Peter J. Hilton (Editor)
Размер книги: 5.94 Mb
An Introduction to Category Theory
Автор: Harold SimmonsКатегория: Mathematics
Размер книги: 964 Kb
Category Theory: Proceedings of the International Conference Held in Como, Italy, July 22-28, 1990
Автор: A. Carboni, Автор: M. C. Pedicchio, Автор: G. Rosolini (Editors)
Размер книги: 23.91 Mb
Categories, types, and structures. Introduction to category theory for computer scientists
Автор: Andrea Asperti, Автор: Giuseppe Longo
Размер книги: 2.41 Mb
Category theory. Proc. conf
Автор: Aurelio Carboni, Автор: Maria C. Pedicchio, Автор: Giuseppe Rosolini
Размер книги: 3.55 Mb
A supplement for Category theory for computing science
Автор: Michael Barr, Автор: Charles Wells
Размер книги: 533 Kb
Category theory at work
Автор: Herrlich H., Автор: Porst H.-E. (eds.)Категория: Category theory
Размер книги: 2.90 Mb
Basic concepts of enriched category theory
Автор: Max KellyКатегория: Category theory
Размер книги: 789 Kb
A gentle introduction to category theory. The calculational approach
Автор: Fokkinga M.M.
Размер книги: 484 Kb
Category Theory: Proceedings of the International Conference Held in Como, Italy, July 22-28, 1990
Автор: A. Carboni, Автор: M.C. Pedicchio, Автор: G. Rosolini
Размер книги: 24.09 Mb
Category Theory, Applications to Algebra, Logic, and Topology: Proceedings, Gummersbach, FRG, 1981
Автор: Kamps K.H., Автор: Pumplün D., Автор: Tholen W.
Размер книги: 1.41 Mb
Category Theory, Homology Theory and their Applications I
Автор: P. J. HiltonКатегория: Lecture notes
Размер книги: 1.16 Mb
Category Theory, Homology Theory and their Applications II
Автор: P.J. HiltonКатегория: Lecture notes
Размер книги: 1.79 Mb
Category Theory, Homology Theory, and Their Applications III
Автор: P.J. HiltonКатегория: Lecture notes
Размер книги: 2.26 Mb
Kan extensions in Enriched Category Theory
Автор: Eduardo J. DubucКатегория: Lecture notes
Размер книги: 999 Kb
Formal Category Theory: Adjointness for 2-Categories
Автор: J.W. GrayКатегория: Lecture notes
Размер книги: 1.31 Mb
Category Theory
Автор: K. H. Kamps, Автор: D. Pumplün, Автор: W. TholenКатегория: Lecture notes
Размер книги: 1.82 Mb
Category Theory, Homology Theory and their Applications I
Автор: Dold, Автор: Eckmann B. (ed.)
Размер книги: 6.22 Mb
Category Theory, Homology Theory and their Applications II
Автор: Dold A. (ed.), Автор: Eckmann B. (ed.)
Размер книги: 9.25 Mb
Category Theory, Homology Theory and Their Applications. Proceedings of the Conference Held at the Seattle Research of the Battelle Memorial Institute, June 24 - July 19, 1968:
Автор: Hilton P.J.
Размер книги: 12.78 Mb
Category Theory Applied to Computation and Control
Автор: E.G. ManesКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.09 Mb
Category Theory and Computer Programming
Автор: David Pitt, Автор: Samson Abramsky, Автор: Axel Poigne, Автор: David RydeheardКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.80 Mb
Category Theory and Computer Science, 4 conf
Автор: David H. Pitt, Автор: Pierre-Louis Curien, Автор: Samson Abramsky, Автор: Andrew M. Pitts, Автор: Axel Poigne, Автор: David E. RydeheardКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.68 Mb
Category Theory and Computer Science 1987
Автор: David H. Pitt, Автор: Axel Poigne, Автор: David E. RydeheardКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.72 Mb
Category Theory and Computer Science 1989
Автор: David H. Pitt, Автор: David E. Rydeheard, Автор: Peter Dybjer, Автор: Andrew M. Pitts, Автор: Axel PoigneКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.82 Mb
Category Theory and Computer Science, 6 conf., CTCS '95
Автор: D. E. Rydeheard, Автор: David Pitt, Автор: David E. Rydeheard, Автор: Peter JohnstoneКатегория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 1.82 Mb
From a Geometrical Point of View - A Study of the History and Philosophy of Category Theory
Автор: Jean-Pierre Marquis
Размер книги: 2.92 Mb
Tool and Object: A History and Philosophy of Category Theory
Автор: Ralf Krömer
Размер книги: 5.60 Mb
Category Theory and Computer Science: 7th International Conference, CTCS'97, Santa Margherita Ligure Italy, September 4-6, 1997, Proceedings
Автор: Eugenio Moggi, Автор: Giuseppe Rosolini
Размер книги: 3.13 Mb
Tool and Object. A Historic-Philosophy of Category Theory: A History and Philosophy of Category Theory
Автор: Ralf Krömer
Размер книги: 5.48 Mb
Sketches. A supplement for Category theory for computing science (PH, 1996)(107s).pdf
Автор:
Размер книги: 533 Kb
Rydeheard D.E., Burstall R.M. Computational category theory (web draft, 2003)(263s)_MAct_.pdf
Автор:
Размер книги: 874 Kb
Rydeheard D.E., Burstall R.M. Computational category theory (c. 1990)(263s).pdf
Автор:
Размер книги: 931 Kb
Pierce B.C. Basic category theory for computer scientists (MIT, 1991)(600dpi)(T)(ISBN 0262660717)(110s).djvu
Автор:
Размер книги: 5.43 Mb
Asperti A., Longo G. Categories, types, and structures. Introduction to category theory for computer scientists (1990)(295s).pdf
Автор:
Размер книги: 2.41 Mb
Abstract and concrete categories: the joy of cats
Автор: Jiri Adamek, Автор: Horst Herrlich, Автор: George E. Strecker
Размер книги: 4.22 Mb
Frobenius and separable functors for generalized module categories and nonlinear equations
Автор: Stefaan Caenepeel, Автор: Gigel Militaru, Автор: Shenglin Zhu
Размер книги: 1.33 Mb
Показаны не все результаты, удовлетворяющие запросу. Чтобы увидеть другие результаты, пожалуйста, уточните запрос.