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

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

         Category Theory:     more books (100)
  1. Category Theory (Oxford Logic Guides) by Steve Awodey, 2010-08-13
  2. Basic Category Theory for Computer Scientists (Foundations of Computing) by Benjamin C. Pierce, 1991-08-07
  3. Basic Concepts of Enriched Category Theory (London Mathematical Society Lecture Note Series) by Max Kelly, 1982-04-30
  4. Sets, Logic and Categories (Springer Undergraduate Mathematics Series) by Peter J. Cameron, 1999-03-05
  5. Categories for the Working Mathematician (Graduate Texts in Mathematics) by Saunders Mac Lane, 1998-09-25
  6. What is Category Theory?
  7. Abstract and Concrete Categories: The Joy of Cats (Pure and Applied Mathematics: A Wiley-Interscience Series of Texts, Monographs and Tracts) by Jiri Adamek, Horst Herrlich, et all 1990-04
  8. Formal Category Theory : Adjointness for 2-Categories (Lecture Notes in Mathematics) (Volume 0) by J.W. Gray, 1974-08-20
  9. Evolutionary Metaphysics: The Development of Peirce's Theory of Categories by Joseph L. Esposito, 1980-12
  10. Aristotle's Theory of Substance: The Categories and Metaphysics Zeta (Oxford Aristotle Studies) by Michael V. Wedin, 2002-12-12
  11. From a Geometrical Point of View: A Study of the History and Philosophy of Category Theory (Logic, Epistemology, and the Unity of Science) by Jean-Pierre Marquis, 2008-12-05
  12. Categories and Sheaves (Grundlehren der mathematischen Wissenschaften) by Masaki Kashiwara, Pierre Schapira, 2009-12-15
  13. Divisor Theory by Harold M. Edwards, 1990-01-01
  14. Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics) by B. Jacobs, 2001-05-24

1. Theory And Applications Of Categories
An electronic journal of category theory. Full text, free.Category Science Math Algebra category theory Journals...... 4. A Note on Actions of a Monoidal Category G. Janelidze 6. Categorical domain theoryScott topology, powercategories, coherent categories Panagis Karazeris
http://www.tac.mta.ca/tac/

Editors

Policy

Subscriptions

Authors -
... - Canada
Theory and Applications of Categories
ISSN 1201 - 561X
Volume 11 - 2003
Table of contents also available in .dvi or .ps or .pdf format.
Categorical models and quasigroup homotopies
George Voutsadakis, 1-14 abstract dvi ps pdf ...
Morphisms and modules for poly-bicategories
J.R.B. Cockett, J. Koslowski, and R.A.G. Seely, 15-74 abstract dvi ps pdf ...
The branching nerve of HDA and the Kan condition
Philippe Gaucher, 75-106 abstract dvi ps pdf ...
Return to top.
Volume 10 - 2002
Table of contents also available in .dvi or .ps or .pdf format.
A survey of definitions of n-category
Tom Leinster, 1-70 abstract dvi dvi.gz ps ...
A homotopy double groupoid of a Hausdorff space
Ronald Brown, Keith A. Hardie, Klaus Heiner Kamps, Timothy Porter, 71-93 abstract dvi dvi.gz ps ...
Entity-relationship-attribute designs and sketches
Michael Johnson, Robert Rosebrugh and R.J. Wood, 94-112 abstract dvi dvi.gz ps ... pdf
Emzar Khmaladze, 113-126 abstract dvi dvi.gz ps ...
Exponentiability of perfect maps: four approaches
Susan Niefield, 127-133 abstract dvi dvi.gz

2. Centre De Recherche En Théorie Des Catégories -- Montréal
What is category theory? category theory at McGill A personal account by Marta Bunge. category theory an expository
http://www.math.mcgill.ca/triples

Category Theory Research Center
Translation?
List of current seminars
th birthday
What is Category Theory?

3. Category Theory
Stanford Encyclopedia of Philosophy category theory is a general mathematical theory of structures and sytems of structures.
http://plato.stanford.edu/entries/category-theory
version
history HOW TO CITE
THIS ENTRY
Stanford Encyclopedia of Philosophy
A B C D ... Z content revised
JUL
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
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

