Home  - Pure_And_Applied_Math - Category Theory

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

101-120 of 126    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20

Category Theory:     more books (100)

Elementary Categories, Elementary Toposes (Oxford Logic Guides) by Colin McLarty, 1996-02-01 Infinite Homotopy Theory (K-Monographs in Mathematics, Volume 6) by H-J. Baues, A. Quintero, 2001-06-30 Algebraic K-Theory (Modern Birkhäuser Classics) by V. Srinivas, 2007-11-13 Aristotle's Theory of Substance: The Categories and Metaphysics Zeta (Oxford Aristotle Studies) by Michael V. Wedin, 2002-12-12 Abelian categories; an introduction to the theory of functors. by Peter Freyd, 1964 Handbook of Categorical Algebra: Volume 1, Basic Category Theory (Encyclopedia of Mathematics and its Applications) by Francis Borceux, 1994-08-26 Axiomatic Domain Theory in Categories of Partial Maps (Distinguished Dissertations in Computer Science) by Marcelo P. Fiore, 2004-03-25 Triangulated Categories in the Representation of Finite Dimensional Algebras (London Mathematical Society Lecture Note Series) by Dieter Happel, 1988-02-26 Abelian Categories: An Introduction to the Theory of Functors (Harper's Series in Modern Mathematics) Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics) by Robert Goldblatt, 2006-04-28 Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics) (Studies in Logic and the Foundations of Mathematics) by B. Jacobs, 2001-07-01 The Theory of Classical Valuations (Springer Monographs in Mathematics) by Paulo Ribenboim, 1999-05-21 Geometric Stability Theory (Oxford Logic Guides) by Anand Pillay, 1996-11-07 Focal supplier opportunism in supermarket retailer category management [An article from: Journal of Operations Management] by N.A. Morgan, A. Kaleka, et all 2007-03-01

lists with details

101. Re: Category Theory And Physics | The String Coffee Table
     I currently find myself applying some category theory to string theory and made Re Re category theory and Physics. For perturbative gauge theory it is  
     http://golem.ph.utexas.edu/string/archives/000479.html
     
     Extractions: @import url("/string/styles-site.css"); A Group Blog on Physics Enough, already! Skip to the content. Note: These pages make extensive use of the latest XHTML and CSS Standards only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser. Main I was on the road again and then had some teaching to do, which kept me from replying to the comments weblog I currently find myself applying some category theory to string theory and made some comments on how I found the notion of categorization to harmonize very much with what one might call stringification this More concretely, the fact that boundaries of membranes attached to stacks of 5-branes conceptually roughly appear as a higher-dimensional generalization of how boundaries of strings (points) give rise to ordinary gauge theory by replacing these points with strings (and the strings with membranes) suggests a stringification I pointed out that first of all I believe that categories are not at all as detached to the physicists way of thinking as they may sometimes appear. On the contrary, the concept of a category is there to capture

102. Axiomatic Domain Theory In Categories Of Partial Maps - Cambridge University Pre
     Thorough and upto-date treatment of the semantics of recursive types. • Containsintroduction to enriched category theory  
     http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=0521602777

103. Category Theory - Wikipedia, The Free Encyclopedia
     Category Theoretic Perspectives on the Foundations of MathematicsProblems for category theory in Classical Set Theoretic Foundations Some Linksrelated to category theory and the Foundations of Mathematics  
     http://www.wikipedia.org/wiki/Category_theory
     
     Extractions: 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 "generalized abstract nonsense Categories appear in most branches of mathematics, in some areas of theoretical computer science and mathematical physics , and have been a unifying notion. Categories were first introduced by Samuel Eilenberg and Saunders Mac Lane in , in connection with algebraic topology See list of category theory topics for a breakdown of relevant articles. edit The study of categories is an attempt to capture what is commonly found in various classes of related mathematical structures. Consider the following example. The class Grp of groups consists of all objects having a "group structure". More precisely, Grp consists of all sets G endowed with a binary operation satisfying a certain set of axioms . One can proceed to prove theorems about groups by making logical deductions from the set of axioms. For example, it is immediately proved from the axioms that the

104. MathGuide: Category Theory, Homological Algebra
     Theory and Applications of Categories (TAC) Electronic journal. Subject Class,category theory, homological algebra; Algebraic geometry; Geometry;  
     http://www.mathguide.de/cgi-bin/ssgfi/anzeige.pl?db=math&sc=18

