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

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

Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics ... Category Theory 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 CITE THIS AS: Weisstein, Eric W. "Category Theory." From MathWorld A Wolfram Web Resource. http://mathworld.wolfram.com/CategoryTheory.html Contact the MathWorld Team Wolfram Research, Inc. Wolfram Research Mathematica Home Page ... Wolfram Blog

103. CT95 Canadian Mathematical Society Annual Seminar. Dalhousie University, Halifax, Canada; 915 July 1995. http://www.mta.ca/~cat-dist/ct95.html

INTERNATIONAL CATEGORY THEORY MEETING (CT95) Canadian Mathematical Society Annual Seminar July 9-15, 1995 Dalhousie University, Halifax, Canada 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.

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

105. 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/

This is a file in the archives of the Stanford Encyclopedia of Philosophy Stanford Encyclopedia of Philosophy A B C D ... Z 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 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

106. 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/

Home About Us Centre for Mathematical Medicine Mathematics Education ... Search SCIENTIFIC PROGRAMS AND ACTIVITIES October 31, 2010 Workshop on Categorical Structures for Descent and Galois Theory, Hopf Algebras and Semiabelian Categories September 23-28, 2002 Schedule Confirmed Speakers Accepted Abstracts Proceedings ... Group Photo Organizers: Georgian Academy of Sciences, Tbilisi,Republic of Georgia; University of Aveiro, Aveiro, Portugal University of Munich, Munich, Germany Walter Tholen York University, Toronto, Canada Theme and Purpose of the Workshop 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).

107. 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/

108. FG KATMAT Katmat. Research Group on Categorical Methods in Algebra and Topology. German/English site. http://katmat.math.uni-bremen.de/

Fachbereich 3 FG KatMAT Forschungsgruppe Kategorielle Methoden in Algebra und Topologie Research Group Categorical Methods in Algebra and Topology

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

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

111. Cape Town - Topology And Categories Universities of Cape Town, Stellenbosch and the Western Cape. Members, activities, outputs, links. http://math.sun.ac.za/~cattop/

Cape Town Research Group in TOPOLOGY AND CATEGORY THEORY Introduction Members Activities Output Links Contact us

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

Category theory and Haskell : Part 2 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. Standard terminology The "do nothing process" is noted id for identity The set of arrows from A to B is noted hom(A,B) (hom for homomorphism) A terminal object (playing the role of a singleton) is generally noted 1 The category of Haskell programs and types is named Hask Now, let's see some additional definitions.

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

Search all the public and authenticated articles in CiteULike. Enter a search phrase. You can also specify a CiteULike article id ( a DOI ( doi:10.1234/12345678 or a PubMed Id ( pmid:12345678 Click Help for advanced usage. CiteULike KnayaWP's CiteULike Search Register Log in Home ... Research Fields NEW Help/FAQ Discussion Contact Us Library ... Recommendations NEW Neighbours Watchlist CiteULike is a free online bibliography manager. Register and you can start organising your references online. Tags Using category theory to design implicit conversions and generic operators 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.

114. 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/

Alissa S. Crans Assistant Professor Department of Mathematics Loyola Marymount University Home Mathematics ... Pathways Department of Mathematics Loyola Marymount University One LMU Drive, Suite 2700 Los Angeles, CA 90045 Office: University Hall 2724 Email: acrans "at" lmu.edu Phone: Fax: Women in Mathematics Symposium February 24 - 26, 2011 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. -Sofya Kovalevskaya, 1890

115. 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/

Site map Accessibility Search University of Southampton ... Search Name Dr JH Renshaw Room Phone Email obfmessage("W-U-Erafunj+znguf-fbgba-np-hx","W-U-Erafunj+znguf-fbgba-np-hx") Research Interests Algebraic semigroups semigroup amalgams, automata/category theory, computer aided learning. Freedom of information Terms and conditions Phone book Contact details ... Design by: Precedent

116. Steve Awodey Carnegie Mellon University - Category theory, logic, history and philosophy of mathematics and logic. http://www.andrew.cmu.edu/user/awodey/

Steve Awodey Professor Department of Philosophy Carnegie Mellon University Research Areas Category Theory Logic Philosophy of Mathematics History of Logic and Analytic Philosophy Textbook Category Theory , Oxford Logic Guides, Oxford University Press, 2006. Second edition 2010, now in paperback! Click here for more information. Selected Current Preprints Type theory and homotopy. S. Awodey, 2010. First-order logical duality. S. Awodey and H. Forssell, 2010. S. Awodey, P. Hofstra, M. Warren, 2009. From sets, to types, to categories, to sets. S. Awodey, 2009. Algebraic models of theories of sets and classes. S. Awodey, H. Forssell, M. Warren, June 2006. Relating topos theory and set theory via categories of classes. S. Awodey, C. Butz, A. Simpson, T. Streicher, June 2003. Research announcement. Bulletin of Symbolic Logic. Selected Publications Lawvere-Tierney sheaves in algebraic set theory. S. Awodey, N. Gambino, P. Lumsdaine, M. Warren, Journal of Symbolic Logic Homotopy theoretic models of identity types. S. Awodey, M. Warren, Mathematical Proceedings of the Cambridge Philosophical Society A brief introduction to algebraic set theory.

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

@import "misc/drupal.css"; @import "themes/chameleon/ltu/style.css"; Lambda the Ultimate Home Feedback FAQ ... Archives User login Username: Password: Create new account Request new password Navigation recent posts Home forums Site Discussion Trying to define a new lisp. 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.

118. Paul Taylor - Foundations Of Mathematics And Computation Foundations of mathematics and computation, category theory, abstract stone duality. http://www.monad.me.uk/

Paul Taylor - Foundations of Mathematics and Computation 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.

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

120. 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/

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