Geometry.Net - the online learning center
Home  - Pure_And_Applied_Math - Categorical Algebra And Logic

e99.com Bookstore
  
Images 
Newsgroups
Page 3     41-60 of 82    Back | 1  | 2  | 3  | 4  | 5  | Next 20

         Categorical Algebra And Logic:     more books (15)
  1. Handbook of Categorical Algebra: Volume 1, Basic Category Theory (Encyclopedia of Mathematics and its Applications) (v. 1) by Francis Borceux, 2008-04-24
  2. Algebraic Theories: A Categorical Introduction to General Algebra (Cambridge Tracts in Mathematics) by J. Adámek, J. Rosický, et all 2010-12-31
  3. Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics) by Jaap van Oosten, 2008-04-24
  4. Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) by Silvio Ghilardi, M. Zawadowski, 2002-07-31
  5. Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics) by B. Jacobs, 2001-05-24
  6. Goguen Categories: A Categorical Approach to L-fuzzy Relations (Trends in Logic) by Michael Winter, 2010-11-02
  7. Categorical Foundations: Special Topics in Order, Topology, Algebra, and Sheaf Theory (Encyclopedia of Mathematics and its Applications)
  8. Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics (Trends in Logic) by Silvio Ghilardi, M. Zawadowski, 2010-11-02
  9. Categorical Closure Operators by Gabriele Castellini, 2003-05-15
  10. Categorical Topology
  11. Categorical Methods in Computer Science: With Aspects from Topology (Lecture Notes in Computer Science)
  12. 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
  13. Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics) by J. Lambek, P. J. Scott, 1986-07-25
  14. Categorical Structure of Closure Operators: With Applications to Topology, Algebra and Discrete Mathematics (Mathematics and Its Applications) by D. Dikranjan, Walter Tholen, 1995-10-31

41. Science/Math/Algebra/Category_Theory
Geometry Homepage This site contains online books and research papers on the subjectsof categorical algebra categorical logic categorical geometry lattice
http://www.science-and-research.com/Science/Math/Algebra/Category_Theory/
Search: Welcome to the science-and-research.com search portal. Here you will find numerous research and educational resources associated with the field of science. Whether you are a parent, teacher, student, engineer, scientist, mathematician or simply a science lover, science-and-research.com has content that matches your specific interests. We recognize that science is an expansive topic that embraces many areas including education, research, and development. Therefore we have strategically designed our search portal for ease of navigation. Organized by category, you may navigate through broad categories, from wide-ranging scientific information to specific content on selected topics. In addition, you may opt to use our intelligent search feature if you have a specific science-related query. Science Math Algebra Category Theory Journals
Category Theory
This expository article is an entry in the Stanford Encyclopedia of Philosophy.
URL: http://plato.stanford.edu/entries/category-theory/
Paul Taylor's Home Page
Includes papers on category theory.

42. Untitled
Once more on countably categorical theories, Siberian mathematical journal, 1999,Vol. 40, No. 2. 63. Once more on Higman's question, algebra and logic, Vol.
http://server.math.nsc.ru/~asm256/Papers.html
List of publications of Andrei Morozov 1. On decidability of some theories of Boolean algebras with distinguished ideals, in: 5th all-union conference on mathematical logic (abstracts), Novosibirsk 1979, p. 99, in Russian.
2. Countable homogeneous Boolean algebras. In: 14 All-Union algebraic conference. Leningrad, 1981, P. 201-201. in Russian.
3. Recursive automorphism groups of constructive Boolean algebras. In: 6 All-Union conference on Mathematical Logic. Tbilisi, 1982, P. 119-119. In Russian.
4. On decidability of theories of Boolean algebras with distinguished ideal. Siberian Math. Journal, V. 23, No. 1, 1982, P. 199-201. in Russian.
5. Strong constructivizability of countable saturated Boolean algebras. Algebra and Logic, V. 21, No. 2, 1982, P. 130-137.
6. Countable homogeneous Boolean algebras. Algebra and Logic, V. 21, No. 3, 1982, P. 181-190.
7. Constructive Boolean algebras and their automorphisms, PhD thesis, 1982, 104 pages, in Russian.
8. Groups of recursive automorphisms of constructive Boolean algebras. Algebra and Logic, V. 22, No. 2, 1983, P.95-112.