105. Category Theory | Jef's Web Files
     Quantum theory makes heavy use of the category Hilb, whose objects are Hilbert Google Directory category theory. Google Directory category theory  
     http://www.jefallbright.net/taxonomy/term/739
     
     Extractions: On those remote pages it is written that animals are divided into (a) those that belong to the Emperor, (b) embalmed ones, (c) those that are trained , (d) suckling pigs, (e) mermaids, (f) fabulous ones, (g) stray dogs, (h) those that are included in this classification, (i) those that tremble as if they were mad, (j) innumerable ones, (k) those drawn with a very fine camel's hair brush, (1) others, (m) those that have just broken a flower vase, (n) those that resemble flies from a distance. Category theory Complexity Definitions of complexity Information ... login or register read more Category theory ... login or register read more "...theoretical physics does not explain phenomena, but only classifies and correlates..."

106. On Category Theory As A (meta) Ontology For Information Systems Research
     In addition to discussing the role of category theory as an ontological tool for 2 Michael Barr , Charles Wells, category theory for computing science,  
     http://portal.acm.org/citation.cfm?id=505175

107. UU/IT/Category Theory Reading Group
     of Aims. We aim to study categorytheory upto the level of category theory for the working Computer Scientist .category theory Reading Group.  
     http://www.it.uu.se/research/group/mobility/category
     
     Extractions: Education Research Computer Systems ... Internal Search  We aim to study category theory up-to the level of "Category theory for the working Computer Scientist". We intend to study it through examples on how it is applied in the field of Computer Science. We shall start off with the basics of Catgory Theory such as; Categories, functors and natural transformations. Limits and colimits. Adjoint functors. Yoneda embedding. Kan extensions. Cartesian closed categories, toposes,and related categories. Categories with monoidal structure;

108. MATHS: Category Theory
     category theory is a way for talking about the relationships between the classes of To see how a category could be defined within graph theory see  
     http://www.csci.csusb.edu/dick/maths/math_25_Categories.html
     
     Extractions: Fri Apr 22 09:17:53 PDT 2005 Category Theory is a way for talking about the relationships between the classes of objects modeled by mathematics and logic. It is a model of a collection of things with some structural similarity. It is a comparatively recent abstraction from the various abstract algebras developed in the early part of the 20th century. The best source for detailed information is still Madc Lane's classic graduate text The original use of the term category was in the idea of a 'categorical' axiom system - an axiom system which defined its objects so exactly that all objects that satisfied the axioms were isomorphic - they mapped into each other, one-to-one, preserving all the axioms and structure. This is important, because if a logic is categorical and there exists a simple (or cheaply implemented) example then that model can become the standard and all others are handled in terms of this standard. For example binary numbers have all the properties that one can expect of objects that satisfy the rules that describe a "natural number" and are cheap to emulate using electronics. The name for such ideal systems has been changed several times in this century - categorical, free, universal, initial,... Many times category theorists have discovered that some results that they have uncovered have been discovered within a totally different area - say the theory of languages and automata. Equally often an enterprising researcher in mathematics of computer science has found that category theory allowed them to express a specific property they had observed in more general terms. The more general veiw then leads to shorter and simpler proofs of more results. This in turn often illuminates other problems.

109. Category Theory
     Constructive category theory here Amokrane Saïbi; category theory in ZFC hereCarlos Simpson. Up Français November 2004.  
     http://coq.inria.fr/contribs/category-eng.html

110. EEVL | Mathematics Section | Browse
     Categories List is a category theory mailing list moderated by Bob Rosebrugh of This is the category theory page of the Los Alamos National Laboratory s  
     http://www.eevl.ac.uk/mathematics/math-browse-page.htm?action=Class Browse&brows

