81. Category Theory Featured Books. Categories for the Working Mathematician Categories for the Working Mathematician It is difficult to make understand what is category theory. http://mathematicsbooks.org/Category_Theory.html

Home Search High Volume Orders Links ... Philosophy of Mathematics Additional Subjects Fashion Illustration Now William Sleator Generals in Blue Lives of the Union Commanders: Lives of the Union Commanders Snakes of Georgia South Carolina ... The Call Goes Out: Interspecies Communication Featured Books This is a very readable introduction to the subject. Too bad it's out of print. Written by Michael Barr Charles Wells Published by Springer Verlag (April 1985) ISBN 0387961151 Price $82.95 Basic Category Theory for Computer Scientists This is a very short book: 70 pages of text + a bibliography. The first 50 pages are about general category theory, and the last 20 pages are specifically for computer scientists. My interest is in general category theory, and I bought this because I have a BS in CS and thought I'd find plenty of familiar examples. Unfortunately this book doesn't have nearly enough examples. I found it easier to skim some undergrad abstract algebra books in the library (groups, rings, vector spaces) and then ... Written by Benjamin C. Pierce

82. Basic Category Theory For Computer Scientists Basic category theory for Computer Scientists Search for books at mathematicsbooks.org. mathematicsbooks.org. Basic category theory for Computer Scientists. http://mathematicsbooks.org/0262660717.html

Home Search High Volume Orders Links ... Philosophy of Mathematics Additional Subjects Fashion Illustration Now William Sleator Generals in Blue Lives of the Union Commanders: Lives of the Union Commanders Snakes of Georgia South Carolina ... The Call Goes Out: Interspecies Communication Basic Category Theory for Computer Scientists Written by Benjamin C. Pierce Published by MIT Press (August 1991) ISBN 0262660717 Price $23.00 Customer Reviews This is a very short book: 70 pages of text + a bibliography. The first 50 pages are about general category theory, and the last 20 pages are specifically for computer scientists. My interest is in general category theory, and I bought this because I have a BS in CS and thought I'd find plenty of familiar examples. Unfortunately this book doesn't have nearly enough examples. I found it easier to skim some undergrad abstract algebra books in the library (groups, rings, vector spaces) and then continuing with category theory intros written for math students. This book is tiny in volume but large in contents. It does not only provide the definitions of the fundamental concepts but also clear explanations and motivations of why must everything be defined that way, which are not always found in other texts. Plenty of the right examples help you build the right intuitions. The case studies at the end put everything into context and prepare you for CS texts on semantics, type theory, etc.If you want to UNDERSTAND this wonderful theory read this book!

83. Category Theory - Physics Help And Math Help - Physics Forums 0331-2004, 1226 PM, 1. meteor. Registered User. Join Date Mar 2003. Location Spain. Posts 466. category theory. look how your category theory thread has grown. http://www.physicsforums.com/showthread.php?t=17484

84. Category Theory Definition Meaning Information Explanation category theory definition, meaning and explanation and more about category theory. FreeDefinition - Online Glossary and Encyclopedia, category theory. http://www.free-definition.com/Category-theory.html

A B C D ... Contact Beta 0.71 powered by: akademie.de PHP PostgreSQL Google News about your search term Category theory Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them. It is half-jokingly known as "abstract nonsense". See list of category theory topics for a breakdown of the relevant Wikipedia pages. Inhaltsverzeichnis 1 Background 2 Historical notes 3 Categories 3.1 Definition ... 12 External link Background A category attempts to capture the essence of a class of related mathematical objects, for instance the class of groups . Instead of focusing on the individual objects (groups) as has been done traditionally, the morphism s, i.e. the structure preserving maps between these objects, are emphasized. In the example of groups, these are the group homomorphisms . Then it becomes possible to relate different categories by functors , generalizations of functions which associate to every object of one category an object of another category and to every morphism in the first category a morphism in the second. Very commonly, certain "natural constructions", such as the fundamental group of a topological space , can be expressed as functors. Furthermore, different such constructions are often "naturally related" which leads to the concept of

