Geometry.Net - Pure_And_Applied_Math: Category Theory


Home - Pure_And_Applied_Math - Category Theory

e99.com Bookstore

Images

Newsgroups

41-60 of 123 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Next 20

Category Theory: more books (100)

Category Theory and Computer Science: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings (Lecture Notes in Computer Science)
Diagrammatic Morphisms and Applications: AMS Special Session on Diagrammatic Morphisms in Algebra, Category Theory, and Topology, October 21-22, 2000, ... San Fran (Contemporary Mathematics) by David E. Radford, 2003-02-01
Papers on General Topology and Related Category Theory and Topological Algebra (Annals of the New York Academy of Sciences)
Category Seminar: Proceedings Sydney Category Theory Seminar 1972 /1973 (Lecture Notes in Mathematics)
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings (Lecture Notes in Computer Science)
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16-20, 1985 : Proceedings (Lecture Notes in Computer Science, 240)
Computational Category Theory (Prentice-Hall International Series in Computer Science) by D. E. Rydeheard, Burstall, 1988-11
Category theory applied to computation and control: Proceedings of the first international symposium, San Francisco, February 25-26, 1974 (Lecture notes in computer science) by American Mathematical Society; American Association for the Advancement of Sci ?, 1975
Introduction to the Theory of Categories and Functions (Pure & Applied Mathematics Monograph) by I. Bucur, A. Deleanu, 1968-12
Skeleton (Category Theory)
Applications of Category Theory to Fuzzy Subsets (Theory and Decision Library B)
Topology and Category Theory in Computer Science
Category Theory 1991: Proceedings of an International Summer Category Theory Meeting, Held June 23-30, 1991 (Conference Proceedings, Vol 13) by Quebec) International Summer Category Theory Meeting (1991 Montreal, R. A. G. Seely, 1992-09
Higher Category Theory: Workshop on Higher Category Theory, March 28-30, 1997, Northwestern University, Evanston, Il (Contemporary Mathematics)

lists with details

Category Theory
category theory. 80413/713. Overview. category theory, a branch of abstract algebra, has found many applications in mathematics, logic, and computer science.
http://www.andrew.cmu.edu/course/80-413-713/

Extractions: Webpage: www.andrew.cmu.edu/course/80-413-713 Category theory, a branch of abstract algebra, has found many applications in mathematics, logic, and computer science. Like such fields as elementary logic and set theory, category theory provides a basic conceptual apparatus and a collection of formal methods useful for addressing certain kinds of commonly occurring formal and informal problems, particularly those involving structural and functional considerations. This course is intended to acquaint students with these methods, and also to encourage them to reflect on the interrelations between category theory and the other basic formal disciplines.
Gian Luca Cattani's Home Page
University of Cambridge Applications of category theory to computer science, semantics of concurrent process languages.
http://www.cl.cam.ac.uk/users/glc25/

Extractions: I am currently working for DS Data Systems . This is a snapshot of my web-page as it was when I left Cambridge and it is still available mainly to allow people to have access to my research papers. The Computer Science Department at Aarhus is warmly thanked for hosting this page. In fact I also still receive emails sent to either my Aarhus or Cambridge addresses. November 2000 I am a Research Associate at Cambridge University Computer Laboratory and a Fellow of Wolfson College . I did my doctorate at BRICS under the supervision of Glynn Winskel My main research interests are in Logics and Semantics of Computation. In particular Models of Concurrent Computation and applications of Category Theory to Computer Science especially in connection with Domain Theory, Denotational and Operational Semantics. Presently I am supported by an EPSRC grant, whose title is `Calculi for Interactive Systems: Theory and Experiment' and whose principal investigator is Robin Milner. On-line papers and a bibtex database of my publications.
Category Theory -- From MathWorld
category theory. The branch mappings. The objects studied in category theory are called categories. Category. search. Eric W. Weisstein. Category
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 Category search
Mathematical Structures Group
Research topics include mathematical models and theories in the empirical sciences, models and theories in mathematics, category theory, and the use of mathematical structures in theoretical computer science. Bibliographic data.
http://www.mmsysgrp.com/mathstrc.htm

Extractions: Category Theory Theoretical Computer Science ... WWW Research Sites Agazzi and Darvas. Philosophy of Mathematics Today. Kluwer Academic Publishers, 1997 Anglin and Lambek. The Heritage of Thales. Springer-Verlag, 1995 Akin, Ethan. The General Topology of Dynamical Systems. American Mathematical Society, 1993 Barwise, Jon. (ed) Handbook of Mathematical Logic. North-Holland,1977 Barwise, Jon. "Axioms for Abstract Model Theory" ,Annals of Mathematical Logic 7(1974) 221-265. Bell, John and Machover,Moshe. A Course in Mathematical Logic. North-Holland, 1977 Bridge, Jane. Beginning Model Theory. Clarendon Press, 1977 Burgess, John and Rosen, Gifeon. A Subject with No Object Oxford Press, 1997
Category Theory Authors/titles Recent Submissions
category theory. Title Cofree coalgebras over operads II Authors Justin R. Smith Subjclass Algebraic Topology; category theory MSC-class 18D50, 55P15
http://arxiv.org/list/math.CT/recent
Lars Birkedal / Teaching / Category Theory --- Fall 2000
category theory Fall 2000. A number of applications of category theory to computer science will also be covered, including some recent developments.
http://www.itu.dk/~birkedal/teaching/category-theory-Fall-2000/

Extractions: Fall 2000 Category theory, a branch of abstract algebra, has found many applications in mathematics, logic, and computer science, where it for example has been used to describe and analyse models of both sequential and parallel programming languages. Like such fields as elementary logic and set theory, category theory provides a basic conceptual apparatus and a collection of formal methods useful for addressing certain kinds of commonly occurring formal and informal problems, particularly those involving structural and functional considerations. This course is intended to acquaint students with these methods, and also to encourage them to reflect on the interrelations between category theory and the other basic formal disciplines. A number of applications of category theory to computer science will also be covered, including some recent developments. Lectures Tuesdays, Glentevej, Room 1.03, 9:00 AM - 12:00 AM, 2:00 PM - 4 PM
Ian Stark - University Of Edinburgh
University of Edinburgh Formal semantics of programming languages, category theory, domain theory and structural operational semantics, functional languages.
http://www.dcs.ed.ac.uk/~stark/

Extractions: Email: Ian.Stark@ed.ac.uk Phone: +44 (131) 650 5143 (Work) +44 (131) 228 4101 (Home) Fax: Office: JCMB 2506 Other pages list my publications and some talks EPSRC Advanced Research Fellowship on Mathematical Models for Concurrent and Mobile Computation . I am also involved with the following research projects: PhD students: I am second supervisor for Rob Atkey Jonathan Cook Shin-Ya Katsumata Alex Blewitt and Francis Tang completed 2002 I'm not giving any undergraduate lecture courses for the duration of my EPSRC research fellowship. Here are some past courses. Advanced Programming in Java Language Processing Computer Literacy: Algorithms and Programs.
CTCS'04
category theory and Computer Science (CTCS 04) August 12th14th, 2004 Appsem II conference. DEADLINE EXTENSION April 16th (closed).
http://www.itu.dk/research/theory/ctcs2004/

Extractions: Workshop on Categorical Methods in Concurrency, Interaction and Mobility (CMCIM), August 11th, 2004 The IT University of Copenhagen. Illustration by Eyecadcher. CTCS'04 is the tenth conference on Category Theory and Computer Science. The purpose of this conference series is the advancement of the foundations of computing, using the tools of category theory. While the emphasis is on applications of category theory, it is recognized that the area is highly interdisciplinary. Category theory, after having played a major role in the development of mathematics, e.g. in algebraic geometry, has been widely applied by logicians to obtain concise interpretations of many logical concepts. On the other hand, links between logic and computer science have been developed now for over twenty years, notably via the Curry-Howard isomorphism, which identifies programs with proofs. Together, the triangle category theory-logic-computation presents a rich world of interconnections. It is the primary purpose of the CTCS conference series to explore these interconnections. Conference proceedings will appear in Electronic Notes in Theoretical Computer Science . Paper copies of the proceedings will be available to participants at the conference.
Kosta Dosen's Home Page
University of Belgrade Proof theory, category theory.
http://www.mi.sanu.ac.yu/~kosta/

Extractions: Fax.: (381-11) 186-105 E-MAIL: kosta@mi.sanu.ac.yu Curriculum Vitae Visiting posts Faculty of Mathematics, University of Belgrade, (1985/86, 1990-92, 2001), University of Notre Dame, Indiana (1986/87), Institute of Mathematics, University of Montenegro (1988/89), Department of Mathematics and Computer Science, University of Montpellier III (1992-94), Wilhelm Schickard Institute, University of Tübingen (1997).
CT2000
CT2000. International category theory Conference. Villa Olmo, Como, July 1622, 2000. If you see this, it probably means that your browser does not handle frames.
http://www.disi.unige.it/conferences/ct2000/

Extractions: International Category Theory Conference If you see this, it probably means that your browser does not handle frames. Follow the link to Detailed Information or that to the map of the site . Clicking buttons from there on may open pages in new windows, else remember to use your Back button to return to that page.
CTO : Category Theory 101
category theory 101. A Learning Lounge course about category theory. Short introduction category theory entry on the Stanford Encyclopedia of Philosophy.
http://cliki.tunes.org/Category Theory 101

Extractions: CTO CLiki for the TUNES project Home Recent Changes About CLiki Text Formatting ... Create New Page A Learning Lounge course about Category Theory The basics: There are some basic examples of categories: one is Set, whose objects are sets and whose arrows are (total) functions between sets. The category Set's natural composition is therefore function composition.
CTO : Category Theory
category theory. See our category theory 101 overview. category theory is very useful in formalizing types and functions/functors in functional programming.
http://cliki.tunes.org/Category Theory

Extractions: CTO CLiki for the TUNES project Home Recent Changes About CLiki Text Formatting ... Create New Page The term for a very abstract (often too abstract for most) theory in mathematics relating several fields through some common properties. See our Category Theory 101 overview. Category theory is very useful in formalizing types and functions/functors in functional programming. Pages in this topic: Category Theory 101 Morphism Also linked from: Aldor Algebra and coalgebra Bisimulation Charity ... View source
Ramifications Of Category Theory Workshop And Symposium Including
Ramifications of category theory Workshop and Symposium Including a lecture series by FW Lawvere Sponsored by AILA (Associazione Italiana di Logica e
http://ramcat.scform.unifi.it/
Paul Taylor
Includes papers on category theory.
http://www.dcs.qmw.ac.uk/~pt/

Extractions: Paul Taylor Research Fellow (RA3) funded by EPSRC GR/S58522 Abstract Stone Duality Please note: My papers and web pages at www.cs.man.ac.uk/ pt are currently under reconstruction. All of the L A T E X documents are being rebuilt (which in some cases involves upgrading from L A T E X2.09 to L A T E X e ) and regenerated in DVI, PDF, PS and A4 booklet form, with hyperlinks. All of the HTML documents are being rebuilt using TTH, accompanied by DVI and PDF versions. This will allow you to use XDVI, XPDF or ACROREAD to navigate the system of papers entirely in DVI or PDF format, without returning to HTML The T E X macro packages are also being upgraded. For the time being, you may encounter erroneous web links. In particular, if you find yourself redirected to localhost www.localhost.com www.di.unito.it or www.dcs.qmul.ac.uk please report the bug to me and substitute www.cs.man.ac.uk or www.dcs.qmul.ac.uk My book, Practical Foundations of Mathematics , was published by Cambridge University Press in 1999, ISBN 0-521-63107-6. (This link is intentionally still to www.dcs.qmul.ac.uk
Week68
Goldblatt s book teaches you all the category theory you need to learn about topoi but for people who already know some category
http://math.ucr.edu/home/baez/week68.html

Extractions: Okay, now the time has come to speak of many things: of topoi, glueballs, communication between branches in the many-worlds interpretation of quantum theory, knots, and quantum gravity. 1) Robert Goldblatt, Topoi, the Categorial Analysis of Logic, Studies in logic and the foundations of mathematics vol. 98, North-Holland, New York, 1984. If you've ever been interested in logic, you've got to read this book. Unless you learn a bit about topoi, you are really missing lots of the fun. The basic idea is simple and profound: abstract the basic concepts of set theory, so as to define the notion of a "topos", a kind of universe like the world of classical logic and set theory, but far more general! For example, there are "intuitionistic" topoi in which Brouwer reigns supreme - that is, you can't do proof by contradiction, you can't use the axiom of choice, etc.. There is also the "effective topos" of Hyland in which Turing reigns supreme - for example, the only functions are the effectively computable ones. There is also a "finitary" topos in which all sets are finite. So there are topoi to satisfy various sorts of ascetic mathematicians who want a stripped-down, minimal form of mathematics. However, there are also topoi for the folks who want a mathematical universe with lots of horsepower and all the options! There are topoi in which everything is a function of time: the membership of sets, the truth-values of propositions, and so on all depend on time. There are topoi in which everything has a particular group of symmetries. Then there are *really* high-powered things like topoi of sheaves on a category equipped with a Grothendieck topology....
Ccard V2.0 - A Category Theory Card Game
What is category theory? In a way, this game is still work in progress (as learning category theory is rather a journey than a goal).
http://www.verify-it.de/sub/ccard/

Extractions: project Ccard is a card game. You can download the cards as gzipped postscript It was born in an area of distress in May 1999, kicked of by the Summer School in Semantics (at BRICS, Aarhus University, Denmark) and in particular the course about category theory there. There are some simple "rules" I made up for two or more players (but you are of course free to change them). The seven suits are organized by a increasing number of "circles" which are meant to reflect the "difficulty" of the facts within. The number of circles/triangles of the suite symbol determines the rank of this suite. Every suite has nine cards. The highest card of one suit is the "aleph"_lambda (resembles a shaky N), followed by "omega", "infinity", then 11, 7, 5, 3, 2 (I like to stick with prime numbers) and finally the empty set (or "naught"). Each of 2 (or possibly more) players gets six cards, the rest is left as a pile on the table.
Centre Of Australian Category Theory, Macquarie University
Centre of Australian category theory. Welcome to the Centre of Australian category theory. The Centre of Australian category theory
http://www.ics.mq.edu.au/CoACT/

Extractions: Staff Centre of Australian Category Theory The Centre of Australian Category Theory (CoACT) develops an algebra of widespread applicability for the synthesis and analysis of systems and processes in fields as diverse as physics and computer science, and also mathematics itself. Although having operated as a coherent group since the founding of the on-going Australian Category Seminar in 1971, CoACT was formally established in 1999. To provide the environment for the top international centre for Higher-dimensional Category Theory and a major international centre for general Category Theory. To pursue vigorously research into those parts of mathematics and computer science which find natural expression and advancement in terms of Category Theory and to train thehighest-quality research students. More information about CoACT can be found in the History Objectives Performance Indicators and Benchmarks and Constitution We welcome your enquiries about our work - please contact the Director Professor Ross Street
OctoberFest 99: Centre De Recherche En Théorie Des Catégories -- Montréal
McGill University, Montreal, Canada; 1617 October 1999.
http://www.math.mcgill.ca/triples/octoberfest99.html

Extractions: Saturday - Sunday, October 16 - 17, 1999 The meeting is now over, but for information purposes, this page will remain in place for a while. Email addresses for the speakers may be found on the list of talks . "Provisional" schedules etc are now final. We invite you to join us in Montreal next October for a weekend meeting in Category Theory, the "not-quite-annual" OctoberFest. As has been the tradition with these meetings, we invite talks from all participants. If you wish to give a talk, send your request along with a short abstract (before the end of September please) to Robert Seely at the address below. The final schedule of talks will be handed out at the meeting, but a provisional schedule is available, as well as a provisional list of speakers , in the meantime. ( Also ABSTRACTS of selected talks.) We will meet in the Bronfman Building, 1001 Sherbrooke West, on Saturday morning, October 16th. Coffee will be available from 8:30 am. The first talk will be at 9:00. Registration will take place during the morning, before the first talk and during the first coffee break. Lectures will be in room BRON 151. There will be a registration fee of $CAN40 ($US30), $CAN20 ($US15) for students. There will be a dinner/party to be held Saturday evening, hosted by Marta Bunge. (Instructions for getting to the Bunge home will be announced at the meeting.) Please let us know if you intend to join us by sending a short email (before the end of September if possible) to
Category Theory
category theory. (This is not a category for pages about theory. Rather, the name of this page refers to the mathematical field of category theory.).
http://c2.com/cgi/wiki?CategoryTheory
CatMAT 2000
Categorical Methods in Algebra and Topology Commemorating 25 years of category theory in Bremen. University of Bremen, Germany; 2125 August 2000.
http://katmat.math.uni-bremen.de/catmat2000/

41-60 of 123 Back | 1 | 2 | 3 | 4 | 5 | 6 | 7 | Next 20