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

@import url("/string/styles-site.css"); The String Coffee Table 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 December 03, 2004 Re: Category Theory and Physics Posted by Urs 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

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 "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. Contents Background Historical notes Categories, objects, and morphisms Types of morphisms ... edit Background 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

@import "misc/drupal.css"; @import "modules/sidecontent/sidecontent.css"; @import "themes/jwftheme/style.css"; home misc about empathy ... extropy Category theory Parent categories: Complexity Related categories: Investigations Robert Rosen Web links: Google Directory: Category Theory Category theory Category theory login or register read more Investigations Investigations By Stuart A. Kauffman login or register to post comments Celestial Emporium of Benevolent Knowledge The absurd capriciousness underlying such a memory system is best represented by the categorization scheme of an ancient Chinese encyclopedia entitled Celestial Emporium of Benevolent Knowledge, as interpreted by the South American fiction master J. L. Borges. 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 Quantum Quandaries: a Category-Theoretic Perspective 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

Information Technology Education Research Computer Systems ... Internal Search  Category Theory Reading Group Description of Aims 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; After the basics we also aim to read the follwing papers ( and some based on our work on progress ); Universal Coalgebra: a Theory of Systems Bisimulation from Open Maps Nominal Logic, A First Order Theory of Names and Biniding Towards a Mathematical Operational Semantics ... Monads for functional programming more Schedule Date Place Contents Notes Speaker Thursday, May 8, 3:15 Rm. 1113 Introduction, Category, Examples Intro. and sect. 1

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

CNS Comp Sci Dept R J Botting MATHS ... Contact ] [Search Fri Apr 22 09:17:53 PDT 2005 Contents Category Theory : Motivation : Trivial Example : Trivial Exercise ... Notes on the Underlying Logic of MATHS Category Theory Motivation 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

Category Theory Constructive Category Theory here Amokrane Saïbi Category Theory in ZFC here Carlos Simpson January 2005

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

FOM: small category theory Carsten BUTZ butz at math.mcgill.ca Wed May 5 23:45:56 EDT 1999 Previous message: FOM: small category theory Next message: FOM: ordered pair: Bourbaki Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [...] 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/

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

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

Supporter Benefits Signup Login Sources ... Pies 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 Encyclopedia: Category theory 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

Abstract algebra:Category theory From Wikibooks 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: is only defined when the source of g is the target of f. Furthermore, 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.

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

Re: Mechanization of category theory David Rydeheard david@cs.man.ac.uk Fri, 22 Mar 96 13:52:38 GMT Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Next message: Amokrane Saibi: "Re: Mechanization of category theory" Previous message: HAGIYA Masami: "Re: Mechanization of category theory" Maybe in reply to: Clemens Ballarin: "Mechanization of category theory" Next in thread: Amokrane Saibi: "Re: Mechanization of category theory" Clemens.Ballarin@cl.cam.ac.uk owner-qed@mcs.anl.gov Clemens, there has been a good deal of work on the mechanisation of category theory. I will mention some here and I am sure others will contribute to complete the discussion. The obvious starting point (for me!) is: David Rydeheard and Rod Burstall. Computational Category Theory. Prentice Hall (1988). This describes an encoding of constructions of (finite) limits, colimits and of adjuctions and internal logics, and also constructions of categories, all coded in SML. It makes use of higher orer functions to code the universality of constructions and the parametric polymorphism to capture something of the level of abstraction of category theory. It does not include

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

(more info) Math for the people, by the people. Encyclopedia Requests Forums Docs ... Random Login create new user name: pass: forget your password? Main Menu sections Encyclop¦dia Papers Books Expositions meta Requests Orphanage Unclass'd Unproven ... Classification talkback Polls Forums Feedback Bug Reports downloads Snapshots PM Book information News Docs Wiki ChangeLog ... About category theory (Topic) Introduction 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

CREP 1.3 Introduction History and Future Abilities and Structure Examples ... Links Introduction 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.

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