4. Introduction To Category Theory
Lecture notes by Maarten M. Fokkinga introducing some important notions from category theory, in particul Category Science Math Algebra category theory......A Gentle Introduction to category theory the calculational approach. Maarten MFokkinga In these notes we present the important notions from category theory.
http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
A Gentle Introduction to Category Theory - the calculational approach
Maarten M Fokkinga In these notes we present the important notions from category theory. The intention is to provide a fairly good skill in manipulating with those concepts formally. What you probably will not acquire from these notes is the ability to recognise the concepts in your daily work when that differs from algorithmics, since we give only a few examples and those are taken from algorithmics. For such an ability you need to work through many, very many examples, in diverse fields of applications. Full paper (postscript version): here (80 pages). Bibtex data

5. 18: Category Theory, Homological Algebra
In the "known maths" series.Category Science Math Algebra category theory......Introduction. category theory, a comparatively new field of mathematics, providesa universal framework for discussing fields of algebra and geometry.
http://www.math.niu.edu/~rusin/known-math/index/18-XX.html
Search Subject Index MathMap Tour ... Help! ABOUT: Introduction History Related areas Subfields
POINTERS: Texts Software Web links Selected topics here
18: Category theory, homological algebra
Introduction
Category theory, a comparatively new field of mathematics, provides a universal framework for discussing fields of algebra and geometry. While the general theory and certain types of categories have attracted considerable interest, the area of homological algebra has proved most fruitful in areas of ring theory, group theory, and algebraic topology.
History
Applications and related fields
The word "category" is used to mean something completely different in general topology
Subfields
  • 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
This is among the smaller areas in the Math Reviews database. Browse all (old) classifications for this area at the AMS.
Textbooks, reference works, and tutorials

6. Applied And Computational Category Theory
A brief description of category theory, and some useful links.Category Science Math Algebra category theory......Applied and Computational category theory. A Brief History topology. However,soon category theory became a field in itself. The reason
http://www.risc.uni-linz.ac.at/research/category/
Applied and Computational Category Theory
A Brief History of Category Theory However, soon category theory became a field in itself. The reason for this is that it provides a unifying and economic mathematical modeling language. It lends itself very well to extracting and generalizing elementary and essential notions and constructions from many mathematical disciplines. Thanks to its general nature, the language of category theory enables one to "transport" problems from one area of mathematics, via suitable "functors", to another area, where the solution may be easier to find. Categories have successfully been applied in formulating and solving problems in topology, algebra, geometry and functional analysis. Moreover, in the sixties Lawvere started a project aiming at a purely categorical foundation of all mathematics, beginning with an appropriate axiomatization of the category of sets. This has led to a huge interest in and development of sheaf and topos theory. More recently, computer science discovered category theory. It quickly found applications in the field of algebraic semantics and the theory of (functional) programming languages; later, applications in automata theory followed suit. But not only did computer science benefit from using category theory; the functional programming language "ML", which is based on the semantics of polymorphic lambda calculus (a topic requiring category theory for a proper discussion), has in turn shown itself to be a suitable vehicle for explaining the language and concepts of category theory. Moreover, computer science and ML have made the inherent computational nature of category theory come out into the open.