85. Dual (category Theory) Definition Meaning Information Explanation Dual (category theory) definition, meaning and explanation and more about Dual (category theory). Free Dual (category theory). definition http://www.free-definition.com/Dual-category-theory.html

A B C D ... Contact Beta 0.71 powered by: akademie.de PHP PostgreSQL Google News about your search term Dual (category theory) In category theory , an abstract branch of mathematics , the dual of a category morphism It is also often called the opposite category . Examples come from reversing the direction of inequalities in a partial order . So if X new by the definition x new y if and only if y x For example, there are opposite pairs child/parent, or descendant/ancestor. This is a special case, since partial orders correspond to a certain kind of category in which Mor( A B ) can have at most one element. In applications to logic, this then looks like a very general description of negation (that is, proofs run in the opposite direction). For example, if we take the opposite of a lattice, we will find that meets and joins have their roles interchanged. This is an abstract form of De Morgan's laws Generalising that observation, inverse limit s and direct limits are interchanged when one passes to the opposite category. This is immediately useful, when one can identify the opposite category in concrete terms. For example the category of affine schemes is the opposite of the category of commutative ring s. The

86. Category Theory And Computer Science dblp.unitrier.de category theory and Computer Science. 10. CTCS 2004 Denmark. 3. category theory and Computer Science 1989 Manchester, UK. http://www.informatik.uni-trier.de/~ley/db/conf/ctcs/

Category Theory and Computer Science 10. CTCS 2004: Denmark 9. CTCS 2002: University of Ottawa, Canada Proceedings: ENTCS 69 CTCS 2002 Home Page 8. CTCS 1999: Edinburgh, Scotland, UK CTCS 1999 Home Page 7. CTCS 1997: Santa Margherita Ligure, Italy Eugenio Moggi Giuseppe Rosolini (Eds.): Category Theory and Computer Science, 7th International Conference, CTCS '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings. Lecture Notes in Computer Science 1290 Springer 1997, ISBN 3-540-63455-X Contents 6. CTCS 1995: Cambridge, UK David H. Pitt David E. Rydeheard Peter Johnstone (Eds.): Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings. Lecture Notes in Computer Science 953 Springer 1995, ISBN 3-540-60164-3 Contents 5. CTCS 1993 4. CTCS 1991: Paris, France David H. Pitt Pierre-Louis Curien Samson Abramsky Andrew M. Pitts ... David E. Rydeheard (Eds.): Category Theory and Computer Science, 4th International Conference, Paris, France, September 3-6, 1991, Proceedings. Lecture Notes in Computer Science 530 Springer 1991, ISBN 3-540-54495-X

87. Abstract Algebra:Category Theory - Wikibooks Abstract algebracategory theory. From Wikibooks, the free textbook project. category theory is the study of categories, which are http://wikibooks.org/wiki/Abstract_algebra:Category_theory

