Geometry.Net - the online learning center
Home  - Pure_And_Applied_Math - Category Theory

e99.com Bookstore
  
Images 
Newsgroups
Page 5     81-100 of 100    Back | 1  | 2  | 3  | 4  | 5 

         Category Theory:     more books (100)
  1. Contested Categories (Theory, Technology and Society) by Susanne Bauer, Ayo Wahlberg, 2009-11-01
  2. Current Research in Operational Quantum Logic: Algebras, Categories, Languages (Fundamental Theories of Physics)
  3. Algebraic K-Theory (Modern Birkhäuser Classics) by V. Srinivas, 2007-11-13
  4. Categories and Computer Science (Cambridge Computer Science Texts) by R. F. C. Walters, 1992-08-28
  5. A Unified Theory of Syntactic Categories (Studies in Generative Grammar [Sgg]) by Joseph E. Emonds, 1985-12-30
  6. Exercises in Abelian Group Theory (Texts in the Mathematical Sciences) by D. Valcan, C. Pelea, et all 2010-11-02
  7. Handbook of Categorical Algebra: Volume 1, Basic Category Theory (Encyclopedia of Mathematics and its Applications) (v. 1) by Francis Borceux, 2008-04-24
  8. Selfadjoint and Nonselfadjoint Operator Algebras and Operator Theory: Proceedings of th Cbms Regional Conference Held May 19-26, 1990 at Texas Chris (Contemporary Mathematics) by NSF, Their Representations and Applications (1990 : Texas Christian University) CBMS Regional Conference on Coordinates in Operator Algebras: Groupoids and Categories, et all 1991-07
  9. Infinite Homotopy Theory (K-Monographs in Mathematics, Volume 6) by H-J. Baues, A. Quintero, 2001-06-30
  10. Mal'cev, Protomodular, Homological and Semi-Abelian Categories (Mathematics and Its Applications) by Francis Borceux, Dominique Bourn, 2010-11-02
  11. Almost Ring Theory (Lecture Notes in Mathematics) by Ofer Gabber, Lorenzo Ramero, 2003-09-29
  12. Theory of Topological Structures: An Approach to Categorical Topology (Mathematics and Its Applications) by Gerhard Preuß, 1987-12-31
  13. Cut Elimination in Categories (Trends in Logic) by K. Dosen, 2010-11-02
  14. Elements of KK-Theory (Mathematics: Theory & Applications) by Kjeld Knudsen Jensen, Klaus Thomsen, 1990-03-01

81. SUO: Category Theory
SUO category theory. Third thought tells me that we probably can't do a goodjob of this without doing a bit of spadework in category theory first.
http://suo.ieee.org/email/msg09002.html
Thread Links Date Links Thread Prev Thread Next Thread Index Date Prev ... Date Index
SUO: Category Theory

82. Functional Programming Archive (monads And Category Theory)
functional programming archive. monads and category theory subject area. KeywordsMonads; category theory; Kleisli triple; Imperative functional programming.
http://www.dcs.qmul.ac.uk/SEL-HPC/Articles/GeneratedHtml/functional.monads.html
functional programming archive
monads and category theory subject area
A BibTeX version of this database can be found here . Article links with a size in kbytes next to them are correct; documents without a size havn't been checked yet. This document was automatically generated on Tue Jun 25 2:00:42 2002 . Webmaster , Department of Computer Science, QMW, London University E Moggi "Computational lambda-calculus and monads" In Proceedings of the Logic in Computer Science Conference bibtex 20.8 kbytes dvi paper E Moggi "An Abstract View of Programming Languages" ,Technical report ECS-LFCS-90-113, Dept. of Computer Science, Edinburgh Univ., 90. bibtex 63.3 kbytes dvi paper Jonathan M. D. Hill , and Keith Clarke "An introduction to category theory, category theory monads, and their relationship to functional programming" bibtex html abstract 59.1 kbytes postscript paper Keywords: Monads; Category theory; Kleisli triple; Imperative functional programming Francoise Bellegarde , and James Hook "Monads, Indexes, and Transformations" ,Technical report CS-94-008, Oregon Graduate Institute CS, 94.