111. FOM: Small Category Theory
     There might indeed be some confusion (and category theory might be to blame Just because no book on category theory starts with the sentence This is  
     http://www.cs.nyu.edu/pipermail/fom/1999-May/003108.html
     
     Extractions: Wed May 5 23:45:56 EDT 1999 [...] A category of size kappa where kappa is inaccessible cardinal is still set-size, i.e. small. Isn't it? Or is it? Maybe we need to clarify the term ``small''. Throughout this discussion, when I said ``small'', I always meant set-size. Did you mean something else? There might indeed be some confusion (and category theory might be to blame for it). As you guessed, small is not always set-size. Category theorists pay attention to the distinction small/large, which in sets/classes means indeed set/class, but if you choose to "implement" this distinction with an inaccessible cardinal then small means strictly smaller then that cardinal, and large means set. The confusion arises only in discussions with set-theorists (and I am not blaming those people). It is, admittedly, slang. > Perhaps category theorists are accustomed to deliberately ambiguating on the term ``small'', sometimes meaning ``set-size'', other times

112. Citations Category Theory For Computing Science - Barr, Wells
     Barr, M., Wells, C. 1990. category theory for Computing Science. Prentice Hall.  
     http://citeseer.ist.psu.edu/context/1728/0

113. Graphical Database For Category Theory
     Main Page for Graphical Database for category theory (GDCT)  
     http://mathcs.mta.ca/research/rosebrugh/gdct/

114. Encyclopedia: Category Theory
     In category theory, a functor is a special type of mapping between categories . Categorical logic is a branch of category theory within mathematics,  
     http://www.nationmaster.com/encyclopedia/Category-theory
     
     Extractions: Related Articles People who viewed "Category theory" also viewed: Functor category List of category theory topics Colimit Dual (category theory) ... Full functor What's new? Our next offering Latest newsletter Student area Lesson plans Recent Updates Kim Jong_il Kill 'Em All Kennywood Ken Follett ... More Recent Articles Top Graphs Richest Most Murderous Most Taxed Most Populous ... More Stats Updated 14 days 8 hours 12 minutes ago. Other descriptions of 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 "generalized abstract nonsense Categories appear in most branches of mathematics, in some areas of theoretical computer science and mathematical physics , and have been a unifying notion. Categories were first introduced by Samuel Eilenberg and Saunders Mac Lane in , in connection with algebraic topology Wikibooks Wikiversity has more about this subject: School of Mathematics Wikiquote has a collection of quotations by or about: Mathematics Look up Mathematics in Wiktionary, the free dictionary Wikimedia Commons has more media related to: Mathematics Bogomolny, Alexander: Interactive Mathematics Miscellany and Puzzles. ... Abstract nonsense is a popular term used by mathematicians to describe certain kinds of arguments and concepts in category theory. ...

115. Abstract Algebra:Category Theory - Wikibooks
     mbox Re Mechanization of category theoryfundamental theorems on category theory up to Yoneda s Lemma. category theoryis important in several areas of computer science, such as semantics and  
     http://wikibooks.org/wiki/Abstract_algebra:Category_theory
     
     Extractions: Category theory is the study of categories , which are collections of objects and morphisms (or arrows), or from one object 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: edit , 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.

116. Mbox: Re: Mechanization Of Category Theory
     Has anybody experience in mechanizing category theory or knows of such work? I m about to implement basic parts of category theory in a tactical theorem  
     http://www-unix.mcs.anl.gov/qed/mail-archive/volume-3/0139.html

117. PlanetMath: Category Theory
     Translate this page As a tool, category theory allows mathematicians to focus on the morphisms between Isomorphism is in fact a central notion in category theory most  
     http://planetmath.org/encyclopedia/CategoryTheory.html
     
     Extractions: category theory (Topic) Much of contemprary mathematics studies algebraic structures of one sort or another: rings groups vector spaces and many others. More generally, the idea of a set with some structure is very general: topological spaces differentiable manifolds graphs and so on. Each of these kinds of things has a notion of a function that respects the structure: group and ring homomorphisms linear transformations continuous functions differentiable functions , graph homomorphisms , and so on. In order to mathematically capture the notion of ``kind of thing'', as well as ``function which preserves the structure'', the notion of a category was introduced.

118. In Emergence We Trust
     I pledge allegiance to the grounded theory, and to the united emergence of category, for which it stands, one theory, modifiable, with validity, relevance, general, and just do it for all! (Bellamy++).  
     http://www.vlsm.org/gnm/gtm-23.en.html

119. Web Links
     A set of resources on philosophy of education, educational theory, and related topics, maintained at the University of Illinois.  
     http://w3.ed.uiuc.edu/eps/category.asp?token=phil_n_phil_of_ed&site=Res

120. CREP Home Page
     CREP is designed to deal with categories whose morphism spaces are finitedimensional over a field k. The main example of a category with this property is the category of finite-dimensional representations of an associative unital k-algebra.  
     http://www.mathematik.uni-bielefeld.de/~sek/crep.html
     
     Extractions: Introduction History and Future Abilities and Structure Examples ... Links CREP is designed to deal with categories whose morphism spaces are finite-dimensional over a field k . The main example of a category with this property is the category of finite-dimensional representations of an associative unital k -algebra. For many applications even the algebra itself may be assumed to be of finite dimension over k . Popular examples for algebras of this kind are the group algebras for finite groups or the finite-dimensional factor algebras of polynomial algebras. If one wants to approach categories with finite-dimensional morphism spaces, the language of quivers is an appropriate way. Recall that quiver is a shorthand for directed graph with possibly multiple edges and loops. This is a purely combinatorial object inviting to computational access. The aim of CREP is to provide algorithms using this access for research and teaching. The system is being designed along the lines of current research. On the other hand, there are many basic functions and, in particular. graphical interfaces which are instructive and useful for students and neophytes. The code of CREP is freely available. People are invited to contribute.

101-120 of 126    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20