Abstract algebra:Category theory From Wikibooks, the free textbook project. Category theory is the study of categories , which are collections of objects and morphisms (or arrows), or from one category to another. edit A category is a graph with two functions u and c , and , where C is the class of vertices in the graph which we shall call objects , and C is the class of edges in which we shall from here on in refer to as arrows or morphisms . The function u then takes an object a to its associated identity function i d a , which maps a onto a . The function c takes pairs of arrows to their composition. For the sake of brevity, we will define Categories have the following properties: is only defined when the source of g is the target of f. Futhermore, the source and target of are the source of f and the target of g respectively. composition is associative (i.e. the source and target of i d a is a . Furthermore, given an arrow , then edit Some examples of categories , the category whose objects are sets, and whose morphisms are maps between the sets. The category whose objects are open subsets of and whose morphisms are continuous (differentiable, smooth) maps between them.

88. Graphical Database For Category Theory Introduction; Download; Documentation; Bug Report; Contact Us. GDCT Version 1.1 Webpage Page Modified by Matthew Graves June 27, 2002. http://mathcs.mta.ca/research/rosebrugh/gdct/

Introduction Download Documentation Bug Report ... GDCT Version 1.1 Webpage Page Modified by Matthew Graves June 27, 2002

89. Science, Math, Algebra: Category Theory A Gentle Introduction to category theory Lecture notes by Maarten M. Fokkinga introducing some important notions from category theory, in particular http://www.combose.com/Science/Math/Algebra/Category_Theory/

Top Science Math Algebra ... Research Groups Related links of interest: Science:Math:Topology:Algebraic Topology Games:Card Games:Special Decks:Ccard Science:Math:Logic and Foundations A Gentle Introduction to Category Theory - Lecture notes by Maarten M. Fokkinga introducing some important notions from category theory, in particular adjunctions. Proofs are given in a calculational style, and the (few) examples are taken from algorithmics. The text is a long PostScript file. Applied and Computational Category Theory - A brief description of category theory, and some useful links. CT Category Theory - Section of the e-print arXiv dealing with category theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra. Categorical Myths and Legends - An archive of stories about category theorists. Categories Home Page - Web page for the category theory mailing list. Categories, Quantization, and Much More - Introductory article by John Baez. Category Theory and Homological Algebra - In the"known maths"series. Category Theory - This expository article is an entry in the Stanford Encyclopedia of Philosophy.

90. Re: Category Theory <-> Lambda Calculus? Re category theory lambda calculus? Subject Re category theory - lambda calculus? Next by thread Re category theory - lambda calculus? http://www.lns.cornell.edu/spr/2001-03/msg0031750.html

Date Prev Date Next Thread Prev Thread Next ... Thread Index Subject From Date : 9 Mar 2001 21:03:02 GMT Approved : spr@rosencrantz.stcloudstate.edu (sci.physics.research) Newsgroups : sci.physics.research Organization : University Essen, Germany References 97o9ro$b5016@rs04.hrz.uni-essen.de Pine.OSF.4.21.0103021454260.110363-100000@goedel3.math.washington.edu 980v7d$svr$1@glue.ucr.edu http://www.uq.net.au/~zzdkeena/Lambda/ Follow-Ups From: References From: From: From: baez@galaxy.ucr.edu (John Baez) Prev by Date: Re: Direct Products of Hilbert Spaces Next by Date: Re: categorification of groups and related Prev by thread: Next by thread: Index(es): Date Thread

91. Category Theory <-> Lambda Calculus? category theory lambda calculus? I would like to ask a question on the relation between category theory, lambda calculus, and physics. http://www.lns.cornell.edu/spr/2001-03/msg0031551.html

Date Prev Date Next Thread Prev Thread Next ... Thread Index Subject From Date : 2 Mar 2001 20:18:08 GMT Approved : spr@rosencrantz.stcloudstate.edu (sci.physics.research) Newsgroups : sci.physics.research Organization : University Essen, Germany References User-Agent : KNode/0.3.3 Follow-Ups From: From: From: remove.haberg@matematik.su.se (Hans Aberg) From: From: From: From: From: From: From: remove.haberg@matematik.su.se (Hans Aberg) From: Prev by Date: Re: Quantum Gravity Seminar: Week 12: Track 1 Next by Date: Re: Quantum Gravity Seminar Prev by thread: Re: Covariant Hamilton's principle Next by thread: Index(es): Date Thread

92. Category Theory Resources category theory resources. Recommended References. see index for total category for your convenience Best Retirement Spots Teacher http://futuresedge.org/mathematics/Category_Theory.html

Category Theory resources. Recommended References. [see index for total category] for your convenience: Best Retirement Spots Web Hosting ULTRAToolBox Resources on Diet and Nutrition Pain Relief Allergies Tech Refresh , and finally - a must check - Mediterranean diet Discovery. Category Theory applications, theory, research, exams, history, handbooks and much more Introduction: An Introduction to Category Theory by Viakalathur Sankrithi, Krishnan Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing) by Andrea Asperti Conceptual Mathematics: A First Introduction to Categories by F. William Lawvere Applications: Algebra in a Localic Topos With Application to Ring Theory by Francis Borceux Theory: Basic Category Theory for Computer Scientists by Benjamin C. Pierce Sets, Logic and Categories (Springer Undergraduate Mathematics Series) by Peter J. Cameron Categories for the Working Mathematician (2nd Ed)(Graduate Texts in Mathematics, 5) by Saunders Mac Lane Am I That Name? Feminism and the Category of Women in History

