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

1-20 of 80    1  | 2  | 3  | 4  | Next 20

Category Theory:     more books (100)

Category Theory (Oxford Logic Guides) by Steve Awodey, 2010-08-13 Basic Category Theory for Computer Scientists (Foundations of Computing) by Benjamin C. Pierce, 1991-08-07 Basic Concepts of Enriched Category Theory (London Mathematical Society Lecture Note Series) by Max Kelly, 1982-04-30 Sets, Logic and Categories (Springer Undergraduate Mathematics Series) by Peter J. Cameron, 1999-03-05 Categories for the Working Mathematician (Graduate Texts in Mathematics) by Saunders Mac Lane, 1998-09-25 What is Category Theory? Abstract and Concrete Categories: The Joy of Cats (Pure and Applied Mathematics: A Wiley-Interscience Series of Texts, Monographs and Tracts) by Jiri Adamek, Horst Herrlich, et all 1990-04 Formal Category Theory : Adjointness for 2-Categories (Lecture Notes in Mathematics) (Volume 0) by J.W. Gray, 1974-08-20 Evolutionary Metaphysics: The Development of Peirce's Theory of Categories by Joseph L. Esposito, 1980-12 Aristotle's Theory of Substance: The Categories and Metaphysics Zeta (Oxford Aristotle Studies) by Michael V. Wedin, 2002-12-12 From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory (Logic, Epistemology, and the Unity of Science) by Jean-Pierre Marquis, 2008-12-05 Categories and Sheaves (Grundlehren der mathematischen Wissenschaften) by Masaki Kashiwara, Pierre Schapira, 2009-12-15 Divisor Theory by Harold M. Edwards, 1990-01-01 Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics) by B. Jacobs, 2001-05-24

lists with details

1. Category Theory - Wikipedia, The Free Encyclopedia
   Retrieved from http//en.wikipedia.org/wiki/category_theory . Categories Category theory Higher category theory. Views  
   http://en.wikipedia.org/wiki/Category_theory
   
   Extractions: Jump to: navigation search In mathematics category theory deals in an abstract way with mathematical structures and relationships between them. Categories now appear in most branches of mathematics and 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 1942-1945, in connection with algebraic topology Category theory has several faces known not just to specialists, but to other mathematicians. " General abstract nonsense " refers, perhaps not entirely affectionately, to its high level of abstraction, compared to more classical branches of mathematics. Homological algebra is category theory in its aspect of organising and suggesting calculations in abstract algebra Diagram chasing is a visual method of arguing with abstract 'arrows', and has appeared in a Hollywood film, as Jill Clayburgh proved the snake lemma (at the start of It's My Turn Topos theory is a form of abstract sheaf theory , with geometric origins, and leads to ideas such as pointless topology Category theory Portal Background Historical notes Categories, objects and morphisms

2. Category_theory: Blogs, Photos, Videos And More On Technorati
   Mentions by Day. Posts tagged category_theory per day for the past 30 days. Chart of results for category_theory. See your posts here  
   http://technorati.com/tag/category_theory
   
   Extractions: Check out the buzz in Technology Up Entertainment Up Lifestyle Up Politics Sports Technology Up Blogs Photos Videos Blogger Central ... Developers Up Subscribe search in entire post tags only of blogs with any authority a little authority some authority a lot of authority in language all languages Arabic (العربية) Chinese (中文) Dutch (Nederlands) English French (Fran§ais) German (Deutsch) Greek (Ελληνικά) Hebrew (עברית) Italian (Italiano) Japanese (日本語) Korean (한국어) Norwegian (Norsk) Persian (فارسی) Polish (Polski) Portuguese (Portuguªs) Russian (Русский) Spanish (Espa±ol) Swedish (Svenska) Turkish (T¼rk§e) Vietnamese (Tiếng Việt) http://www.sunclipse.org/ ?p=607 Categorical Information Theory • No Comments 27 March 2008 by Blake Stacey Ben Allen is now on the arXivotubes, with a category-theoretic arithmetic of information. The concept of information has found application across the sciences. 3 days ago by blakestacey in Science After Sunclipse Authority: 114 http://sbseminar.wordpress.com/ 2008/ 03/ 24/ derived-categories-bleg/

3. CiteULike: Tag Category_theory [70 Articles]
   posted to incompleteness goedel _file diagonalization _copy category_theory cartesian_closed_category by adrian_pigors on 200710-09 103619 as  
   http://www.citeulike.org/tag/category_theory
   
   Extractions: Sponsored link Recent papers classified by the tag category_theory. A Category Theory Approach to Conceptual Data Modeling Informatique Theorique et Applications , Vol. 30, No. 1. (1996), pp. 31-79. by E Lippe , AHMt Arthur posted to by yagermadden on 2005-04-22 18:06:50 as along with 2 people and 1 group pilho jolilius TUCS-ES_Lab ... Functorial Semantics of Rewrite Theories Lecture Notes in Computer Science : Formal Methods in Software and Systems Modeling (2005), pp. 220-235. Meseguer posted to by xiemaisi on 2006-12-12 07:41:31 as along with 1 group AS-IIS_ReadingGroup Conditional rewriting logic as a unified model of concurrency Theor. Comput. Sci. , Vol. 96, No. 1. (April 1992), pp. 73-155. Meseguer posted to maude by xiemaisi on 2006-12-12 07:39:05 as along with 1 person and 1 group kavabean AS-IIS_ReadingGroup Generalised algebraic theories and contextual categories Annals of Pure and Applied Logic , Vol. 32 (1986), pp. 209-243.

4. Arrows-category_theory - SWiK
   sorted by recent see popular. Content Tagged with arrows + category_theory Programming haskell Papers arrows fp monads category_theory fplang  
   http://swik.net/arrows category_theory
   
   Extractions: SWiK login / register changes) Your tags: or Cancel Enter RSS URL to Syndicate here: (Feed found, click Add Page to syndicate.) Error finding feed, please try again A Blog Page allows you to add entries, for news or other time sensitive postings A Bookmarks page is a really simple list of links - ordered by date. Enter a title for this page this list of links the feed this blog Formatting help Login required to save to your tagged pages.) Add to your tagged pages? Enter space separated tags: (or Cancel var g_swipEditType = 'wiki'; var g_swipChangeType = 'wiki'; Finding project information from the web - complete. Preview Formatting Homepage Author License Login required to save to your tagged pages.)