83. MATHS: Category Theory
category theory. Motivation. category theory is a way for talking about the relationshipsbetween the classes of objects modeled by mathematics and logic.
http://www.csci.csusb.edu/dick/maths/math_25_Categories.html
CSUSB CompSci Dick Botting MATHS ... Notation
Contents
Category Theory
Motivation
Category Theory is a way for talking about the relationships between the classes of objects modeled by mathematics and logic. It is a model of a collection of things with some structural similarity. It is a comparatively recent abstraction from the various abstract algebras developed in the early part of the 20th century. The original use of the term category was in the idea of a 'categorical' axiom system - an axiom system which defined its objects so exactly that all objects that satisfied the axioms were isomorphic - they mapped into each other, one-to-one, preserving all the axioms and structure. This is important, because if a logic is categorical and there exists a simple (or cheaply implemented) example then that model can become the standard and all others are handled in terms of this standard. For example binary numbers have all the properties that one can expect of objects that satisfy the rules that describe a "natural number" and are cheap to emulate using electronics. The name for such ideal systems has been changed several times in this century - categorical, free, universal, initial,... Many times category theorists have discovered that some results that they have uncovered have been discovered within a totally different area - say the theory of languages and automata. Equally often an enterprising researcher in mathematics of computer science has found that category theory allowed them to express a speicific property they had observed in more general terms. The more general veiw then leads to shorter and simpler proofs of more results. This in turn often illuminates other problems.

84. Citations: Category Theory For Computing Science - Barr, Wells (ResearchIndex)
Barr, M., Wells, C. 1990. category theory for Computing Science. PrenticeHall. category theory for Computing Science. Prentice Hall, 1989.
http://citeseer.nj.nec.com/context/1728/0
184 citations found. Retrieving documents...
M. Barr and C. Wells. Category Theory for Computing Science . Prentice Hall, 1989.
Home/Search
Document Not in Database Summary Related Articles Check
This paper is cited in the following contexts:
First 50 documents Next 50
Expressive Logics for Coalgebras via Terminal Sequence Induction - Pattinson
(Correct) ....of relators in a coalgebraic setting. The extension of endofunctors to relations is an integral part of Moss de nition of the semantics of coalgebraic logic, which is given in terms of initial algebras. For the basic notions regarding (initial) algebras we refer to the book by Barr and Wells De nition 5.3. Suppose
M. Barr and C. Wells. Category Theory for Computing Science . Prentice Hall, 1989. Electronic Notes in Theoretical Computer Science 61(2001) - Url Http Www (Correct) ....(iii) denoting G (s; t; k) s ; t ; k ) s (s) t (t) and k =G(s)k (compatibility for foreign keys) In the sequel, when the component of G is obvious, we will omit the superscript. Evidently , morphisms of database schemes form a category which we denote DbSch.

85. Category Theory
category theory. I am reminded of a friend's account of his category theory lecturewhich began with, We will now consider the class of 'stuff'. BillTozier.
http://c2.com/cgi/wiki?CategoryTheory

86. Mathematics Online Compendium: Category Theory
category theory, homological algebra http//www.math.niu.edu/~rusin/knownmath/index/18-XX.htmlApplied and Computational category theory at RISC-Linz http
http://www.dei.unipd.it/~cuzzolin/MOCcategory.html
Category theory, homological algebra
http://www.math.niu.edu/~rusin/known-math/index/18-XX.html

Applied and Computational Category Theory at RISC-Linz
http://www.risc.uni-linz.ac.at/research/category/risc/

TAC Seminars Home Page
http://www.disi.unige.it/seminars/tac/

J.F. Jardine - Publications
http://www.math.uwo.ca/~jardine/papers/

Theory and Applications of Categories - Electronic Journal
http://www.tac.mta.ca/tac/

Notes on: The Logical Foundations of Mathematics http://www.rbjones.com/rbjpub/philos/bibliog/hatch82.htm Testi di riferimento con recensioni e collocazione presso il CSBMI http://www.disi.unige.it/person/RosoliniG/ILM/dati.html Category Theory http://setis.library.usyd.edu.au/stanford/archives/fall1997/entries/category-theory/ Category at Virtualist, by Ellis D. Cooper http://www.ec3.com/Upperized/CATEGORY.HTM Last update: January 18th, 1999