43. ESSLLI'01 Course On Coalgebras And Modal Logic
Modal and Equational logic Using a categorical formulation of of view is W. Wechler,Universal algebra for Computer For background on modal logic I recommend P
http://www.cwi.nl/~kurz/cml-esslli01.html
ESSLLI'01 Course on Coalgebras and Modal Logic
The course notes ( ps.gz ps ) are available in a revised version from October 2001. Sketch of the 5 Lectures
  • Introduction to Systems. Behavioural equivalence, bisimulation, coinduction, final coalgebras, examples, applications. (No category theory).
  • Coalgebra. Introduction to universal coalgebra and, as far as needed, category theory. (In contrast to the notes, we will spend quite some time to introduce the necessary categorical concepts.)
  • Introduction to Modal Logic . Just some basics on Kripke models and frames, definability and bismulation.
  • Coalgebras and Modal Logic (coalgebras as dynamic systems and modal logics as the appropriate specification languages; an overview of some current approaches).
  • On the Duality of Modal and Equational Logic Using a categorical formulation of the coalgebraic semantics of modal logic we can explain the common ground of the different approaches discussed in the previous lecture; moreover, the idea that `modal logic is dual to equational logic' can now be formally justified. As an application we prove the dual of the HSP-theorem (Birkhoff's variety theorem).
    Recommended Literature (updated May 2002): I plan to make the lecture self contained, so it will not be necessary to read any of the following. If you want to prepare a bit nevertheless read on modal logic and on category theory (see below). The remaining references are for the curious ...

    • 44. WEBCSBMI: Online: Seriali On-line
    The ANZIAM Journal, SI, SI, NO. Applied categorical Structures, SI, SI, SI. Journalof Pure and Applied algebra, SI, SI, SI. Journal of Symbolic logic (The), SI,NO, SI.
    http://www.csb-main.unige.it/Online/rivisteol/
    Centro di Servizio Bibliotecario di Matematica e Informatica "E.Togliatti" Via Dodecaneso 35 16146 Genova Italy
    tel. 010 353 6759 fax 010 353 6752 e-mail biblioteca@dima.unige.it
    Online
    Riviste e Collane     Le pubblicazioni elencate di seguito sono disponibili anche in formato cartaceo presso il CSBMI
    A     B C D ... Z
    Rivista Abstract FullText Index A
    ACM Journal of Educational Resources in Computing     SI SI SI ACM Journal of Experimental Algorithmics SI SI NO
    Acta Informatica     SI SI NO
    Acta Mathematica Hungarica     SI SI SI
    Algebra and Logic     SI SI SI
    Algebra Universalis     SI SI NO SI SI SI SI SI SI Annali di Matematica Pura e Applicata SI SI SI Annals of Mathematics SI NO SI Annals of Pure on Applied Logic SI SI SI The ANZIAM Journal SI SI NO Applied Categorical Structures SI SI SI Applied Mathematics and Optimization SI SI NO Archiv der Mathematik (Basel) SI SI NO Archive for History of Exact Sciences SI SI NO Archive for Mathematical Logic SI SI NO Archive for Rational Mechanics and Analysis SI SI NO Archivum Mathematicum (Brno) SI SI NO B SI SI NO SI SI SI Bulletin of Symbolic Logic (The) NO SI SI Bulletin of the American Mathematical Society SI SI NO Bullettin of the London Mathematical Society SI SI SI C Calcolo SI SI SI Calculus of Varations and Partial Differential Equations SI SI NO SI SI NO SI SI NO Classical and Quantum Gravity SI SI SI Commentarii Mathematici Helvetici SI SI NO Communications on Pure and Applied Mathematics SI SI NO Compositio Mathematica SI SI SI SI SI SI Conformal Geometry and Dynamicis SI SI NO Continuum Mechanics and Thermodynamics SI

    45. Fundamenta Informaticae, Volume 32
    for abstract Fork algebras in algebra, logic and Computer Science MF FRIAS , GA BAUMand A. M.HAEBERER The Topos of Labelled Trees A categorical Semantics for
    http://fi.mimuw.edu.pl/vol32.html
    Contents of Fundamenta Informaticae Volume 32.
    Number 1 , October 1997 Number 2 Number 3-4 , December1997/January 1998
    Contents of Volume 32, Number 1, October 1997
    Click on title for abstract Fork Algebras in Algebra, Logic and Computer Science M. F. FRIAS , G. A. BAUM and A. M.HAEBERER The Topos of Labelled Trees: A Categorical Semantics for SCCS S. KASANGIAN and S. VIGNA Lambda Abstraction Algebras: Coordinatizing Models of Lambda Calculus D. PIGOZZI and A. SALIBRA Queries and Algorithms Computable by Polynomial Time Existential Reflective Machines J. TYSZKIEWICZ
    Contents of Volume 32, Number 2, November1997
    Click on title for abstract
    Substitutivity Principles in Some Theories of Uncertainty M.K. CHAKRABORTY and E. ORLOWSKA Qualifying Answers According to User Needs and Preferences T. GAASTERLAND and J. LOBO Complexity of Recursive Normal Default Logic V. MAREK, A. NERODE and J. B. REMMEL Rough Set Approximations of Languages G. PAUN, L. POLKOWSKI and A. SKOWRON Combining Closed World Assumptions with Stable Negation C. RUIZ and J. MINKER Proposal for a Theory of Belief Revision Along the Lines of Lindstroem and Rabinowicz K. SEGERBERG

    46. Accompanying Literature
    Fibrations Bart Jacobs categorical logic and Type Theory, NorthHolland, 1999.F. Borceaux Handbook of categorical algebra, volume 50, 51, 52 of Encyclopedia
    http://siskin.pst.informatik.uni-muenchen.de/spring-school99/lit.html

    47. UCL/AGEL -
    logic 103, no On the abstract characterization of quasivarieties, algebra Universalis43 F. and VITALE E., Azumaya categories, Applied categorical structure (to
    http://gauss.math.ucl.ac.be/AGEL/AGELrech1.html
    Description des recherches
    The researches developed by the category theory group fit into four main lines:
    1) localizations of presheaf categories and algebraic categories ;
    2) non-abelian and higher order homological algebra ;
    3) quantales and their applications to representation theory ;
    4) descent theory and Galois theories ;
    5) accessible categories ;
    5) Accessible categories are the categories of models of sketchable theories. Our group has been involved in various research projects in this area: an enriched theory of accessible categories, a Morita theorem for sketches, a classification of accessible categories independent of cardinal arithmetic, a study of injectivity in accessible categories.
    • Borceux F., Handbook of categorical algebra, Encyclopedia of Mathematics and Its Applications. 50, 51, 52. Cambridge University Press 1994. xv+345 p., xvii+443 p., xvii+522 p. Borceux F. and Succi-Cruciani R., A generic representation theorem for non-commutative rings, J. Algebra 167, No.2, 291-308 (1994).

    48. Electronic Journals On Mathematics
    algebra and logic; algebras and Representation Theory; algebra universalis; Analysis ofMathematics; Applied categorical Structures; Applied
    http://www.uark.edu/libinfo/subject/math/Journals.html

    49. Meeting AMS-UMI - Session 51 - Algebraic Logic And Universal Algebra
    systems in abstract algebraic logic postscript PDF. Poland) Generative complexityin algebra postscript PDF. of Tartu, Estonia) On categorical equivalence of
    http://spot.colorado.edu/~kearnes/Pisa/session51.html
    AMS-UMI First Joint International Meeting
    Session 51
    Algebraic Logic and Universal Algebra
    Pisa, Italy
    June 12-16, 2002
    Organizers
    (University of Siena, Italy)
    Keith A. Kearnes     (University of Colorado, USA)
    Franco Montagna     (University of Siena, Italy)
    Don Pigozzi     (Iowa State University, USA)
    Invited speakers

    50. KLUWER Academic Publishers | Category Theory, Homological Algebra
    Theory of Topological Structures An Approach to categorical Topology Gerhard PreussDecember 1987 Universal algebra, algebraic logic, and Databases B
    http://kapis.www.wkap.nl/home/topics/J/4/4/?sort=A&results=20

    51. OSU Math - Online Mathematics Journals - OhioLink: Math
    of Pure and Applied logic; Annals of the Applicable algebra in Engineering, Communicationand Computing; Harmonic Analysis; Applied categorical Structures; Applied
    http://www.math.ohio-state.edu/library/online/ohiolink/math.html
    OhioLink: math

    52. Concurrency-1993: Algebraic And Categorical Methods In Computer Science
    Process algebra Workshop ; Tempus Summer School for algebraic and categorical Methods. CoursesPJ Freyd (Philadelphia), Cartesian logic and Cartesian Categories.
    http://www-i2.informatik.rwth-aachen.de/Forschung/MCS/Mailing_List_archive/con_h
    Algebraic and Categorical Methods in Computer Science
    Lubos Brim ( brim@adelard.dcs.muni.cs
    Thu, 6 May 1993 12:11:02 +0200     Tempus Summer School for Algebraic and Categorical Methods
    in Computer Science
    Second Announcement
    Brno, June 28 - July 3, 1993
    Sponsored by the European Community TEMPUS office the organizers
    are pleased to announce an intensive course designed to serve its
    students as a forum for exchange of ideas between the disciplines
    of mathematics and computer science.
    Courses:
    P. J. Freyd (Philadelphia), Cartesian Logic and Cartesian Categories Y. Lafont (Paris), Linear Logic J. Lambek (Montreal), Categories and Deductive Systems C. P. Stirling (Edinburgh), Modal and Temporal Logics for Processes G. Winskel (Aarhus), Models and Logic for Concurrent Computation

    53. Logic From FOLDOC
    Bocardo; Boolean; Boolean algebra; Boolean logic; bottom; bound variable; Busy Beaver;c; Camenes; Camestres; Cantor's theorem; categorical logic; categorical
    http://www.swif.uniba.it/lei/foldop/contents/logic.html
    logic
    Related entries include: abduction Abelard Peter absolute consistency absolute inconsistency ... wff

    54. HTML Generated By Txt2html Via TOM
    or logic. Text Barr, M. Wells, C. Categories for Computing Science. New a. FurtherReferences Borceux, F. Handbook of categorical algebra (Encyclopedia of
    http://www.andrew.cmu.edu/user/awodey/introcat/
    Category Theory 80-415/715 Spring 1999 Course Information Place: DH 2122
    Time: TR 2:30-3:50 Instructor
    Prof. Steve Awodey
    Office: Baker 152 (mail Baker 135)
    Office Hour: Monday 2-4 or by appointment
    Phone: 268-8947
    Email: awodey@andrew Overview
    Category theory, a branch of abstract algebra, has found many applications in mathematics, logic, and computer science. Like such fields as elementary logic and set theory, category theory provides a basic conceptual apparatus and a collection of formal methods useful for addressing certain kinds of commonly occurring formal and informal problems, particularly those involving structural and functional considerations. This course is intended to acquaint students with these methods, and also to encourage them to reflect on the interrelations between category theory and the other basic formal disciplines. To be followed by a Spring seminar on more advanced topics. Prerequisites
    Some familiarity with abstract algebra or logic. Text
    Further References
    • Borceux, F.: Handbook of Categorical Algebra (Encyclopedia of Mathematics and its Applications). Cambridge University Press, 1994. Mac Lane, S.: Categories for the Working Mathematician. Springer, 1971. (the standard reference)

    55. Chronological List Of Publications
    Symbolic logic, Abstract, Vol. 31 (1966), 294295. 5. The Category of Categoriesas a Foundation for Mathematics, La Jolla Conference on categorical algebra,
    http://www.acsu.buffalo.edu/~wlawvere/list.html
    F. William Lawvere
    Chronological list of publications
    HOME Subject Classification Bottom of page (most recent) 1. Functorial Semantics of Algebraic Theories Proceedings of the National Academy of Science 50 , No. 5 (November 1963), 869-872. 2. Elementary Theory of the Category of Sets Proceedings of the National Academy of Science 52 , No. 6 (December 1964), 1506-1511. Algebraic Theories, Algebraic Categories, and Algebraic Functors, Theory of Models ; North-Holland, Amsterdam (1965), 413-418. Functorial Semantics of Elementary Theories Journal of Symbolic Logic , Abstract, Vol. 31 (1966), 294-295. The Category of Categories as a Foundation for Mathematics La Jolla Conference on Categorical Algebra , Springer-Verlag (1966), 1-20. Some Algebraic Problems in the Context of Functorial Semantics of Algebraic Theories Springer Lecture Notes in Mathematics No. 61 , Springer-Verlag (1968), 41-61. Ordinal Sums and Equational Doctrines Springer Lecture Notes in Mathematics No. 80 , Springer-Verlag (1969), 141-155. Diagonal Arguments and Cartesian Closed Categories Springer Lecture Notes in Mathematics No. 92

    56. ONT Re: Higher Order Categorical Logic
    f!(x) in an indeterminate x over a Schoenfinkel algebra A can be J. Scott, PJ, 'Introduction To Higher Order categorical logic', Cambridge University
    http://suo.ieee.org/ontology/msg03398.html
    Thread Links Date Links Thread Prev Thread Next Thread Index Date Prev ... Date Index
    ONT Re: Higher Order Categorical Logic
    http://uk.cambridge.org/mathematics/catalogue/0521356539/

    57. ONT Re: Higher Order Categorical Logic
    Generic Ontology Group ontology@ieee.org ; Subject ONT Re Higher Order CategoricalLogic; these identities here, but reserve the name Curry algebra for a
    http://suo.ieee.org/ontology/msg03399.html
    Thread Links Date Links Thread Prev Thread Next Thread Index Date Prev ... Date Index
    ONT Re: Higher Order Categorical Logic
    http://uk.cambridge.org/mathematics/catalogue/0521356539/

    58. MathWare: Numero4-1
    M. Keywords QMValgebra, MV-algebra, quantum logic they are models of Lukasiewiczinfinite-valued logic. this result showing a categorical equivalence between
    http://www.upc.es/ea-smi/mathware/v4n1/num4-1.html
    Orthogonal Decompositions of MV-Spaces
    Author(s):
    Abstract:
    Keywords: MV-algebra, orthogonal decomposition, basis, closed ideal, semisimple MV-algebra, complete MV-algebra.
    Axiomatizing Quantum MV-Algebras
    Author(s): R. Giuntini
    Abstract: We introduce the notion of p-ideal of a QMV-algebra and we prove that the class of all p-ideals of a QMV-algebra M is in one-to-one correspondence with the class of all congruence relations of M.
    Keywords: QMV-algebra, MV-algebra, quantum logic.
    Convergence in MV-algebras
    Author(s): George Georgescu, Fortuna Liguori, Giulia Martini
    Abstract:
    Maximal MV-algebras
    Author(s):
    Abstract: In this paper we define maximal MV-algebras, a concept similar tothe maximal rings and maximal distributive lattices. We prove that any maximal MV-algebra is semilocal, then we characterize a maximal MV-algebras as finite direct product of local maximalMV-algebras.
    Representation of a Boolean Algebra by its Triangular Norms
    Author(s): Suryansu Ray
    Abstract: Given a complete and atomic Boolean algebra B, there exists a family Tau sub gamma of triangular norms on B such that, under the partial ordering of triangular norms, tau sub gamma is a Boolean algebra isomorphic to B, where gamma is the set of all atoms in B. In other words, as we have shown in this note, every complete and atomic Boolean algebra can be represented by its own triangular norms. What we have not shown in this paper is our belief that tau sub gamma is not unique for B and that, for such a representation, B needs neither to be complete, nor to be atomic.

    59. Category Theory (M24)
    2. Francis Borceux, Handbook of categorical algebra , Cambridge University Press(1994). next up previous Next Set Theory (M24) Up logic Previous logic Part
    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.

    60. All Titles - Cambridge University Press
    First Steps in Modal logic Sally Popkorn Hardback Published December 1994. Handbookof categorical algebra Francis Borceux Volume 1, Basic Category Theory
    http://publishing.cambridge.org/stm/mathematics/foundations/all/page5
    Home All titles
    New titles
    Textbooks     ...
    Related journals
    New titles email
    Related subjects Communications, Networks and the Internet
    Theoretical Computer Science
    Search
    There are 157 titles available. Ab-Bi Bo-Co Co-De De-El En-Ha Ha-Lo Lo-Mo Mo-Pr Pr-Se ... Enumerative Combinatorics
    Richard P. Stanley, Appendix by Sergey Fomin
    Volume 2
    Also available in Hardback Enumerative Combinatorics Richard P. Stanley, Foreword by Gian-Carlo Rota Volume 1 Also available in Hardback Epistemic Logic for AI and Computer Science John-Jules Ch. Meyer, Wiebe van der Hoek Evolutionary Games and Population Dynamics Josef Hofbauer, Karl Sigmund Also available in Hardback Extensions of First-Order Logic Marma Manzano Finite Geometries and Combinatorics Edited by F. de Clerck, J. Hirschfeld First Steps in Modal Logic Sally Popkorn Foundations of Mathematics in the Theory of Sets, The John P. Mayberry Game Theory and Strategy Philip D. Straffin, Jr Geometric Galois Actions Edited by Leila Schneps, Pierre Lochak Volume 1, Around Grothendieck’s Esquisse d’un Programme Geometry, Combinatorial Designs and Related Structures

    Page 3     41-60 of 82    Back | 1  | 2  | 3  | 4  | 5  | Next 20

    free hit counter