101. CATEGORY THEORY - Meaning And Definition Of The Word Search Dictionary category theory Dictionary Entry and Meaning. COPYRIGHT © 20002003 WEBNOX CORP. http://www.hyperdictionary.com/dictionary/category theory

English Dictionary Computer Dictionary Thesaurus Dream Dictionary ... Medical Dictionary Search Dictionary: CATEGORY THEORY: Dictionary Entry and Meaning HOME ABOUT HYPERDICTIONARY

102. Category Theory Definitions category theory Definitions. My plan is to decompose into their constituent definitions a number of famous ideas from category theory as I study the subject. http://www.cs.tcd.ie/Robert.Byrne/CategoryTheoryDefns.html

Category Theory Definitions Semistrict n-categories (or "teisi") A theoretician of "n" Considered conditions on when Some mathematicians Could find definitions For n even greater than ten. - Lisa Raphals A B C D ... Z This dictionary is in development and has definitions under the following letters: A, C, D, E, F, I, K, M, N and S. Check the notation page for some notes. I have experimented with the Symbol font there but only use it for Greek letters in the definitions. My plan is to decompose into their constituent definitions a number of famous ideas from category theory as I study the subject. Some obvious examples are: monad, Kleisli category of monad, Kan extension, n-category, Yoneda lemma... along with the basic building blocks of functors, natural transformations... The main references are: Conceptual mathematics: a first introduction to categories . W. Lawvere and S. Schanuel 1997. Cambridge University Press. Categories for the Working Mathematician . S. Mac Lane 1998. Springer-Verlag. Sheaves in Geometry and Logic: A First Introduction to Topos Theory . S. Mac Lane and I. Moerdijk 1992. Springer-Verlag. Maintained by Robert Byrne

103. Logic And Language Links - Category Theory TOP You have selected the concept category theory Gloss category theory is a subtopic of algebra 1 subtopic of mathematical logic. category http://staff.science.uva.nl/~caterina/LoLaLi/Pages/77.html

Siblings tell me more... under mathematical logic automated reasoning logical constants Loewenheim-Skolem-Tarski theorem operator ... Goedel's 1st incompleteness theorem (1931) under algebra 1 algebraic principles relation algebra universal algebra boolean algebra ... TOP You have selected the concept category theory Gloss: A mathematical theory that studies the universal properties of structures via their relationships with one another. category theory is a: subtopic of algebra 1 subtopic of mathematical logic category theory has the following subtopics: bottom Long description: Not available yet. Search the hierarchy with v7 Caterina Caracciolo home page Home Search this site with Dowser Page generated on: 2004:3:15, 10:08 Information about LoLaLi.net Handbook Not available yet tell me more...

104. UU/IT/Category Theory Reading Group of Aims. We aim to study category theory 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 ... Department of Information Technology 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

105. Functional Programming Archive (monads And Category Theory) functional programming archive. monads and category theory subject area. Keywords Monads; category theory; Kleisli triple; Imperative functional programming. http://nick.dcs.qmul.ac.uk/SEL-HPC/Articles/GeneratedHtml/functional.monads.html

functional programming archive monads and category theory subject area A BibTeX version of this database can be found here . Article links with a size in kbytes next to them are correct; documents without a size havn't been checked yet. This document was automatically generated on Tue Jun 25 2:00:42 2002 . Webmaster , Department of Computer Science, QMW, London University E Moggi "Computational lambda-calculus and monads" In Proceedings of the Logic in Computer Science Conference bibtex 20.8 kbytes dvi paper E Moggi "An Abstract View of Programming Languages" ,Technical report ECS-LFCS-90-113, Dept. of Computer Science, Edinburgh Univ., 90. bibtex 63.3 kbytes dvi paper Jonathan M. D. Hill , and Keith Clarke "An introduction to category theory, category theory monads, and their relationship to functional programming" bibtex html abstract 59.1 kbytes postscript paper Keywords: Monads; Category theory; Kleisli triple; Imperative functional programming Francoise Bellegarde , and James Hook "Monads, Indexes, and Transformations" ,Technical report CS-94-008, Oregon Graduate Institute CS, 94.

106. Category Theory - Wikipedia, The Free Encyclopedia PhatNav s Encyclopedia A Wikipedia . category theory. Category This is the Gelfand representation. History of category theory. Categories http://www.phatnav.com/wiki/wiki.phtml?title=Category_theory