87. International Category Theory Meeting
International category theory Meeting (CT97), UBC, Vancouver, July1319, 1997. Organizer John MacDonald. One of the founders of
http://www.pims.math.ca/activities/exthem97.2.html
International Category Theory Meeting (CT97), UBC, Vancouver, July 13-19, 1997
Organizer: John MacDonald One of the founders of the subject, Saunders MacLane gave the keynote address. These meetings take place in the Pacific Northwest for the first time. They have not been held in the Pacific region since the MSRI meetings in 1993. Scientific program: There were 45 talks from all areas of the subject, including applications to computer science, algebra and foundations. The participants are nearly all mathematicians or computer scientists and come from 22 countries. Speakers:
  • Saunders Mac Lane: The Scope of Category Theory
  • Michael Barr: Some questions-and some answers-on *-autonomous categories
  • Heinrich Kleisli: The chu *-algebra of a group
  • Susan Niefield: A Skeletal Topos of Finite Sets: Implementing Finite Structures in Mathematica
  • Robert Dawson: When can a double diagram be composed?
  • John MacDonald: Distributivities and Liftings
  • Art Stone: Soft adjunctions: stacking cubes, co-existence

88. Introduction To Category Theory
Introduction to category theory. Graham Hutton School of Computer Scienceand IT University of Nottingham. category theory is a mathematical
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);
  • 89. TOPOLOGY And CATEGORY THEORY SITES
    TOPOLOGY and category theory SITES. Topology Atlas Topology Atlas Questionsin Topology Ask a Topologist Bulletin Board Topology Atlas Commentary
    http://www.csupomona.edu/~hlord/topcat.html
    TOPOLOGY and CATEGORY THEORY SITES
    Topology Atlas Harriet Lord's HomePage
    This page was revised on December 31, 1997.
    Please send corrections to HLord@CSUPomona.edu

    90. Humanist Archives Vol. 2: "category Theory" And More (22)
    category theory and more (22). I have held it in my hands long enough to knowthat it contains very much more than a discussion of 'category theory'.
    http://lists.village.virginia.edu/lists_archive/Humanist/v02/0314.html
    "category theory" and more (22)
    Willard McCarty ( MCCARTY@VM.EPAS.UTORONTO.CA
    Sun, 2 Apr 89 13:53:39 EDT

    Humanist Mailing List, Vol. 2, No. 789. Sunday, 2 Apr 1989.
    Date: Sat, 1 APR 89 18:14:12 BST
    From: ARCHIVE@VAX.OXFORD.AC.UK
    The title of Lakoff's book to which JAZBO recently alluded (ha!) is in
    fact "Women, Fire and Dangerous Things" rather than "women fire and *other*
    dangerous things" (which has quite different implications). It is published by
    U of Chicago Press so I'm surprised Jim couldnt find it. I have held it
    in my hands long enough to know that it contains very much more than a
    discussion of 'category theory'. In particular it contains a fairly devastating put down of current AI dogmata. On the other hand it costs almost as much as an electronic shakespeare... Lou

    91. Prospects For Category Theory In Aldor
    Prospects for category theory in Aldor. Saul Youssef, Categorical Programming LanguagesWorkshop, University of Western Ontario, London, Canada, July, 2001.
    http://nut.bu.edu/~youssef/papers/math/aldor/
    Prospects for Category Theory in Aldor
    Saul Youssef, Categorical Programming Languages Workshop, University of Western Ontario, London, Canada, July, 2001.

    92. Constructive Category Theory
    Constructive category theory. See URL http//pauillac.inria.fr/~saibi/ Download(archive compatible with Coq V7.4). Author Amokrane Saïbi. Institution INRIA.
    http://coq.inria.fr/contribs/category.html
    Constructive Category Theory
    See URL http://pauillac.inria.fr/~saibi/ Download (archive compatible with Coq V7.4) Author: Amokrane Saïbi Institution: INRIA Keywords: Category This page was automatically generated from this description file

    93. Lambda The Ultimate Category Theory For Non-mathematicians
    category theory for nonmathematicians. category theory for non-mathematiciansstarted 8/20/01; 14822 PM - last post 8/27/01; 20414 AM.
    http://lambda.weblogs.com/discuss/msgReader$1696
    Lambda the Ultimate
    The Programming Languages Weblog - join today! Home FAQ Feedback Departments ...
    Diagrams

    Members
    Join Now
    Login
    Category theory for non-mathematicians
    Previous topic
    Next topic
    Category theory for non-mathematicians
    started 8/20/01; 1:48:22 PM - last post 8/27/01; 2:04:14 AM Ehud Lamm - Category theory for non-mathematicians
    8/20/01; 1:48:22 PM (reads: 1163, responses: 4) Category theory for non-mathematicians Book suggestions on comp.lang.functional.
    Posted to Misc-Books by Ehud Lamm on 8/20/01; 1:48:38 PM
    jon fernquest
    - Re: Category theory for non-mathematicians 8/21/01; 12:56:54 AM (reads: 1206, responses: 0) Are there any books in which programming and the math (category theory) are developed in parallel? Like a book on category theory with actual ML code? All the books I've seen are either pure abstract math (i.e. theorem / proof) or functional programming with at most a cursory reference to category theory, like "A fold function is a catamorphism." Also is there any glossary out there that relates different language constructs and category theory terminology? Like "Monad" seems to be strongly attached to Haskell and the writings of Wadler. Never seen "Monad" in CAML code. Monads seem to have a parallel in Scheme closures, but I've never seen anyone make this analogy. Cheers

    94. Category Theory Bulletin Board
    category theory Bulletin Board. To types, logic; Subject category theoryBulletin Board; From RROSEBRUGH RROSEBRUGH%MTA.BITNET@mitvma.mit.edu ;
    http://www.cis.upenn.edu/~bcpierce/types/archives/1990/msg00014.html
    [Prev] [Next] [Index] [Thread]
    Category Theory Bulletin Board

    95. Conference On CATEGORY THEORY AND COMPUTER SCIENCE
    Conference on category theory AND COMPUTER SCIENCE. The main purpose of theseconferences is to link research in category theory with computer science.
    http://www.cis.upenn.edu/~bcpierce/types/archives/1990/msg00026.html
    [Prev] [Next] [Index] [Thread]
    Conference on CATEGORY THEORY AND COMPUTER SCIENCE

    96. M584: Category Theory
    Mathematics 584 category theory. Instructor Jonathan Smith, 496 Carver, 48172(voice mail). e-mail jdhsmithATmathDOTiastateDOTedu (substitute punctuation).
    http://www.math.iastate.edu/jdhsmith/class/M584F02.htm
    Mathematics 584: Category Theory
    Instructor: Jonathan Smith, 496 Carver, 4-8172 (voice mail) e-mail: jdhsmith AT math DOT iastate DOT edu (substitute punctuation) Office Hours: Mon. 11am, 2:10 pm; Wed. 11am, 2:10pm, 5pm (subject to change) Grading: based on four graded homework assignments (60%), and final (40%).
    Click here for tally of points earned.
    Textbook: S. Mac Lane, Categories for the Working Mathematician, 2nd. ed., Springer, ISBN 0-387-98403-8 Library Reserve:
    http://www.lib.iastate.edu/cgi-bin/isuauth.pl?File=f02list/math584smith.html
    Study plan: reserve 1 - 2 hours for homework between each pair of classes. Successful performance in the class depends critically on completion of the homework assignments. Syllabus: Chapters I - IV
    Homework Assignments
    8/28 for 9/4: Show that id : Ob( C Mor( C ) is 1-1.
    8/30 for 9/4: Let be a pre-order on a set S . Define a relation E on S by x E y if and only if and Show that E is an equivalence relation on S
    9/6 for 9/13: Section 1.3: 2, 3(a)(b), 4, 5.
    9/9 for 9/13: Section 1.4: 1, 2, 3.

    97. Category Theory And Consciousness
    category theory and consciousness. Matti Pitkänen. Abstract. Goro Katohas proposed an ontology of consciousness relying on category theory.
    http://www.physics.helsinki.fi/~matpitka/articles/acategory.html
    Category theory and consciousness
    Postal address:
    Department of Physical Sciences, High Energy Physics Division, PL 64, FIN-00014, University of Helsinki, Finland.
    Home address:
    Kadermonkatu 16, 10900, Hanko, Finland

    E-mail
    matpitka@rock.helsinki.fi
    URL-address
    http://www.physics.helsinki.fi/~matpitka Abstract Goro Kato has proposed an ontology of consciousness relying on category theory. Category theory has been proposed as a new approach to the deep problems of modern physics, in particular quantization of General Relativity. Category theory might provide the desired systematic approach to fuse together the bundles of general ideas related to the construction of the configuration space geometry using a generalization of the quantum holography principle and to the construction of configuration space spinor fields and of S-matrix. Category theory might also have natural applications in the general theory of consciousness and the theory of cognitive representations. One can indeed imagine several applications of the category theory to TGD inspired theory of consciousness: a) Cognition is categorizing and category theory suggests itself as a tool for understanding cognition and self hierarchies and the abstraction processes involved with conscious experience.

    98. Coherence In Category Theory And The Church-Rosser Property
    Coherence in category theory and the ChurchRosser Property. C. BarryJay Abstract Szabo's derivation systems on sequent calculi
    http://www.lfcs.informatics.ed.ac.uk/reports/91/ECS-LFCS-91-181/
    Coherence in Category Theory and the Church-Rosser Property
    C. Barry Jay Abstract: Szabo's derivation systems on sequent calculi with exchange and product are not Church-Rosser. Thus his coherence results for categories having a symmetric product (either monoidal or cartesian) are false. LFCS report ECS-LFCS-91-181

    99. Calgary Peripatetic Research Group On Logic And Category Theory
    Calgary Peripatetic Research Group on Logic and category theory. Meetingson Logic and category theory to be held in the Philosophy
    http://pages.cpsc.ucalgary.ca/~danaha/CPRGLCT/CPRGLCT.html
    Calgary Peripatetic Research Group
    on
    Logic and Category Theory
    Meetings on Logic and Category Theory to be held in the Philosophy Mathematics and Computer Science departments of the University of Calgary TIME: TBA
    Seminar announcements are made on the alta-logic-l list, to join this list send email to majordomo@majordomo.ucalgary.ca with "subscribe alta-logic-l" in the body of the message.
    Next
    seminar, Incoming seminars, Past seminars.
    Current Participants
    News

    For talk titles, abstracts, comments etc. contact Dana Harrington
    Related links to workshops and conferences.

    100. EServer TC Library: Articles>Rhetoric>Theory
    sort by author, McLeod, Susan H. JAC (1991). Articles Rhetoric theory.
    http://tc.eserver.org/dir/Articles/Rhetoric/Theory
    17 found. find items containing author is category contains language is publisher is title contains year published is
    About this Site
    Forum Advanced Search Site Maps 17 found. Refine search. show numbers hide images sort by author sort by category sort by rating sort by title sort by year published hide abstracts preferences
    n=3 The Affective Domain and the Writing Process: Working Definitions
    With the ascendancy of cognitive psychology, humans have been viewed as problem-solvers whose thinking processes operate rather like a computer.
    McLeod, Susan H.
    JAC Articles Rhetoric ... Theory
    n=7 Anxiety In Action: Sullivan's Interpersonal Psychiatry as a Supplement to Vygotskian Psychology
    Is there a way to deal with psychiatric issues using positive collaborations of competent and cooperative participants?
    Bazerman, Charles
    UCSB Articles Rhetoric ...
    Argumentation: An Overview of Theoretical Approaches and Research Themes

    Apart from being a verbal activity, argumentation is also a social activity directed at other people.
    van Eemeren, Frans H.
    Argumentation Articles Rhetoric ... Theory n=6 Basic Communication Theory In the 1940's researchers at Bell Telephone Laboratories devised a model of the process of human communication.

    Page 5     81-100 of 100    Back | 1  | 2  | 3  | 4  | 5 

    free hit counter