Geometry.Net - Pure_And_Applied_Math: Category Theory


Home - Pure_And_Applied_Math - Category Theory

e99.com Bookstore

Images

Newsgroups

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

Category Theory: more books (100)

Basic Bundle Theory and K-Cohomology Invariants (Lecture Notes in Physics) by Dale Husemöller, Michael Joachim, et all 2010-11-02
Algorithmic Methods in Non-Commutative Algebra: Applications to Quantum Groups (Mathematical Modelling: Theory and Applications) by J.L. Bueso, José Gómez-Torrecillas, et all 2010-11-02
Combinatorial Network Theory (Applied Optimization)
Theory and Applications of Ontology: Philosophical Perspectives
Non-Semisimple Topological Quantum Field Theories for 3-Manifolds with Corners (Lecture Notes in Mathematics) by Thomas Kerler, Volodymyr V. Lyubashenko, 2001-10-25
Theory of Modules: Introduction to the Theory of Module Categories by Alexandru Solian, 1977-08-31
A Notional Theory of Syntactic Categories (Cambridge Studies in Linguistics) by John M. Anderson, 2006-12-14
Triangulated Categories. (AM-148) (Annals of Mathematics Studies) by Amnon Neeman, 2001-02-01
Categories for Types (Cambridge Mathematical Textbooks) by Roy L. Crole, 1994-03-25
Categories Tannakiennes (Lecture Notes in Mathematics) (French Edition) (Volume 0) by N. Saavedra Rivano, 1972-07-20
Axiomatic Domain Theory in Categories of Partial Maps (Distinguished Dissertations in Computer Science) by Marcelo P. Fiore, 2004-03-25
Geometric Stability Theory (Oxford Logic Guides) by Anand Pillay, 1996-11-07
The Spectrum of a Module Category (Memoirs of the American Mathematical Society) by Henning Krause, 2001-01
Cogroups and Co-rings in Categories of Associative Rings (Mathematical Surveys and Monographs) by George M. Bergman, 1996-05-02

lists with details

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

Extractions: 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: Maintained by Robert Byrne
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
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

Extractions: Education Research Computer Systems ... Department of Information Technology 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;
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

Extractions: 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.
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
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

Extractions: 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
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

Extractions: 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.
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

Extractions: 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.
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
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
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/
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
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

Extractions: "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.
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/

Extractions: JUL 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. 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
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

Extractions: relevance, general, and " just do it " for all! ( Bellamy Bahasa Indonesia English 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].
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
Mathematics Archives - Topics In Mathematics - Logic & Set Theory
category of Topics in Mathematics (MathArchives).
http://archives.math.utk.edu/topics/logic.html
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.
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

Extractions: 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)

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