81. Cape Town - Topology And Categories TOPOLOGY AND category theory. Introduction Members Activities Output Links Contact us 19th Summer Conference on Topology and its Applications http://academic.sun.ac.za/maths/cattop/

Cape Town Research Group in TOPOLOGY AND CATEGORY THEORY Introduction Members Activities Output Links Contact us 19th 'Summer' Conference on Topology and its Applications 2004 Was hosted by our Group in July 2004

82. Applications Of Category Theory To Computer Science Mount Allison University, Sackville, NB, Canada; 812 June 1998. http://www.mta.ca/~cat-dist/ctss98/

Workshop: Applications of Category Theory to Computer Science June 8-12, 1998 Mount Allison University, Sackville, NB, Canada In conjunction with the Category Theory Session at the Canadian Mathematical Society's Summer 1998 Meeting, see camel.math.ca/CMS/Events/summer98/ , there will be a workshop on the Applications of Category Theory to Computer Science, directed towards graduate students and young researchers. The arrival day Sunday, June 7, 1998 - residence accommodation will be available from June 6. The invited instructors are M. Barr (McGill) and R.F.C. Walters (Sydney). Residence accommodation will be available at Mount Allison University at a cost of $27.60/person/night for a single room $24.30/person/night for a shared double room $23.00/person/night for either of the above for students upon presentation of a student card. (All prices are in Canadian dollars and include taxes.) Bookings can be made at http://www.mta.ca/conference/overnigh.htm There will be a registration fee of $50 for the workshop. To preregister send e-mail to ct95@mscs.dal.ca

83. Category Theory For Computer Science motivation for studying category theory as computer scientists Goguen, Sect . Handbook of Categorical Algebra 1 Basic category theory. http://www.daimi.au.dk/~nygaard/CTfCS/