107. Category Theory - Jef's Web Files category theory. Parent categories Complexity. Related categories Web links Google Directory category theory. category theory. category theory. http://www.jefallbright.net/taxonomy/page/or/739

@import url(misc/drupal.css); @import url(themes/xtemplate/xtemplate.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 Category theory 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..." Furthermore, the attitude that theoretical physics does not explain phenomena, but only classifies and correlates, is today accepted by most theoretical physicists. This means that the criterion of success for such a theory is simply whether it can, by a simple and elegant classifying and correlating scheme, cover very many phenomena, which without this scheme would seem complicated and heterogeneous, and whether the scheme even covers phenomena which were not considered or even not known at the time when the scheme was evolved. (These two latter statements express, of course, the unifying and the predicting power of a theory.) — John von Neumann Category theory Complexity John von Neumann Philosophy ... login or register read more Google Directory: Category Theory Google Directory: Category Theory Category theory Complexity login or register return to Category theory return to Complexity visit Google Directory: Category Theory ... Investigations Investigations By Stuart A. Kauffman

108. Remarks On ACCAT (Applied And Computational Category Theory) Remarks on ACCAT (Applied and Computational category theory). ACCAT was the name of a working group established during my time at RISCLinz, Univ. http://www.cosy.sbg.ac.at/~jpfalz/ACCAT.html

Remarks on ACCAT (Applied and Computational Category Theory) ACCAT was the name of a working group established during my time at RISC-Linz, Univ. Linz (1990 - 1996). The origins were two courses, given in the frame of the RISC-Linz curriculum: "Categories, Fiberings, Sheaves, and Topoi" ; "Computational Category Theory (with ML)". In my basic course "Formale Systeme" , offered every year here at COWI Salzburg (institute for computer science, univ. of Salzburg), the opening chapter deals with the basic notation and notions of mappings on sets, leading to the category SET. In this way it is possible to explain very smoothly to undergraduate students the elementary axioms of the notion of a category (CAT). Some students at COWI showed their interest in hearing about CATs, this was the motivation for offering a two semesters course entitled ACCAT. More details follow below. Before going into these details, I want to point to the very interesting Working Group of Prof.Ronald BROWN , Mathematics Division, School of Informatics, University of Wales, Bangor (link to his page: Ronald BROWN There seem to be some interesting links of our work to the extensive topics of work of this group (for more details on working areas of the group we refer to the page: Publications Another very interesting place where Categorical Modeling plays a role, among others, is the

109. Category Theory .. Back to Marius s homepage. category theory. Categories home page. Theory and Applications of Categories. refereed electronic journal Kestrel Institute. http://www.cs.kent.ac.uk/people/staff/mcb8/researchlinks.html

Back to Marius's homepage Category Theory Categories home page Theory and Applications of Categories - refereed electronic journal Kestrel Institute Formal Methods Links The World Wide Web Virtual Library: Formal Methods NASA LaRC Formal Methods Program Verification Platform Tools MOSML v.2.00 HOL Taupo-6 (+ SMV Library) v. PROSPER v. JAVA v. ACL2PII (latest version is not yet available for public access, original code Tools Academic-Tools (University of Texas at Austin) : F.O.L. theorem prover PVS (SRI): H.O.L. thorem prover HOL (University of Cambridge): H.O.L. theorem prover SMV Cadence ): CTL* model checker Vendors Chrysalis avant! Prover IFAD ... Inno-Logic Groups University of Glasgow Tom Melham University of Cambridge Mike Gordon ... Jun Sawada CADENCE Labs: Ken McMillan INTEL Strategic CAD Labs Logic Team SRI LOTOS Stirling University From Computing Science and Mathematics , Kenneth J. Turner's page of Research Activities offers a World-wide Environment for Learning LOTOS (WELL), with much varied topics. Université de Liège The Research Unit in Networking (RUN) has a LOTOS page discussing LOTOS ELOTOS , research activities on LOTOS at RUN and recent LOTOS-related RUN publications.

110. Alexa Web Search - Subjects > Science > Math > Algebra > Category Theory category theory Subjects Science Math Algebra category theory. Browse, Sites in category theory (15). Best Selling Products in category theory. http://www.alexa.com/browse/categories?catid=26935

111. Studiegids Wiskunde 2003 (Category Theory) category theory. chance as a methode randomize - classical geometry - cohomology and characteristic - colloquium - commutative algebra - complexe http://www.studiegids.sci.kun.nl/ned/wiskunde_2003/vakken/1135

Wiskunde 2003 Faculteit der Natuurwetenschappen, Wiskunde en Informatica home Universiteit Faculteit NWI Studiegidsen ... - caput speltheorie - category theory - chance as a methode: randomize - classical geometry - cohomology and characteristic - colloquium ... printer versie 6.0 ects docent: dr. F.J.B.J. Clauwens speciale website: Eerste bijeenkomst: in de eerste week van het semester / kwartaal tentamen:

112. Category Theory, Homological Algebra|KLUWER Academic Publishers Home » Browse by Subject » Mathematics » Foundations, Sets and Categories » category theory, Homological Algebra. Sort listing http://www.wkap.nl/home/topics/J/4/4/

Title Authors Affiliation ISBN ISSN advanced search search tips Home Browse by Subject ... Foundations, Sets and Categories Category Theory, Homological Algebra Sort listing by: A-Z Z-A Publication Date Abelian Groups and Modules Alberto Facchini, Claudia Menini October 1995, ISBN 0-7923-3756-5, Hardbound Price: 259.50 EUR / 285.00 USD / 179.00 GBP Add to cart Algorithmic Methods in Non-Commutative Algebra Applications to Quantum Groups July 2003, ISBN 1-4020-1402-3, Hardbound Price: 108.00 EUR / 119.00 USD / 75.00 GBP Add to cart Applications of Category Theory to Fuzzy Subsets November 1991, ISBN 0-7923-1511-1, Hardbound Price: 191.50 EUR / 211.00 USD / 132.00 GBP Add to cart Approximation Theorems in Commutative Algebra Classical and Categorical Methods September 1992, ISBN 0-7923-1948-6, Hardbound Price: 215.50 EUR / 237.00 USD / 149.00 GBP Add to cart Automata and Algebras in Categories August 1990, ISBN 0-7923-0010-6, Hardbound Price: 342.50 EUR / 377.00 USD / 236.00 GBP Add to cart Axiomatic, Enriched and Motivic Homotopy Theory J.P.C. Greenlees January 2004, ISBN 1-4020-1833-9, Hardbound

113. Mbox: Re: Mechanization Of Category Theory Re Mechanization of category theory. I m about to implement basic parts of category theory in a tactical theorem prover based on higher order logic. 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

114. Mbox: Re: Mechanization Of Category Theory Re Mechanization of category theory. HAGIYA He formally proved fundamental theorems on category theory up to Yoneda s Lemma. The http://www-unix.mcs.anl.gov/qed/mail-archive/volume-3/0138.html

Re: Mechanization of category theory HAGIYA Masami hagiya@is.s.u-tokyo.ac.jp Fri, 22 Mar 1996 18:08:30 +0900 Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Next message: David Rydeheard: "Re: Mechanization of category theory" Previous message: Bernd Ingo Dahn: "Re: Mechanization of category theory" In reply to: Bernd Ingo Dahn: "Re: Mechanization of category theory" Next in thread: David Rydeheard: "Re: Mechanization of category theory" We also have a thesis by an undergraduate student. He formally proved fundamental theorems on category theory up to Yoneda's Lemma. The purpose of the thesis was to compare formalization by set theory (in Mizar) and formalization by type theory. ftp://nicosia.is.s.u-tokyo.ac.jp/pub/staff/mohri/ST.ps Masami Hagiya (University of Tokyo) "On Formalization of Category Theory" by Takahisa Mohri (in March 1995) Abstract Category theory is important in several areas of computer science, such as semantics and implementation of functional and imperative programming languages, the design of programs, typing, et. On the other hand, in reserches called formalized mathematics, various areas of mathematics are formalized and formal proofs are checked on computers. Category theory is also one of the objects of these researches. In this paper, we compare the advantage and disadvantage of these formalizations. In particular, in advanced category theory including notions of functor category,set-valued functor, etc., the ability to deal with higher-order concepts and notions of sets is necessary. From this point of view, as an example, we attempt to prove Yoneda's Lemma based on each formalization.

115. Category Theory last substantive content change JUL 16 1997. category theory. category theory is a general mathematical theory of structures and sytems of structures. http://www.seop.leeds.ac.uk/archives/win2003/entries/category-theory/

This is a file in the archives of the Stanford Encyclopedia of Philosophy version history HOW TO CITE THIS ENTRY Stanford Encyclopedia of Philosophy A B C D ... Z This document uses XHTML-1/Unicode to format the display. Older browsers and/or operating systems may not display the formatting correctly. last substantive content change JUL 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. General Definitions Brief Historical Sketch Philosophical Significance Bibliography ... Related Entries General Definitions Category theory is a generalized mathematical theory of structures. One of its goals is to reveal the universal properties of structures of a given kind via their relationships with one another. Formally, a category

116. In Emergence We Trust -- Padamu Teori Kami Berjanji 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

In Emergence We Trust Rahmat M. Samik-Ibrahim Memo #23 HOME vv BOTTOM vv This page is a tribute to the late Dr. Cheng-Hian Goh , with whom " awareness " was discussed without being aware :-(. 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 Bahasa Indonesia English Coding ... Coding Coding Coding... The Glaserian coding model is based on first comparing of indicator to indicator, then the emerging concept to indicators. There are two types of coding without a clear boundary, i.e. open coding and selective coding , to more than 18 theoretical coding families (cf. "axial coding" in [STRAUSCORBIN98]). Note that "it is necessary for the grounded theorist to know many theoretical codes in order to be sensitive References : [GLASER78, pp. 63, 72-82], [GLASER98, pp. 170-175]. The Basic Social Process (BSP) is one of the most favorable theoretical code among beginers. BSP is a " ideal type homunculus References : [BIGUSHADDGLAS94, p. 38].

117. Philosophy, Theory, And Education 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

118. Mathematics Archives - Topics In Mathematics - Logic & Set Theory category of Topics in Mathematics (MathArchives). http://archives.math.utk.edu/topics/logic.html

Topics in Mathematics The Alonzo Church Archive ADD. KEYWORDS: Manuscripts, Photographs AMS's Materials Organized by Mathematical Subject Classification ADD. KEYWORDS: Electronic Journals, Preprints, Web Sites, Databases AMS's Materials Organized by Mathematical Subject Classification ADD. KEYWORDS: Electronic Journals, Preprints, Web Sites, Databases Around Goedel's theorem ADD. KEYWORDS: Textbook, Platonism, intuition and the nature of mathematics, Axiomatic set theory, First order arithmetic, Hilbert's Tenth problem, Incompleteness theorems, Around Goedel's theorem, About model theory Association for Symbolic Logic ADD. KEYWORDS: Society, Meetings Axiome du Choix ADD. KEYWORDS: Quelques variantes de l'axiome du choix. The Beginnings of Set Theory ADD. KEYWORDS: History, Cantor, Bolzano, Dedekind, Russell, Peano, Zermelo, Bibliography The Bulletin of Symbolic Logic ADD. KEYWORDS: Journal CMS Preprints: Set theory The Continuum Hypothesis ADD. KEYWORDS: Draft of an article A Crash Course in the Mathematics Of Infinite Sets ADD. KEYWORDS:

119. 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.

120. String Reviews An extensive list of downloadable review articles on string theory and related topics. (Except for the first category, the reviews are technical in nature.) http://www.nuclecu.unam.mx/~alberto/physics/stringrev.html

The following are review articles on string theory and related topics that can be downloaded (in PDF, postscript, or other formats) from the arXiv preprint server. Except for the first category, the reviews are technical in nature. (An explanation of the basic idea of string theory intended for the general public may be found here .) Other string links, including online conference proceedings, are listed here Colloquia/Semipopular Perturbative ST Overall Intro ... Other COLLOQUIA/ SEMIPOPULAR Back to Top hep-th/0401092 Physics and Geometry . Peter G. O. Freund (based on invited talks at the Gunnar Nordstrom Symposium on Theoretical Physics at the University of Helsinki, Helsinki, Finland, and the 3rd QTS Symposium at the University of Cincinnati, September 13, 2003) hep-ph/0401035 From Concept to Reality to Vision . Frank Wilczek (7 pages; Speech in acceptance of EPS prize for high energy physics, Aachen, August 2003) physics/0311047 String Theory: a theory in search of an experiment . Howard J. Schnitzer (7 pages; essay presented at a celebration for S.S. Schweber on October 8, 2003 at the Dibner Institute, MIT)

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