93. Science Search > Category Theory 1. A Gentle Introduction to category theory Lecture notes by Maarten M. Fokkinga introducing some important notions from category theory, in particular http://www.science-search.org/index/Math/Algebra/Category_Theory/

Search for: Current Category Everything What's new Top Searches Statistics Science News ... Home Current location: Math Algebra > Category Theory A Gentle Introduction to Category Theory Lecture notes by Maarten M. Fokkinga introducing some important notions from category theory, in particular adjunctions. Proofs are given in http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html detailed information Rating: [6.00] Votes: [545] Category Theory This expository article is an entry in the Stanford Encyclopedia of Philosophy. http://plato.stanford.edu/entries/category-theory/ detailed information Rating: [6.00] Votes: [2146] CT Category Theory Section of the e-print arXiv dealing with category theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra. http://front.math.ucdavis.edu/math.CT detailed information Rating: [6.00] Votes: [278] Toposes, Triples and Theories By Michael Barr and Charles Wells, 1983. A revised and corrected version is now available free for downloading. Formats: DVI, PDF, PostScript. http://www.cwru.edu/artsci/math/wells/pub/ttt.html

94. MathGuide: Category Theory, Homological Algebra MathGuide category theory, homological algebra (10 records). Subject Class, Algebraic topology; category theory, homological algebra. http://www.mathguide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=18

95. Category Theory - InformationBlast category theory Information Blast. category theory. See list of category theory topics for a breakdown of the relevant Wikipedia pages. Background. http://www.informationblast.com/Category_theory.html

Category theory Categories: Category theory From Wikipedia , the free encyclopedia. Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them. It is half-jokingly known as " abstract nonsense See list of category theory topics for a breakdown of the relevant Wikipedia pages. A category attempts to capture the essence of a class of related mathematical objects, for instance the class of groups . Instead of focusing on the individual objects (groups) as has been done traditionally, the morphisms , i.e. the structure preserving maps between these objects, are emphasized. In the example of groups, these are the group homomorphisms . Then it becomes possible to relate different categories by functors , generalizations of functions which associate to every object of one category an object of another category and to every morphism in the first category a morphism in the second. Very commonly, certain "natural constructions", such as the fundamental group of a topological space , can be expressed as functors. Furthermore, different such constructions are often"naturally related" which leads to the concept of

96. :: Ez2Find :: Category Theory Guide category theory, Global Guides, category theory. ez2Find Home Directory Science Math Algebra category theory (40) Events http://ez2find.com/cgi-bin/directory/meta/search.pl/Science/Math/Algebra/Categor

Guide : Category Theory Global Metasearch Any Language English Afrikaans Arabic Bahasa Melayu Belarusian Bulgarian Catala Chinese Simplified Chinese Traditional Cymraeg Czech Dansk Deutsch Eesti Espanol Euskara Faroese Francais Frysk Galego Greek Hebrew Hrvatski Indonesia Islenska Italiano Japanese Korean Latvian Lietuviu Lingua Latina Magyar Netherlands Norsk Polska Portugues Romana Russian Shqip Slovensko Slovensky Srpski Suomi Svenska Thai Turkce Ukrainian Vietnamese Mode All Words Any Word Phrase Results Timeout Depth Adult Filter Add to Favorites Other Search Web News Newsgroups Images Invisible Web Search Magazines Browse Magazines Please Select Cultural Men's News Parenting Recreation Women's Guides Category Theory ez2Find Home Directory Science Math ... Algebra : Category Theory Events Journals Research Groups Related Categories Games: Card Games: Special Decks: Ccard Science: Math: Logic and Foundations Science: Math: Topology: Algebraic Topology Web Sites Applied and Computational Category Theory [Site Info] [Translate] [Open New Window] A brief description of category theory, and some useful links. URL: http://www.risc.uni-linz.ac.at/research/category/

