Geometry.Net - Pure_And_Applied_Math: Category Theory


Home - Pure_And_Applied_Math - Category Theory

e99.com Bookstore

Images

Newsgroups

101-120 of 128 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

Toposes, Triples And Theories
By Michael Barr and Charles Wells, 1983. A revised and corrected version is now available free for downloading. Formats DVI, PDF, PostScript.
http://www.cwru.edu/artsci/math/wells/pub/ttt.html
Category Theory -- From Wolfram MathWorld
The branch of mathematics which formalizes a number of algebraic properties of collections of transformations between mathematical objects (such as binary relations, groups
http://mathworld.wolfram.com/CategoryTheory.html

Extractions: Category Theory The branch of mathematics which formalizes a number of algebraic properties of collections of transformations between mathematical objects (such as binary relations, groups, sets, topological spaces, etc.) of the same type, subject to the constraint that the collections contain the identity mapping and are closed with respect to compositions of mappings. The objects studied in category theory are called categories SEE ALSO: Category
CT95
Canadian Mathematical Society Annual Seminar. Dalhousie University, Halifax, Canada; 915 July 1995.
http://www.mta.ca/~cat-dist/ct95.html

Extractions: Fifty years after the paper which founded Category Theory and twenty-five years after the discovery of Elementary Topos Theory, the Category Theory community met in Halifax. The meeting was also an Annual Seminar of the Canadian Mathematical Society (which celebrates its 50th anniversary in 1995). The meeting took place on the campus of Dalhousie University in Halifax. The scientific program ran from Monday, July 10 to Saturday, July 15 inclusive. The conference social events included an excursion to Point Pleasant Park followed by a boat tour of Halifax harbour and lobster dinner, and a conference banquet on the Thursday evening. About 107 mathematicians participated in the conference. Their names and email addresses (where known) are listed. Here is the conference picture - thanks to Bob Walters for scanning. During the two weeks preceding CT95 a Category Theory Summer School was held at Dalhousie. Professors F. W. Lawvere and S. Schanuel presented a series of lectures to an enthusiastic audience of graduate students from around the world.
Xkcd • Information
9 posts 3 authors - Last post Oct 30, 2007category theory makes my brain shut off in self-defense, but I can ask someone next week if there s still no answer.
http://echochamber.me/viewtopic.php?f=17&t=14321&view=next
Category Theory (Stanford Encyclopedia Of Philosophy/Spring 1999 Edition)
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
http://www.science.uva.nl/~seop/archives/spr1999/entries/category-theory/

Extractions: This is a file in the archives of the Stanford Encyclopedia of Philosophy A B C D ... Z 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 C can be described as a collection Ob , the objects of C , which satisfy the following conditions: For every pair a b of objects, there is a collection
Fields Institute - Galois And Hopf 2002
Workshop, Fields Institute, Toronto, Canada; 2328 September 2002.
http://www.fields.utoronto.ca/programs/scientific/02-03/galois_and_hopf/

Extractions: York University, Toronto, Canada The goal of the meeting is to spread and to advance categorical methods and their application amongst researchers working in three overlapping areas of algebra, namely in the study of (I) algebraic structures in monoidal categories and their classical examples, such as Hopf, Frobenius, and Azumaya algebras, and others, particularly those occurring in quantum field theory, (II) Galois theory vis-a-vis Grothendieck's descent theory, as well as the general theory of separability and decidability, applied particularly to the structures mentioned in (I), (III) homological algebra of non-abelian structures, such as groups, rings and (associative or Lie) algebras, and its extension to the structures mentioned in (I).
What’s A Natural Transformation? « Luke Palmer
Apr 28, 2008 I guess the weirdest thing about category theory is how natural trasformation A really good introduction to category theory is Arrows,
http://lukepalmer.wordpress.com/2008/04/28/whats-a-natural-transformation/
FG KATMAT
Katmat. Research Group on Categorical Methods in Algebra and Topology. German/English site.
http://katmat.math.uni-bremen.de/
Hacker News | Category Theory In General, Because It Encompasses Areas Of Comput
Why should someone who is interested in programming languages learn category theory and what is the best (preferably online) text?
http://news.ycombinator.com/item?id=151496
Category Theory For Beginners*
Dr Steve Easterbrook Associate Professor, Dept of Computer Science, University of Toronto sme@cs.toronto.edu
http://www.cs.toronto.edu/~sme/presentations/cat101.pdf
Cape Town - Topology And Categories
Universities of Cape Town, Stellenbosch and the Western Cape. Members, activities, outputs, links.
http://math.sun.ac.za/~cattop/
Category Theory And Haskell : Part 2
Jun 24, 2007 In my previous post, I explained that with category theory you can define some concepts in such a way that they can be used in several
http://www.alpheccar.org/en/posts/show/76

Extractions: Posted by alpheccar - Jun 24 2007 at 21:48 CEST In my previous post , I explained that with category theory you can define some concepts in such a way that they can be used in several different contexts. As a side effect, the definitions are rather abstract since they are forbidden from talking about the implementation of the objects and must rely only on the provided interfaces. So, a first thing to do when studying category theory is learning some of these definitions. Some of them are just generalizations of ideas commonly used in set theory. I introduced a few of them in my previous post but I used a terminology that is not standard. So, before continuing and introducing some additional definitions, let me complete my previous post and give the standard terminology that I will now use. Now, let's see some additional definitions.
CiteULike: Using Category Theory To Design Implicit Conversions And Generic Oper
by JC Reynolds Cited by 121 - Related articles
http://www.citeulike.org/user/KnayaWP/article/6792447

Extractions: CiteULike KnayaWP's CiteULike Search Register Log in CiteULike is a free online bibliography manager. Register and you can start organising your references online. Tags by: John C. Reynolds RIS Export as RIS which can be imported into most citation managers BibTeX Export as BibTeX which can be imported into most citation/bibliography managers PDF Export formatted citations as PDF RTF Export formatted citations as RTF which can be imported into most word processors Delicious Export in format suitable for direct import into delicious.com. Setup a permanent sync to delicious) Formatted Text Export formatted citations as plain text To insert individual citation into a bibliography in a word-processor, select your preferred citation style below and drag-and-drop it into the document.
Alissa S. Crans
Loyola Marymount University. Higher-dimensional algebra Lie theory with elements of category theory, knot theory and Lie algebra cohomology. Publications, thesis.
http://myweb.lmu.edu/acrans/

Extractions: Pacific Coast Undergraduate Mathematics Conference March 12, 2011 Loyola Marymount University Many people who have never had occasion to learn what mathematics is confuse it with arithmetic and consider it a dry and arid science. In actual fact it is the science which demands the utmost imagination. One of the foremost mathematicians of our century says very justly that it is impossible to be a mathematician without also being a poet in spirit... It seems to me that the poet must see what others do not see, must see more deeply than other people. And the mathematician must do the same.
Jim Renshaw's Homepage :: School Of Mathematics
University of Southampton. Algebraic semigroups, semigroup amalgams, automata/category theory, computer aided learning. Publications, teaching material, semigroup resources.
http://www.soton.ac.uk/~jhr/
Steve Awodey
Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic.
http://www.andrew.cmu.edu/user/awodey/
Trying To Define A New Lisp. | Lambda The Ultimate
Jan 12, 2009 Category theory is based upon morphism and we apply this as morphisms on HOFs. The base data types are graphs and topos.
http://lambda-the-ultimate.org/node/3163

Extractions: Home forums Site Discussion Here is an outline of a new lisp I plan on creating. Its a fusion of current PLT theories which takes a SchemI am deconstructing lisp and finding what is really meant in lisp and reconstructing it utilizing category theory and logical programming. Scheme is still used for all computation. Its a strongly typed scheme with type inference signature are used to type the language. Categories become your way to create new data types. Your base data type is a topos or basically a type of set from set theory. A set os a collection of things. Lisp is used as the primary syntax so it is a lisp like system. Graphs are also a base data type so the things you do in lisp can be generalized so basically you can code in lisp but it would be weakly typed. The language borries alot from haskell in its design and scheme in its philosophy and design. By reconstructing I mean actually taking axioms of lisp and retooling them into logic and category theories. Lisp becomes something different and instead a subset of the language. Lisp will be fully expressable as a turing complete language but there will be other paradigms in the language.
Paul Taylor - Foundations Of Mathematics And Computation
Foundations of mathematics and computation, category theory, abstract stone duality.
http://www.monad.me.uk/

Extractions: www. Paul Taylor. EU pt 10 @ Paul Taylor. EU Contact me in London Conferences and Seminars Links to Related Work About these Web pages ... Abstract Stone Duality is a revolutionary direct axiomatisation of general topology and constructive real analysis that is inherently computable. Practical Foundations of Mathematics relates category theory and type theory to the idioms of mathematics (Cambridge University Press, 1999, ISBN 0-521-63107-6). Induction, recursion, replacement and the ordinals are studied categorically using well founded coalgebras. Introduction to Algorithms and Reasonned Programming : a first year computer science course. Commutative diagrams proof trees and boxes and other TeX macros . My right-justified end-of-proof square is the only one that works. Classical (Scott) and stable domain theory , also called analytic or polynomial functors, shapes, containers, or multiadjoints. Proofs and Types by Jean-Yves Girard, which I translated, is out of print but downloadable. Gauss's second proof of the fundamental theorem of algebra, which I translated from Latin.
My Current Readings In Category Theory
Apr 2, 2002 Cypherpunks, I ve been having a lot of fun reading up on category theory, a relatively new branch of math that offers a unified language
http://www.mail-archive.com/cypherpunks-moderated@minder.net/msg00145.html
Martin Hofmann's Homepage 5
University of Edinburgh - Type theory, principles of programming languages, semantics, category theory, mathematical logic, formal methods.
http://www.tcs.informatik.uni-muenchen.de/~mhofmann/

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