5. Haskell/Category Theory - Wikibooks, Collection Of Open-content Textbooks
   Retrieved from http//en.wikibooks.org/wiki/Haskell/category_theory . Subject Haskell. Views. Module Discussion Edit this page History  
   http://en.wikibooks.org/wiki/Haskell/Category_theory
   
   Extractions: The Curry-Howard isomorphism edit this chapter This article attempts to give an overview of category theory, insofar as it applies to Haskell. To this end, Haskell code will be given alongside the mathematical definitions. Absolute rigour is not followed; in its place, we seek to give the reader an intuitive feel for what the concepts of category theory are and how they relate to Haskell. A simple category, with three objects A B and C , three identity morphisms i d A i d B and i d C , and two other morphisms and . The third element (the specification of how to compose the morphisms) is not shown. A category is, in essence, a simple collection. It has three components: A collection of objects A collection of morphisms , each of which ties two objects (a source object and a target object ) together. (These are sometimes called

6. Findtarget.com Science/Math/Algebra/Category_Theory/Events
   Findtarget.com delivers comprehensive Science, Math, Algebra, Category Theory, Events content to satisfy your Science, Math, Algebra, Category Theory,  
   http://findtarget.com/FT/Science/Math/Algebra/Category_Theory/Events

7. Category Theory/Natural Transformation - HaskellWiki
   Retrieved from http//www.haskell.org/haskellwiki/category_theory/ Natural_transformation . This page has been accessed 802 times.  
   http://www.haskell.org/haskellwiki/Category_theory/Natural_transformation
   
   Extractions: Log in Help Edit this page Discuss this page ... Related changes Category theory Categories Theoretical foundations map ... even maybeToList Just yields the same as maybeToList fmap even Just yields: both yield False In the followings, this example will be used to illustrate the notion of natural transformation. If the examples are exaggerated and/or the definitions are incomprehensible, try #External links edit Let us define the natural transformation. It associates to each object of a morphism of in the following way (usually, not sets are discussed here, but proper classes, so I do not use term “function” for this mapping): Thus, the following diagram commutes (in edit As already mentioned map even maybeToList Just yields the same as maybeToList fmap even Just yields: both yield False This example will be shown in the light of the above definition in the followings.

8. [Coq-contribs-commits] R384 - In Trunk
   trunk/Nancy/FOUnify/description trunk/Rocq/ALGEBRA/category_theory/ADJUNCTION/ Adj_FunFreeMon.v trunk/Rocq/ALGEBRA/category_theory/ADJUNCTION/Adj_UA.v  
   http://lists.gforge.inria.fr/pipermail/coq-contribs-commits/2006-April/000037.ht

9. Index Of /paper/l/lecture_notes/murfet-category_theory
   . Parent Directory, -. DerivedFunctors.pdf, 11-Jan-2007 1435Index of /paper/l/lecture_notes/murfetcategory_theory. Name, Last modified, Size,  
   http://www.ajorza.org/paper/l/lecture_notes/murfet-category_theory/

10. Category_theory [the Libarynth]
    category_theory.txt · Last modified 2007/06/08 1850 (external edit). Recent changes RSS feed Creative Commons License Subsidise our existence.  
    http://lib.fo.am/category_theory
    
    Extractions: the libarynth Trace: http://plato.stanford.edu/entries/category-theory/ Category theory is a general mathematical theory of structures and sytems of structures. It allows us to see, among other things, how structures of different kinds are related to one another as well as the universal components of a family of structures of a given kind. The theory is philosophically relevant in more than one way. For one thing, it is considered by many as being an alternative to set theory as a foundation for mathematics. Furthermore, it can be thought of as constituting a theory of concepts. Finally, it sheds a new light on many traditional philosophical questions, for instance on the nature of reference and truth. http://math.ucr.edu/home/baez/categories.html “Basic Category Theory for Computer Scientists”, Benjamin C. Pierce “A Categorical Manifesto” by Goguen http://citeseer.nj.nec.com/goguen91categorical.html http://www.let.uu.nl/esslli/Courses/barr-wells.html http://scienceblogs.com/goodmath/goodmath/category_theory/

11. Photos For DBpedia.org Resource Category_theory
    Photos for DBpedia.org resource category_theory . foafDocument rdfabout= http//www4.wiwiss.fuberlin.de/flickrwrappr/photos/category_theory  
    http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Category_theory

12. Science/Math/Algebra/Category_Theory
    associativity math categorical categories category category d category theory descent dimensional field theory mathematics ftp listings  
    http://www.spyfu.com/Categories.aspx?z=Science/Math/Algebra/Category_Theory

13. Top/Science/Math/Algebra/Category_Theory - Anypages Business Directory
    Algebra Events , Top/Science/Math/Algebra/category_theory , Algebra Journals category_theory; Conferences; Education; Field_Theory; Geometric_Algebra  
    http://www.anypages.com/WebListing.aspx?&classid=60847

14. Category Theory - CoreOntoWiki
    category_theory Inspec p_btnt(category_theory, mathematics) from http//korterm.kaist.ac.kr/ontowiki/index.php/category_theory  
    http://korterm.kaist.ac.kr/ontowiki/index.php/Category_theory
    
    Extractions: edit Retrieved from " http://korterm.kaist.ac.kr/ontowiki/index.php/Category_theory Views Personal tools CoreOnto Navigation Search Toolbox What links here Related changes Special pages Printable version ... Permanent link This page was last modified 13:00, 8 April 2007. This page has been accessed 6 times. About CoreOntoWiki

15. Science : Math : Algebra : Category_Theory : - NoMoz.org
    Quick Button Reference Learn about NoMoz.org. close. Options. Directory, Entire Web. Top Science Math Algebra category_theory  
    http://www.nomoz.org/Top/Science/Math/Algebra/Category_Theory/

16. Science Math Algebra Category_Theory - ODP / Directory / Search Engine -
    Science Math Algebra category_theory category, ODP Search Engine portal.  
    http://www.ellatha.com/odp/cat.asp?/Science/Math/Algebra/Category_Theory/

17. Jahu.net Dir/Science/Math/Algebra/Category_Theory/
    bosna,bosna i hercegovina halid muslimovic,sejo kalac,zeljo bebek,azra,divlje jagode,motori,youtube,Ismet Horo,film video muzika zabava humor umjetnost.  
    http://www.jahu.net/live/index.php/Science/Math/Algebra/Category_Theory/
    
    Extractions: Novi upisi Hot Top Nas Izbor ... DIR Search: search the entire directory search this category only Top Science Math Algebra ... Research Groups See also: Games: Card Games: Special Decks: Ccard Science: Math: Logic and Foundations Science: Math: Topology: Algebraic Topology 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 - This expository article is an entry in the Stanford Encyclopedia of Philosophy. Category Theory and Homological Algebra - In the "known maths" series. Computational Category Theory - An implementation of concepts and constructions from category theory in the functional programming language Standard ML. Documentation and code. 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. Descent and Category Theory Connections - Maintained by M. Alsani.

18. Category_theory « Rss2go
    Full Circle the Categorical Monoid Good Math, Bad Math. … a category built using categories. The monoidal category is a fairly complicated object  
    http://www.rss2go.net/topic/category_theory

19. Mirago Indeks : Top : Science : Math : Algebra : Category_Theory
    Games Card_Games Special_Decks Ccard (1); Science Math Logic_and_Foundations (959); Science Math Topology Algebraic_Topology (30)  
    http://www.mirago.dk/search/directories.aspx?cat=Top/Science/Math/Algebra/Catego

20. Canadaspace.com Science/Math/Algebra/Category_Theory/Research_Groups
    Canadaspace.com. Canadian Search Engine. Science, Math, Algebra, Category Theory, Research Groups.  
    http://www.canadaspace.com/CS/Science/Math/Algebra/Category_Theory/Research_Grou
    
    Extractions: Sites in Research Groups (Australia) Macquarie University Computational category theory project group. People, projects, publications. http://www.ics.mq.edu.au/~mike/compcat/ (Australia) University of Sydney - Catacomb Categories and Combinatorics Group. http://www.maths.usyd.edu.au:8000/res/Catecomb.html (Canada) Atlantic Category Theory Seminar - ATCAT Dalhousie University, Halifax. Weekly meetings. http://www.mscs.dal.ca/~pare/atcat.html (Canada) Category Theory Research Center Montr©al Timetable. http://www.math.mcgill.ca/rags/seminar/ (Canada) McGill University Category Theory Research Centre. Announcements of weekly seminars, conferences, and other research activities in category theory. http://www.math.mcgill.ca/triples/

1-20 of 80    1  | 2  | 3  | 4  | Next 20