97. Basic Category Theory For Computer Scientists (Foundations Of Computing) Basic category theory for Computer Scientists (Foundations of Computing). Basic category theory for Computer Scientists (Foundations http://www.sciencesbookreview.com/Basic_Category_Theory_for_Computer_Scientists_

Basic Category Theory for Computer Scientists (Foundations of Computing) Basic Category Theory for Computer Scientists (Foundations of Computing) by Authors: Benjamin C. Pierce Released: 07 August, 1991 ISBN: 0262660717 Paperback Sales Rank: List price: Our price: Book > Basic Category Theory for Computer Scientists (Foundations of Computing) > Customer Reviews: Average Customer Rating: Basic Category Theory for Computer Scientists (Foundations of Computing) > Customer Review #1: Too terse This is a very short book: 70 pages of text + a bibliography. The first 50 pages are about general category theory, and the last 20 pages are specifically for computer scientists. My interest is in general category theory, and I bought this because I have a BS in CS and thought Id find plenty of familiar examples. Unfortunately this book doesnt have nearly enough examples. I found it easier to skim some undergrad abstract algebra books in the library (groups, rings, vector spaces) and then continuing with category theory intros written for math students. Basic Category Theory for Computer Scientists (Foundations of Computing) > Customer Review #2: the best understaning of categories you can get This book is tiny in volume but large in contents. It does not only provide the definitions of the fundamental concepts but also clear explanations and motivations of why must everything be defined that way, which are not always found in other texts. Plenty of the right examples help you build the right intuitions. The case studies at the end put everything into context and prepare you for CS texts on semantics, type theory, etc.

98. Category Theory category theory. category theory looks at mathematics on a large scale objects and the relations between them, in the abstract. http://www.maths.gla.ac.uk/research/groups/categoryth/

Mathematics Home Research Undergrad Postgrad ... Mathematical Education Category Theory Category theory looks at mathematics on a large scale: objects and the relations between them, in the abstract. The aim is to strip away inessential details and get to the essence of things. By doing this one finds fundamental concepts - "category" and "functor" being well-known examples - that are very general and therefore invite comparisons between apparently unrelated parts of mathematics. Put another way, if you screw up your eyes then you can sometimes see the similarity between objects that you had previously thought quite different. Much of modern mathematics is, literally, near-unthinkable without the organizing principles of category theory. This is especially true of algebraic geometry, topology, homological algebra, logic, and theoretical computer science, and increasingly many parts of the mathematical sciences (physics, particularly) are finding categorical ways of thinking to be useful. Dr Tom Leinster works mainly on higher-dimensional algebra. Naively, this is algebra that cannot be expressed naturally by writing along one-dimensional lines in the customary way; practically, it is the study of structures such as n-categories, operads, and multicategories. These structures are officially algebraic, but have a very high geometric content: naively again, it is almost impossible to understand them without drawing some pictures; at a more sophisticated level, there appear to be intimate connections between higher categorical structures and both homotopy theory and topological quantum field theory. An informal survey of such connections is "

99. Citations Using Category Theory To Design Implicit Conversions Using category theory to design implicit conversions and generic operators. Using category theory to design implicit conversions and generic operators. http://citeseer.ist.psu.edu/context/35117/0

100. The Church Project: Study Group In Category Theory Study Group in category theory. It was aimed at providing a insight into category theory for the working programming languages theory inclined person. http://types.bu.edu/category.html

Study Group in Category Theory The study group ran in the Fall 2000. It was aimed at providing a insight into category theory for the working programming languages theory inclined person. We intended on understanding the theory through examples on how category is applied within the field of programming languages. In the start of the most of the basic definitions were covered. In the fall we will read study examples on how category theory is applied in computer science: Monads and the encapsulation of side effects in functional languages. Categorical models for linear logic. This is the list of the reading that we did. References are given using brackets, e.g. , and can be found in the bibliography below. Date Reading Theory Applications May 17 [Gold] : Chapter 1, 2, and 3.1-4 May 24 [Gold] : Chapter 3.5-9 May 31 [Gold] : Chapter 3.10-14 June 7 [Gold] : Chapter 3.15-16 Sep 26 Oct 3 Diagrams and natural transformations (4.1-4.3 of Oct 10 Oct 17 Natural transformations and Yoneda embedding (4.4-4.5 of Sketch of element-style vs. isomorphism styles as presented in

Page 5     81-100 of 123    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20