Category Theory for Computer Science Autumn 2002 - Department of Computer Science University of Aarhus News Lectures ... People News The course has terminated. Merry Christmas! Lectures Mondays, 12-14 in the r3 meeting room. December 9th A coalgebraic treatment of automata. Presented by Saurabh Agarwal. December 2nd Infinite data structures, coalgebra, and coinduction. Presented by Michael Westergaard ( slides November 25th Finite data structures, algebra, and induction. Presented by Henning Korsholm Rohde ( slides November 18th Transition systems generalised into presheaves. Presented by Marco Carbone. November 11th Exercises related to last week's lecture. Designing subtyping disciplines in programming languages. Presented by Branimir Lambov. November 4th Exercise related to last week's lecture. Effects in functional programming handled by monads. Presented by Karl Kristian Krukow ( slides October 28th Modelling recursive types. Presented by Mads Sig Ager (

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

Category Theory Research Center Category Theory OctoberFest McGill University, Montreal 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

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

86. Category Theory And Aldor category theory in Aldor. The idea is to begin a library of Aldor categories anddomains organized around category theory in the mathematical sense. http://physics.bu.edu/~youssef/aldor/aldor.html

Aldor Related Projects Category Theory in Aldor The idea is to begin a library of Aldor categories and domains organized around category theory in the mathematical sense. In more detail, the goals are to a) find working design patterns for categories, functors, natural transformations, adjoints within Aldor b) encode known facts about category theory (the adjoint functor theorem, for example) into the system c) produce a library implementing the most basic and useful categories. Here's a recent talk and the draft of a paper Prospects for Category Theory in Aldor Computing with Category Theory Saul Youssef

87. Category Theory@Everything2.com In category theory, the primitive notions are nodes and arrows. The otherimportant concept in category theory is the functor, which see. http://www.everything2.com/index.pl?node_id=661313

88. CTCS99 8th conference on category theory and Computer Science. Edinburgh, Scotland, UK; 1012 September 1999. http://www.dcs.ed.ac.uk/home/ctcs99/

Call for participation CTCS'99, 10-12 September 1999, Edinburgh, Scotland This page is provided for historical interest. For a list of recent and forth coming conferences hosted at Informatics in Edinburgh, see the page www.inf.ed.ac.uk/events/conferences/ CTCS '99 is the 8th conference on Category Theory and Computer Science . The purpose of the conference series is the advancement of the foundations of computing using the tools of category theory. While the emphasis is upon applications of category theory, it is recognized that the area is highly interdisciplinary. Previous meetings have been held in Guildford (Surrey), Edinburgh, Manchester, Paris, Amsterdam, Cambridge, and S. Margherita Ligure (Genova). Conference proceedings will appear in Electronic Notes in Theoretical Computer Science . Paper copies of the proceedings will be available to participants at the conference. Invited speakers: R. Hasegawa , Univ. of Tokyo (Japan) P. Freyd , Univ. of Pennsylvania (USA) M. Fiore , Univ. of Sussex (UK) D. Smith

89. Godel And Category Theory (from Mathematics, Foundations Of) --  Encyclopædia Godel and category theory (from mathematics, foundations of) It is now possibleto reexamine Gödel s theorems from a categorical point of view. http://www.britannica.com/eb/article?tocId=35469

90. Category Theory (from Algebra) --  Encyclopædia Britannica category theory (from algebra) The second attempt to formalize the notion ofstructure developed within category theory. The first paper on the subject was http://www.britannica.com/eb/article-231096

Home Browse Newsletters Store ... Subscribe Already a member? Log in Content Related to this Topic This Article's Table of Contents Expand all Collapse all Introduction Emergence of formal equations ... Problem solving in Egypt and Babylon Greece and the limits of geometric expression The Pythagoreans and Euclid Diophantus The equation in India and China Islamic contributions ... Number theory Fundamental concepts of modern algebra Prime factorization Fields Ideals Systems of equations ... Bourbaki changeTocNode('toc231094','img231094'); Category theory New challenges and perspectives Additional Reading General history Ancient and Greek algebra Indian and Chinese algebra Islamic algebra ... Print this Table of Contents Shopping Price: USD $1495 Revised, updated, and still unrivaled. The Official Scrabble Players Dictionary (Hardcover) Price: USD $15.95 The Scrabble player's bible on sale! Save 30%. Merriam-Webster's Collegiate Dictionary Price: USD $19.95 Save big on America's best-selling dictionary. Discounted 38%!

91. Theory And Applications Of Categories An electronic journal of category theory. Full text, free. http://www.tac.mta.ca/tac/

Editors Policy Subscriptions Authors - ... - Canada Theory and Applications of Categories ISSN 1201 - 561X Volume 15 - CT2004* A special volume of articles from the CT2004 Conference Table of contents also available in .dvi or .ps or .pdf format. Predicative algebraic set theory Steve Awodey and Michael A. Warren, 1-39 abstract dvi ps pdf ... Reflective Kleisli subcategories of the category of Eilenberg-Moore algebras for factorization monads Marcelo Fiore and Matias Menni, 40-65 abstract dvi ps pdf ... Model structures for homotopy of internal categories T. Everaert, R.W. Kieboom and T. Van der Linden, 66-94 abstract dvi ps pdf ... The shape of a category up to directed homotopy Marco Grandis, 95-146 abstract dvi ps pdf Volume 14 - 2005 Table of contents also available in .dvi or .ps or .pdf format. Categorical structures enriched in a quantaloid: categories, distributors and functors Isar Stubbe, 1-45 abstract dvi ps pdf ... On essential ring embeddings and the epimorphic hull of C(X) R. Raphael, R.G. Woods, 46-52 abstract dvi ps pdf ... Absolute homology Michael Barr, 53-59 abstract dvi ps pdf ... Thin elements and commutative shells in cubical omega-categories Philip J. Higgins, 60-74

92. Science Search > Category Theory Section of the eprint arXiv dealing with category theory, including such topics as A brief description of category theory, and some useful links. http://www.science-search.org/index/Math/Algebra/Category_Theory/

Search for: Current Category Everything What's new Top Searches Statistics Science News ... Home Current location: Math Algebra > Category Theory A Gentle Introduction to Category Theory Lecture notes by Maarten M. Fokkinga introducing some important notions from category theory, in particular adjunctions. Proofs are given in http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html detailed information Rating: [6.00] Votes: [545] Category Theory This expository article is an entry in the Stanford Encyclopedia of Philosophy. http://plato.stanford.edu/entries/category-theory/ detailed information Rating: [6.00] Votes: [2146] CT Category Theory Section of the e-print arXiv dealing with category theory, including such topics as: enriched categories, topoi, abelian categories, monoidal categories, homological algebra. http://front.math.ucdavis.edu/math.CT detailed information Rating: [6.00] Votes: [278] 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

93. 18-XX 18XX category theory, homological algebra 18Axx General theory of categoriesand functors; 18Bxx Special categories; 18Cxx Categories and algebraic http://www.ams.org/mathweb/msc1991/18-XX.html

18-XX Category theory, homological algebra 18-00 General reference works (handbooks, dictionaries, bibliographies, etc.) 18-01 Instructional exposition (textbooks, tutorial papers, etc.) 18-02 Research exposition (monographs, survey articles) 18-03 Historical (must be assigned at least one classification number from Section 01) 18-04 Explicit machine computation and programs (not the theory of computation or programming) 18-06 Proceedings, conferences, collections, etc. General theory of categories and functors Special categories Categories and algebraic theories Categories with structure Abelian categories Categories and geometry Homological algebra [See also 13Dxx, 16Exx, 55Uxx] Top level of Index

94. Basic Category Theory For Computer Scientists - The MIT Press i Basic category theory for Computer Scientists /i provides a straightforwardpresentation of the basic constructions and terminology of category theory, http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=7986

95. Centre Of Australian Category Theory, Macquarie University :: Publications Publications at the Centre of Australian category theory Macquarie University. http://www.ics.mq.edu.au/CoACT/publications/

CoACT members projects awards ... Staff Centre of Australian Category Theory Publications Reports Centre of Australian Category Theory reports to the Council ~pdf Please note that the reports can be viewed using Acrobat Reader, which can be downloaded for free from Adobe Publications Brian Day and Ross Street, Lax monoids, pseudo-operads, and convolution, in: "Diagrammatic Morphisms and Applications", Contemporary Mathematics (AMS; ISBN 0-8218-2794-4; April 2003) 75-96. Julien Bichon and Ross Street, Militaru's D-equation in monoidal categories, Applied Categorical Structures Ross Street, Functorial calculus in monoidal bicategories, Applied Categorical Structures Brian Day, Paddy McCrudden and Ross Street, Dualizations and antipodes, Applied Categorical Structures Ross Street, Weak omega-categories, in: "Diagrammatic Morphisms and Applications", Contemporary Mathematics (American Math. Soc.; ISBN 0-8218-2794-4; April 2003) 207-213.

96. Centre Of Australian Category Theory, Macquarie University Centre of Australian category theory Macquarie University. http://www.ics.mq.edu.au/CoACT/

CoACT members projects awards ... Staff Centre of Australian Category Theory Welcome to the 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. Vision To provide the environment for the top international centre for Higher-dimensional Category Theory and a major international centre for general Category Theory. Mission 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 Further Information We welcome your enquiries about our work - please contact the Director Professor Ross Street Your Privacy Comments?

97. Courses: Barr / Wells An introduction to category theory Categories, functors and natural transformations.Limits and colimits. Adjoint functors. Triples and Kleisli categories. http://www.let.uu.nl/esslli/Courses/barr-wells.html

Home Overview News Related Events Program Timetable Courses and Workshops Student Session Evening Lectures Registration Check In Registration Procedure Accommodation Registration Form Local Information Local Team Lecturers Social Program Order and Enlist ... Local Guide Sponsors Sponsors Industrial Programme I NTRODUCTION TO C ATEGORY T HEORY B ARR and W ELLS C OURSE D ESCRIPTION An introduction to category theory: Categories, functors and natural transformations. Limits and colimits. Adjoint functors. Triples and Kleisli categories. Cartesian closed categories, toposes, and related categories. Categories with monoidal structure; *-autonomous categories. L ITERATURE Category Theory Lecture Notes for ESSLLI Postscript Document Categories for Computing Science P REREQUISITES Some previous work with mathematical structures defined by axioms, such as monoids, groups, or lattices, and familiarity with abstract mathematical reasoning.

98. Introduction To Category Theory category theory is a mathematical approach to the study of algebraic structure that The aim of this course is to teach the basics of category theory, http://www.cs.nott.ac.uk/~gmh/categories.html

Introduction to Category Theory Graham Hutton School of Computer Science and IT University of Nottingham Category theory is a mathematical approach to the study of algebraic structure that has become an important tool in theoretical computing science, particularly for semantics-based research. The aim of this course is to teach the basics of category theory, in a way that is accessible and relevant to computer scientists. The emphasis is on gaining a good understanding the basic definitions, examples, and techniques, so that students are equipped for further study on their own of more advanced topics if required. The course comprises five 90-minute lectures, each with exercises Categories (what is category theory, why is it useful, why is it useful to computing, course topics, graphs, labelled graphs, categories, examples of categories); Functors (graph homomorphisms, labelled graph homomorphisms, functors, examples of functors, functors as arrows, functors with two arguments); Natural transformations (commuting diagrams, natural transformations, natural transformations as arrows, the Godement calculus);

99. 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 http://www.disi.unige.it/conferences/ct2000/

International Category Theory Conference Villa Olmo, Como, July 16-22, 2000 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.

100. CRM—Publications This book is a textbook in basic category theory, written specifically to be read The authors expound the constructions basic to category theory in the http://www.crm.umontreal.ca/pub/Ventes/desc/PM023.html

Category Theory for Computing Science (Third Edition) 526 pages ISBN 2-921120-31-3 1999 Michael Barr and Charles Wells This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. The authors expound the constructions basic to category theory in the context of examples and applications to computing science. Some categorical ideas and constructions are already used heavily in computing sciences and many of these use are described. Other ideas, in particular the concept of adjoint have not appeared as widely in the computing science literature. The authors give an elementary exposition of those ideas they believe to be basic categorical tools, with pointers to possible application. Michael Barr is Peter Redpath Professor in the Department of Mathematics and Statistics at McGill University in Montreal, Quebec. Charles Wells is Professor of Mathematics at Case Western Reserve University in Cleveland, Ohio. This new edition contains all the material from the first and second editions, including the four chapters excised from the second edition and the solutions to all the exercises, as well as added material on factorization systems, monoidal categories, and other topics. All errors known to the authors have been corrected. To order: sales@CRM.UMontreal.CA

Page 5     81-100 of 126    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20