61. Papers In Category Theory And Other Areas Papers in category theory and other areas. This bibliography is apart of the Computer Papers in category theory and other areas. http://liinwww.ira.uka.de/bibliography/Theory/kstokker.html

The Collection of Computer Science Bibliographies Up: Bibliographies on Theory/Foundations of Computer Science Collection Home Papers in category theory and other areas About Browse Statistics Number of references: Last update: January 9, 1995 Number of online publications: Supported: no Most recent reference: Search the Bibliography Query: Options case insensitive Case Sensitive partial word(s) exact online papers only Results Citation BibTeX Count Only Maximum of matches Help on: [ Syntax Options Improving your query Query examples Boolean operators: and and or . Use to group boolean subexpressions. Example: (specification or verification) and asynchronous Information on the Bibliography Author: (email mangled to prevent spamming) RISC-Linz Johannes-Kepler University Linz Austria Abstract: This is just a collection of papers I encountered in my quest for finding a categorical model for critical-pair/completion procedures. It is not even nearly exhaustive in any subject, but concentrates mainly on topics in category theory, rewriting, and computer algebra. Keywords: category theory, rewriting, computer algebra

62. Johnson: Category Theory category theory. category theory is a branch of pure mathematics and althoughthe work described here is basic research it is very application driven. http://www.comp.mq.edu.au/~mike/ct.html

Category Theory Category theory is a branch of pure mathematics and although the work described here is basic research it is very application driven. The application areas include homotopy theory, computer science, universal algebra and coherence theorems. for general information there is a category theory page on the web which includes information about conferences, web sites, the category theory bulletin board, and the electronic journal Theory and Applications of Categories . If you wish to write category theory you will need to be able to produce reasonably sophisticated diagrams and will probably want to look at the XY-Pic macros for use with LaTeX. If you would like to know more about my own work here is a brief discussion of n-categories and pasting , and some publications

63. Category Theory (advanced) Texts Mac Lane and Moerdijk Coverage intro to topos theory withapplications. Philosophy. research content. Syllabus may also be http://www.comp.mq.edu.au/~mike/catcourseadv.html

Texts: Mac Lane and Moerdijk Coverage: intro to topos theory with applications Philosophy research content Syllabus may also be varied upon request for interested students

64. Category Theory (category theory). F. Borceux, Handbook of Categorical Algebra 13.GM Kelly, Basic Concepts of Enriched category theory. Topos Theory. http://www.kyoto-su.ac.jp/~hxm/categorical/ct/

$B7wO@!J(BCategory Theory$B!K(B $B7wO@$K4X$9$k%a%b!%$^$@:n$j$+$1$G$9!%(B Books Basic and Advanced Texts S. Mac Lane, Categories for the Working Mathematician. F. Borceux, Handbook of Categorical Algebra 1-3. G. M. Kelly, Basic Concepts of Enriched Category Theory. Topos Theory S. Mac Lane and I. Moerdijk, ... M. Barr and C. Wells, Toposes, Triples and Theories P. Johnstone, Topos Theory P. Johnstone, Stone Space Categorical Logic and Type Theory J. Lambek and P. J. Scott, Introduction to Higher Order Categorical Logic. B. Jacobs, Categorical Type Theory. A. Torelstra, Lectures on Linear Logic M. Makkai and G. Reyes, ... Categorical Model Theory and Varieties J. Adamek and J. Rosicky, ... LNM, Computer Science J. Mitchell, Semantics of Programming Language C. Gunter, Semantics of Programming Language G. Winskel, Semantics of Programming Language J. Reynolds, Semantics of Programming Language M. Barr and C. Wells, Category Theory for Computing Science Synthetic Differential Geometory Models of Infinitesimal Analysis Basic Concepts of Synthetic Differential Geometory J. L. Bell, ...

65. Categories Introductory article by John Baez.Category Science Math Algebra category theory...... (In fact, MacLane said I did not invent category theory to talk aboutfunctors. category theory is popular among algebraic topologists. http://math.ucr.edu/home/baez/categories.html

Categories, Quantization, and Much More John Baez August 7, 1992 Quantum theory can be thought of as the generalization of classical mechanics you get by dropping the assumption that observable quantities like position and momentum commute. In quantum theory one thus learns to like noncommutative, but still associative, algebras. It is interesting however to note why associativity without commutativity is studied so much more than commutativity without associativity. Basically, because most of our examples of binary operations can be interpreted as composition of functions. For example, if write simply x for the operation of adding x to a real number (where x is a real number), then x + y is just x composed with y. Composition is always associative so the + operation is associative! If we try to generalize the heck out of the concept of a group, keeping associativity as a sacred property, we get the notion of a category. Categories are some of the most basic structures in mathematics. They were created by Samuel Eilenberg and Saunders MacLane. (In fact, MacLane said: "I did not invent category theory to talk about functors. I invented it to talk about natural transformations." Huh? Wait and see.) What is a category? Well, a category consists of a set of

66. Week68 Goldblatt's book teaches you all the category theory you need to learnabout topoi but for people who already know some category http://math.ucr.edu/home/baez/week68.html

October 29, 1995 This Week's Finds in Mathematical Physics (Week 68) John Baez 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....

67. Manchester Uni Formal Methods Group - Category Theory And Logic In Computation category theory and Logic in Computation. Principal Contributions of logicand category theory to the semantics of computation. Studies http://www.cs.man.ac.uk/fmethods/projects/category-theory-and-logic.html

Category Theory and Logic in Computation Principal investigator: David E Rydeheard (david@cs.man.ac.uk) The ongoing research in this area covers: The implementation of category theory as functional programs - an axiomatisation of the notion of computability relevant to this implementation. Category theory as a general framework for logic: Logical frameworks based on categorical logic - modular construction of logics. The application to program logics and program development methods. Implementation as a categorical `program development environment'. Contributions of logic and category theory to the semantics of computation. Studies in the structure of programming languages, especially type structure. Funding: Two EU projects - "CLICS-II" and "Types for Proofs and Programs". FM Home Page

68. Casual Category Theory At BRICS Casual category theory BRICS, University of Aarhus, News EventsPeople Literature. Viewable with Any Browser Valid HTML 4.01! http://www.brics.dk/Activities/CCT/

Casual Category Theory BRICS, University of Aarhus News Events People Literature

69. Casual Category Theory - Fall 2001 BRICS LogoCasual category theory. .. is a informal study groupfor researcher interested in category theory. The new URL is http://www.brics.dk/~varacca/CCT/

Casual Category Theory ...... is a informal study group for researcher interested in Category Theory. The new URL is http://www.brics.dk/Activities/CCT/ Please update your links. document.write("Last modified on " + document.lastModified + "");

70. Category Theory Authors/titles Recent Submissions Similar pages category theory resourcescategory theory resources. Recommended References. see index for totalcategory for your convenience Best Retirement Spots Teacher http://xxx.lanl.gov/list/math.CT/recent

Category Theory Authors and titles for recent submissions Tue, 18 Mar 2003 Mon, 17 Mar 2003 Mon, 10 Mar 2003 Thu, 6 Mar 2003 ... Wed, 5 Mar 2003 Tue, 18 Mar 2003 math.FA/0303186 abs ps pdf other Title: Very badly approximable matrix functions Authors: V.V. Peller S.R. Treil Comments: 27 pages Subj-class: Functional Analysis; Classical Analysis and ODEs; Combinatorics; Category Theory; Complex Variables MSC-class: Mon, 17 Mar 2003 math.CT/0303175 abs pdf Title: Categorical and combinatorial aspects of descent theory Authors: Ross Street Comments: 45 pages Subj-class: Category Theory; K-Theory and Homology MSC-class: Mon, 10 Mar 2003 math.CT/0303083 abs ps pdf other Title: Paracategories I: internal parategories and saturated partial algebras Authors: Claudio Hermida Paulo Mateus Subj-class: Category Theory MSC-class: Thu, 6 Mar 2003 math.KT/0303050 abs ps pdf other Title: N-Fold Cech Derived Functors and Generalised Hopf type formulas Authors: Guram Donadze Nick Inassaridze Timothy Porter Comments: LaTex, 30 pages, uses xypic Subj-class: K-Theory and Homology; Category Theory

71. Papers By AMS Subject Classification No papers on this subject. 18XX category theory, homological algebra/ Classification root. 18-00 General reference works (handbooks http://im.bas-net.by/mathlib/en/ams.phtml?parent=18-XX

72. Category Theory category theory. Research / Miscellaneous category theory Il sito,curato da Luca Mauri, fornisce risorse e informazioni sulla teoria http://lgxserver.uniba.it/lei/logica/lgcat_th.htm

Related Pages Index HOME English HOME Italiano Category Theory Research / Miscellaneous Category Theory Il sito, curato da Luca Mauri , fornisce risorse e informazioni sulla teoria delle categorie e links a riviste su tale argomento e a numerose altre pagine. Reviews / On-Line Publications Theory and Applications of Categories "The journal Theory and Applications of Categories will disseminate articles that significantly advance the study of categorical algebra or methods, or that make significant new contributions to mathematical science using categorical methods. The scope of the journal includes: all areas of pure category theory, including higher dimensional categories; applications of category theory to algebra, geometry and topology and other areas of mathematics; applications of category theory to computer science, physics and other mathematical sciences; contributions to scientific knowledge that make use of categorical methods.". Il Journal  distribuito gratuitamente via WWW/ftp, dopo essersi registrati. Related Fields Foundations of Mathematics Logic and Philosophy Logic and Mathematics Logic and Computer Science General Resources SWIF Back to the Top Index HOME English ... HOME Italiano

73. Re: Category Theory <-> Lambda Calculus? Re category theory lambda calculus? Subject Re category theory - lambdacalculus? Next by thread Re category theory - lambda calculus? http://www.lns.cornell.edu/spr/2001-03/msg0031750.html

Date Prev Date Next Thread Prev Thread Next ... Thread Index Subject From Date : 9 Mar 2001 21:03:02 GMT Approved : spr@rosencrantz.stcloudstate.edu (sci.physics.research) Newsgroups : sci.physics.research Organization : University Essen, Germany References 97o9ro$b5016@rs04.hrz.uni-essen.de Pine.OSF.4.21.0103021454260.110363-100000@goedel3.math.washington.edu 980v7d$svr$1@glue.ucr.edu http://www.uq.net.au/~zzdkeena/Lambda/ Follow-Ups From: References From: From: From: baez@galaxy.ucr.edu (John Baez) Prev by Date: Re: Direct Products of Hilbert Spaces Next by Date: Re: categorification of groups and related Prev by thread: Next by thread: Index(es): Date Thread

74. Category Theory (M24) category theory (M24). E. Cheng Category Three volumes which togetherprovide a comprehensive modern account of category theory. Clearly http://www.maths.cam.ac.uk/CASM/courses/descriptions/node26.html

Next: Set Theory (M24) Up: Logic Previous: Logic Category Theory (M24) E. Cheng Category theory begins with the observation (Eilenberg-MacLane 1942) that the collection of all mathematical structures of a given type, together with all the maps between them , is itself an instance of a nontrivial structure which can be studied in its own right. In keeping with this idea, the real objects of study are not so much categories themselves as the maps between themfunctors, natural transformations and (perhaps most important of all) adjunctions. Category theory has had great success in the unification of ideas from different areas of mathematics; it has now become an indispensable tool for anyone doing research in topology, abstract algebra, mathematical logic or theoretical computer science (to name but a few examples). This course aims to give a general introduction to category theory, without any (intentional!) bias in the direction of any particular application. It should therefore be of interest to a large proportion of pure Part III students. Categories, functors and natural transformations.

75. ISM Category Theory category theory and Applications. Category Montreal has been an importantresearch centre in category theory for more than 20 years. The http://www.math.uqam.ca/ISM/english/ecat.html

Category Theory and Applications Category theory is a mathematical discipline that is characterized by its role in unifying mathematics as well as its foundational vocation. Since it was created by Eilenberg and MacLane, its influence has grown both in breadth and depth. The history of its development is intimately linked to that of contemporary mathematics. Montreal has been an important research centre in category theory for more than 20 years. The ISM offers a complete program of applications of category theory in the following areas: algebra and topology; logic and the foundation of mathematics; theoretical computer science; mathematical linguistics. The program includes training in general category theory and in the history of contemporary mathematics. Courses 2002-2003 Topics in Algebra III : Covering toposes with singularities McGill, MATH-724B-Marta Bunge-H/W The title of this course paraphrases that of a landmark 1957 paper by R.H. Fox, "Covering spaces with singularities''. The course will be centered around the connection which exists between complete spreads (with a locally connected domain) over a topos and distributions on the topos, and with a related factorization theorem for geometric morphisms. After a brief selected introduction to topos theory we will discuss distributions, complete spreads, and the symmetric topos. Special topics will be selected from the following: branched coverings and knot groupoids, exponentiable complete spreads, admissible KZ-doctrines, single universes for functions and distributions, categories of cosheaves. Notes of a preliminary version of a book in preparation by Marta Bunge and Jonathon Funk will be distributed as a basis for the course.

76. Computational Category Theory At Macquarie Computational category theory projects at Macquarie. Participants. TheInternational Computational category theory Project. This site http://www.ics.mq.edu.au/~mike/compcat/

Computational category theory projects at Macquarie Participants Michael Johnson Kit Dampney Kate Krastev Dominic Verity ... Robbie Gates Projects Case support for category theoretic specification of information systems Case support for modelling concurrency with n-categorical pasting schemes The theory of generalised distributivities Computational algebra and monoid theory (joint with Anne Heyworth, Leicester) Publications Until this page is better developed you can get some idea of some of the work we do by looking at the following publications, most (but not all) of which relate to computational category theory and what we seek to do with the tools these projects are developing. Recent Publications (updated September 2000) Selected Older Publications The International Computational Category Theory Project This site is part of The Computational Category Theory Project Groups Currently connected with this project are: Como, Italy Contact: R.F.C. Walters Walters@fis.unico.it University of North Wales, Bangor, Wales Contact: R. Brown

77. TUNES : Category Theory 101 category theory 101. A Learning Lounge course about category theory. Short introductioncategory theory entry on the Stanford Encyclopedia of Philosophy. http://cliki.tunes.org/Category Theory 101

CLiki pages can be edited by anybody at any time. Imagine a . Double it. Add two. [ Recent Changes ] [ About CLiki ] [ Text Formatting ] [ Create new page ] Category Theory 101 A Learning Lounge course about Category Theory The basics: A category is a thing with objects and arrows that lead between the objects. The arrows have heads and tails. They are abstract in the sense that they can represent anything with complex structure or even no structure at all. Many categories are different, and there are types of categories. All categories follow some basic rules. The differences otherwise can be enormous, though: For every object there is an identity arrow over that object that just leads from that object to that object. There may be other identities over that object, but one is distinctly the identity If one arrow leads to an object from which another arrow leads, then those arrows can compose. All such arrows compose, but what you can say about the resulting arrow differs from category to category. Some arrows are the reverse or inverse of others.

78. TUNES : Category Theory category theory. See our category theory 101 overview. category theory is very usefulin formalizing types and functions/functors in functional programming. http://cliki.tunes.org/category theory

CLiki pages can be edited by anybody at any time. Imagine a . Double it. Add two. [ Recent Changes ] [ About CLiki ] [ Text Formatting ] [ Create new page ] Category Theory 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. Page in this topic: Category Theory 101 Also linked from: Charity Monad Relational Show ... Search:

79. The Church Project: Study Group In Category Theory Study Group in category theory. It was aimed at providing a insight into categorytheory for the working programming languages theory inclined person. http://types.bu.edu/category.html

Study Group in Category Theory The study group ran in the Fall 2000. It was aimed at providing a insight into category theory for the working programming languages theory inclined person. We intended on understanding the theory through examples on how category is applied within the field of programming languages. In the start of the most of the basic definitions were covered. In the fall we will read study examples on how category theory is applied in computer science: Monads and the encapsulation of side effects in functional languages. Categorical models for linear logic. This is the list of the reading that we did. References are given using brackets, e.g. , and can be found in the bibliography below. Date Reading Theory Applications May 17 [Gold] : Chapter 1, 2, and 3.1-4 May 24 [Gold] : Chapter 3.5-9 May 31 [Gold] : Chapter 3.10-14 June 7 [Gold] : Chapter 3.15-16 Sep 26 Oct 3 Diagrams and natural transformations (4.1-4.3 of Oct 10 Oct 17 Natural transformations and Yoneda embedding (4.4-4.5 of Sketch of element-style vs. isomorphism styles as presented in

80. Re: SUO: Category Theory Re SUO category theory. I also believe that category theory is theproper formalism to use for what the IFF is supposed to do. http://suo.ieee.org/email/msg09004.html

Thread Links Date Links Thread Prev Thread Next Thread Index Date Prev ... Date Index Re: SUO: Category Theory To jawbrey@oakland.edu Subject : Re: SUO: Category Theory From : "John F. Sowa" < sowa@bestweb.net Date : Mon, 13 Jan 2003 20:44:40 -0500 Cc standard-upper-ontology@ieee.org References 3E22CEE5.7CCA5F88@oakland.edu Reply-To : "John F. Sowa" < sowa@bestweb.net Sender owner-standard-upper-ontology@majordomo.ieee.org User-Agent http://www.jfsowa.com/logic/math.htm John Sowa Follow-Ups Re: SUO: Category Theory From: "Robert E. Kent" <rekent@ontologos.org> SUO: Re: Category Theory From: References SUO: Category Theory From: Prev by Date: SUO: Re: Category Theory Next by Date: SUO: Re: Category Theory Prev by thread: SUO: Re: Category Theory Next by thread: SUO: Re: Category Theory Index(es): Date Thread

Page 4     61-80 of 100    Back | 1  | 2  | 3  | 4  | 5  | Next 20