7. Categories Home Page
Categories List. The category theory mailing list, moderated by Bob Rosebrugh. Manyof the people listed by Hypatia have interests in category theory.
http://www.mta.ca/~cat-dist/categories.html
Categories List
The category theory mailing list,
moderated by Bob Rosebrugh.
  • How to use the list Archives Conferences of interest ... Addresses - electronic and postal General, Seminar-related, and Local Sites Theory and Applications of Categories - refereed electronic journal. TeX Macros for diagrams
  • Using the list:
    Articles for posting should be sent to
    categories@mta.ca
    Administrative items (subscriptions, address changes etc.) should be sent to
    categories-request@mta.ca

    Usually, items of this sort sent to `categories@mta.ca' will not be posted. Policy: The moderator will not modify articles except for minor typographical and formatting changes, therefore no offensive or defamatory material should be sent (it will be returned and not posted), and inflammatory posts are discouraged. Nevertheless, wide latitude for vigorous debate is allowed. Return to top.
    Archives
    M. Alsani has created a selected list of CT email, also sorted by thread, from August 1999 to February 2002 at
    http://north.ecc.edu/alsani/cat-dist2html/index.html
    A subject-sorted list of postings June 1994-December 1999 is at
    www.mta.ca/~cat-dist/catlist/

    8. Categories Home Page
    The category theory mailing list . moderated by Bob Rosebrugh.
    http://www.mta.ca/~cat-dist
    Categories List
    The category theory mailing list,
    moderated by Bob Rosebrugh.
  • How to use the list Archives Conferences of interest ... Addresses - electronic and postal General, Seminar-related, and Local Sites Theory and Applications of Categories - refereed electronic journal. TeX Macros for diagrams
  • Using the list:
    Articles for posting should be sent to
    categories@mta.ca
    Administrative items (subscriptions, address changes etc.) should be sent to
    categories-request@mta.ca

    Usually, items of this sort sent to `categories@mta.ca' will not be posted. Policy: The moderator will not modify articles except for minor typographical and formatting changes, therefore no offensive or defamatory material should be sent (it will be returned and not posted), and inflammatory posts are discouraged. Nevertheless, wide latitude for vigorous debate is allowed. Return to top.
    Archives
    M. Alsani has created a selected list of CT email, also sorted by thread, from August 1999 to February 2002 at
    http://north.ecc.edu/alsani/cat-dist2html/index.html
    A subject-sorted list of postings June 1994-December 1999 is at
    www.mta.ca/~cat-dist/catlist/

    9. Applications Of Category Theory To Computer Science
    Mount Allison University, Sackville, NB, Canada; 812 June 1998.Category Science Math Algebra category theory Events Past Events......Workshop Applications of category theory to Computer Science. June812, 1998 Mount Allison University, Sackville, NB, Canada. In
    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

    10. CTCS'02
    category theory and Computer Science. University of Ottawa, Ontario, Canada; 1517 August 2002.Category Science Math Algebra category theory Events Past Events......category theory and Computer Science (CTCS'02) August 15th17th, 2002 Universityof Ottawa. and Graduate Student Preconference August 12-14, 2002
    http://www.mathstat.uottawa.ca/lfc/ctcs2002/
    Category Theory and Computer Science (CTCS'02)
    August 15th-17th, 2002
    University of Ottawa
    and Graduate Student Preconference August 12-14, 2002 Pictures from the conference. Thanks to all participants for a successful conference! Several people have taken pictures at the conference, and I will link to them from this page. 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 developped 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. In addition to the usual three day conference, there will be a three day "preconference", which is designed to prepare students, both graduate and undergraduate, to participate in the conference. The preconference will take place from August 12-14.

    11. Computational Category Category Theory Project
    The aim of this project is the development of software on a wide variety of platforms for computing Category Science Math Algebra category theory......Computational category theory Project. Goals and Method. The aimof this project is the development of software on a wide variety
    http://www.mcs.le.ac.uk/~ah83/compcat/
    Contents
    Goals and Method Members of CompCat Developments and Information
    Links to CompCat Member Sites
    Universita dell' Insubria, Como, Italy Mt. Allison University, Sackville, New Brunswick, Canada School of Mathematics, University of Wales, Bangor, Wales Computing Department, Macquarie University, Sydney, Australia ... MCS, University of Leicester, England

    Up: Anne's Home page
    Computational Category Theory Project
    Goals and Method
  • The aim of this project is the development of software on a wide variety of platforms for computing with mathematical categories and associated algebraic structures. Although writing on different platforms each group will undertake to make available programs for translating their input and output files to the formats of the other groups.
  • Members
    R. F. C. Walters
    Universita dell' Insubria, Como, Italy

    Bob Rosebrugh

    Mt. Allison University, Sackville, New Brunswick, Canada
    ...
    MCS, University of Leicester, England
    Developments and Information
    Here is a link to the list of software and structure definitions To join the mailing list contact You might also like to visit: Author: Anne Heyworth
    Last updated: 2nd February 2001
    Any opinions expressed on this page are those of the author.

    12. Dynamic Directory - Science - Math - Algebra - Category Theory
    Applied and Computational category theory A brief description of category theory, and some useful links.
    http://www.maximumedge.com/cgi/dir/index.cgi/Science/Math/Algebra/Category_Theor
    var AdLoaded = false; var bsid = '18707'; var bsads = '6'; var bsloc = ''; var bswx = 468; var bshx = 60; var bsw = '_top'; var bsb = 'FFFFFF'; var bsf = '000000'; var bsalt = 'off';
    MaximumEdge.com
    Search E-Mail News ... Maps
    Dynamic Directory Top Science Math Algebra :Category Theory Description See also:

    13. Applied And Computational Category Theory At RISC-Linz
    Applied and Computational category theory at RISCLinz. NB this pagenot updated after Dec 1, 1999. Researchers (Responsible faculty
    http://www.risc.uni-linz.ac.at/research/category/risc/
    Applied and Computational Category Theory at RISC-Linz
    NB: this page not updated after Dec 1, 1999.
    Researchers (Responsible faculty member: Jochen Pfalzgraf
    The people working in applied and computational category theory at RISC-Linz (faculty and students).
    Research topics
    A general description of the research area we are involved in.
    Seminar and Lectures
    The schedule of the seminar and the lectures organized at RISC-Linz in the field of applied and computational category theory.
    Publications
    The list of the publications of RISC-Linz members working in this area.
    Events
    Interesting conferences, meetings and other events related to the topic, held at RISC-Linz or elsewhere.
    Mails from the Category Theory Mailing List
    E-Mails from the Category Theory mailing list maintained and moderated by Bob Roseburgh, sorted by subject.
    Announcements of Positions (through the Category Theory Mailing List)
    Positions Announcements disseminated through the Category Theory mailing list.
    Other Categorical Links
    Some other pages around the world with similar research interests:
  • The Category Home Page at Mount Allison University, Canada
  • 14. OctoberFest 99: Centre De Recherche En Théorie Des Catégories -- Montréal
    McGill University, Montreal, Canada; 1617 October 1999.Category Science Math Algebra category theory Events Past Events......CTRC Centre de Recherche en Théorie des Catégories Montréal category theory Research Center. category theory OctoberFest.
    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

    15. Alsani's Descent & Category Theory WebPage!
    Maintained by M. Alsani.Category Science Math Algebra category theory...... This page is merely a launching pad to sites of interest in Descent or CategoryTheory. Picture of some people interested in category theory
    http://north.ecc.edu/alsani/descent.html
    D ESCENT A ND C ATEGORY T HEORY C ONNECTIONS!
    M. Alsani; alsani@ecc.edu This page is merely a launching pad to sites of interest in Descent or Category Theory.
  • Selected Category Theory E-mail from the Category Theory mailing list
  • Category Theory Archives from the Front for the Mathematics ArXiv site
  • Category Theory Stanford Encyclopedia of Philosophy - Archives
  • CATEGORIES HOME PAGE Bob Rosebrugh
  • Ccard 2.0 - or : How to make fun out of something highly abstract.
  • TEORIA E APPLICAZIONI DELLE CATEGORIE University of Genoa, Italy
  • Kategorielle Methoden in Algebra und Topologie
  • Texte d'Alexandre Grothendieck (in progress)
  • Categorical Geometry Zhaohua Luo page
  • F. William Lawvere page
  • John Duskin page
  • Toposes, Triples and Theories - A classic text by M Barr and C Wells
  • Descent Theory and its Higher Dimensional Analogues
  • Descent theory and Amitsur cohomology of adjoint functors Slides by Dragos Stefan
  • Geometric and Logical Aspects of Descent Theory Oberwolfach 1995.
  • Descent Theory of Coalgebras and Hopf Algebras
  • DESCENT OF COHERENT SHEAVES AND COMPLEXES TO GEOMETRIC INVARIANT THEORY
  • Etale descent for two-primary algebraic K-theory of totally imaginary number fields , by J. Rognes and C. Weibel
  • A DESCENT THEOREM IN TOPOLOGICAL K-THEORY , by Max Karoubi
  • Category Theory at McGill Marta Bunge page
  • W. Tholen Page
  • 16. BIBLIOGRAPHY About DESCENT And CATEGORY THEORY!
    BIBLIOGRAPHY about category theory. bysame \book *Autonomous categories; \bysame\book category theory for Computing Science \publaddr Prentice Hall \yr 1995;
    http://north.ecc.edu/alsani/catbib.html
    BIBLIOGRAPHY about DESCENT THEORY
  • from W. Tholen home page.
  • Monades et Descente
  • Selected Topics in Algebra
  • An Outline of a Theory of Higher Dimensional Descent
  • The Theory of Descent
  • Triples and Descent
  • An Extension of the Galois Theory of Grothendieck
  • Theory of Categories over a Base Topos
  • Descent Theory for Toposes
  • Effective Descent Morphisms and Effective Equivalence Relations
  • Introduction to Affine Group Schemes
    BIBLIOGRAPHY about CATEGORY THEORY
  • F. W. Lawvere publications: http://www.acsu.buffalo.edu/~wlawvere
  • Back to Descent and Category Theory WebPage
    Back to Alsani's home page
  • 17. Comcat
    The aim of the project is the development of software on a wide variety of platforms for computing Category Science Math Algebra category theory......
    http://www.unico.it/~walters/comcat/comcatproj.html
    The Computational Category Theory Project
    The aim of this project is the development of software on a wide variety of platforms for computing with mathematical categories and associated algebraic structures. (There is a related Categorical Computation Project concerned with a categorical analysis of computers, computation and programming.) The groups currently connected with this project are:

    Contact
    R.F.C. Walters, walters@fis.unico.it
    Mt. Allison University, Sackville, New Brunswick, Canada
    Contact
    Bob Rosebrugh, rrosebrugh@mta.ca School of Mathematics, University of Wales, Bangor, Wales
    Contact
    Ronnie Brown
    Computing Department, Macquarie University, Sydney, Australia
    Contact
    Mike Johnson

    MCS, University of Leicester, England

    Contact Anne Heyworth The organization of the project is as follows:
    • Each group in the project will maintain a home page on the web with details of its own work and with links to the other groups. Although writing on different platforms each group will undertake to make available programs for translating their input and output files to the formats of the other groups. New versions will be announced on the Categories Mailing List.

    18. Category Theory
    X Y Z category theory. category theory is a general mathematicaltheory of structures and sytems of structures. It allows us
    http://setis.library.usyd.edu.au/stanford/archives/fall1997/entries/category-the
    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
    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

    19. Structuralism, Category Theory And Philosophy Of Mathematics
    By Richard Stefanik (Washington MSG Press,1994).Category Society Philosophy Philosophy of Mathematics......Structuralism, category theory and Philosophy of Mathematics by RichardStefanik (Washington MSG Press,1994). Is the philosophy
    http://www.mmsysgrp.com/strctcat.htm
    Structuralism, Category Theory and Philosophy of Mathematics
    by
    Richard Stefanik
    (Washington: MSG Press,1994) Bibliography Bell,J.L."Category Theory and the Foundations of Mathematics",
    British Journal of Philosophy of Science , vol.32, 1981. Bell, J.L. Toposes and Local Set Theory , Clarendon Press, Oxford, 1988.
    Benaceraf, Paul."What Numbers Could Not Be", Philosophical review ,vol.74, 1965
    Chihara, Charles. Constructibility and Mathematical Existence ,Clarendon Press, Oxford, 1990.
    Corry, Leo."Nicholas Bourbaki and the Concept of Mathematical Structure", Synthese ,vol.92,1992
    Goldblatt, Robert. Topoi, A Categorial Analysis of Logic , North Holland, New York, 1984
    Harman, Gilbert."Identifying Numbers", Analysis
    Jubien, Michael."Ontology and Mathematical Truth", Nous , vol.11, 1977 Katzner, Donald. Analysis Without Measurement , Cambridge University Press, Cambridge,1974 MacLane, Saunders. Mathematics: Form and Function , Springer-Verlag, new York, 1986 Resnik, Michael."Mathematics as a Science of Patterns: Ontology and Reference", Nous , vol.15, 1981

    20. MATHEMATICAL STRUCTURES RESEARCH
    Research topics include mathematical models and theories in the empirical sciences, models and theories Category Society Philosophy Philosophy of Mathematics...... Structuralism, category theory and Philosophy of Mathematics . MSG Press, 1994;Suppes, Patrick. Introduction to Logic. category theory and Categorical Algebra.
    http://www.mmsysgrp.com/mathstrc.htm
    MATHEMATICAL STRUCTURES
    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.
    Research Bibliography
    Mathematical Theories and Models
    Scientific Theories and Models
    Category Theory
    Theoretical Computer Science ... WWW Research Sites
    Mathematical Theories and Models
    • 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

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

    free hit counter