1. [20030831] HANDBOOK OF CATEGORICAL ALGEBRA VOL 3 SHEAF THEORY HANDBOOK OF CATEGORICAL ALGEBRA VOL 3 SHEAF THEORY Grothendieck toposes/ The classifying topos/ Elementary toposes/ Internal logic of a topos http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

2. Guests Of The Algebra And Logic Group At The University Of in terms of certain formulas (hformulas) defined by E. A. Palyutin in Categorical Horn classes, I. Algebra and Logic 19(1980), 377-400. http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

3. Handbook Of Categorical Algebra Volume 1, Basic Category Theory Handbook of Categorical Algebra Volume 1, Basic Category Theory (Encyclopedia of Mathematics and its Introduction to HigherOrder Categorical http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

4. FpoApo.com Store Books Handbook Of Categorical Algebra Volume Books Handbook of Categorical Algebra Volume 1, Basic Category Theory (Encyclopedia of Introduction to HigherOrder Categorical Logic http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

5. Handbook Of Categorical Algebra Volume 1, Basic Category Theory Introduction to HigherOrder Categorical Logic (Cambridge Handbook of Categorical Algebra Volume 1, Basic Category Theory (Encyclopedia of http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

6. Handbook Of Categorical Algebra Volume 1, Basic Category Theory Books Handbook of Categorical Algebra Volume 1, Basic Category Theory (Encyclopedia of Introduction to HigherOrder Categorical Logic http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

7. Handbook Of Categorical Algebra 2 Categories And Structures Fred Marcellino Computer Science Logic 5th Handbook of Categorical Algebra 2 Categories and Structures Encyclopedia of Mathematics and Its http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

8. Handbook Of Categorical Algebra - Cambridge University Press Handbook of Categorical Algebra Related areas. Foundations, Combinatorics Logic. Printer friendly version Email a colleague http://tmsyn.wc.ask.com/r?t=an&s=hb&uid=24312681243126812&sid=343126

9. Foundations, Combinatorics & Logic - Cambridge University Press Cambridge books covering mathematical logic, category theory, set theory and For the first time in a textbook, categorical algebra is used to build a http://www.cambridge.org/uk/browse/default.asp?subjectID=1010180

10. Applied Categorical Structures-Springer Mathematical Logic And Foundations Journ A Journal Devoted to Applications of categorical Methods in algebra, Analysis,Order, in continous order theory, in algebraic and logical type theory, http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-40012-70-35542984-0,00

Please enable Javascript in your browser to browse this website. Select your subdiscipline Algebra Analysis Applications Mathematical Biology Mathematical Physics Probability Theory Quantitative Finance Home Mathematics Select a discipline Biomedical Sciences Chemistry Computer Science Economics Education Engineering Environmental Sciences Geography Geosciences Humanities Law Life Sciences Linguistics Materials Mathematics Medicine Philosophy Popular Science Psychology Public Health Social Sciences Statistics preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,11978,5-0-17-900180-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,11978,5-0-17-900170-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,11978,5-0-17-900190-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,11978,5-0-17-900200-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,11978,5-0-17-900369-0,00.gif'); preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,11978,5-0-17-900344-0,00.gif'); Please select Africa Asia Australia / Oceania Europe Germany North America South America Switzerland United Kingdom All Author/Editor Title ISBN/ISSN Series preloadImage('/sgw/cda/pageitems/designobject/cda_displaydesignobject/0,11978,5-0-17-900050-0,00.gif');

11. Chronological List Of Publications logic algebra, Lecture Notes in Pure and Applied algebra 180 181189, categorical algebra for continuum microphysics, Journal of Pure and Applied 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

12. Universal Algebra And Logic Seminars Universal algebra and logic Seminars Abstract The aim of this series oftalks is to propose and study an order theoretic and categorical framework for http://sitemason.vanderbilt.edu/page/f0Cdhu

Universal Algebra and Logic Seminars Spring 2005 Time: Thursday, March 24. (SC 1403, 2:00 p.m.) Speaker: Nick Galatos Title: Equivalence of logical consequence operations: an order theoretic perspective (continued). Abstract: The aim of this series of talks is to propose and study an order theoretic and categorical framework for the study of the general notion of an abstract logical equivalence between two logical consequence relations. Our development leads naturally to the discussion of translations between two such operations, and pays particular attention to the abstraction of the concept of a structural transformer. Time: Tuesday, March 22. (SC 1403, 2:00 p.m.) Speaker: Eric Zenk Title: Introduction to E-reflective subcategories. Abstract: A quasivariety is a class of algebras closed under taking products embedded subalgebras and ultraproducts, or equivalently, a class of algebras defined by a set of quasiequations. The notion of a product-closed class makes sense in practically every category one examines. However, both the notion of quasi-equation and embedded substructure are more difficult to generalize. The talk will describe language for dealing with situations in which more than one notion of embedded subobject make sense. Given such a notion of embedding, an E-reflective subcategory is precisely a class closed under products and embeddings. (It seems there is no suitable generalization of quasi-equation.) Examples in topology and the context of partially ordered sets will be given.

13. Wesleyan Research Areas Latticeordered algebraic structures, general and categorical topology Mathematical logic, applications of model theory to algebra. Analysis http://www.math.wesleyan.edu/research-areas.htm

Faculty, Staff, and Graduate Students Undergrad Math Program Seminars and Colloquia Graduate Program ... Alphabetical Listing of Faculty with Research Interests Research areas of the department: Algebra Analysis Computer Science Discrete Mathematics ... Topology There are weekly seminars in most of the above areas as well as a regular departmental colloquium series and a weekly graduate-student-run lunchtime seminar. Algebra Wai Kiu Chan , Ph.D. Ohio State University Assistant Professor of Mathematics Number theory, quadratic forms Karen L. Collins , Ph.D. MIT Professor of Mathematics Algebraic and enumerative combinatorics, graph theory W. Wistar Comfort , Ph.D. Washington (Seattle) Professor of Mathematics Point-set topology, ultrafilters, set theory, topological groups Anthony W. Hager , Ph.D. Penn State Professor of Mathematics Lattice-ordered algebraic structures, general and categorical topology

14. UCL Research Inventory :: Research Unit Description Of "Algebra, Geometry And Ma categorical algebra quantales and their applications to representation theorydescent categorical algebra, geometric logic, teaching of mathematics http://rch.adre.ucl.ac.be/browse/list_fac/AGEL/en

Version française Research inventory Algebra, geometry and mathematical logic (Faculté des sciences / Département de mathématique / AGEL) [ Unit details ] Projects list Significant publications list Units list Print ... Home Person(s) in charge of the research unit ROISIN Jean-Roger Address BAT.M.DE HEMPTINNE,CHEM.D.CYCLOTRON, 2 1348 LOUVAIN-LA-NEUVE BELGIQUE Phone Fax Unit URL http://www.math.ucl.ac.be/AGEL/ Scope of the research unit • Algebraic topology: rational homotopy, loop space homology, configuration spaces, embedding problems, Lusternik-Schnirelmann category. • Arithmetical properties of fields: Galois cohomology and linear algebraic groups, classification of algebras with involutions, cohomological invariants of classical groups. • Categorical algebra: quantales and their applications to representation theory: descent theory and Galois theories: accessible categories: localizations of presheafcategories and algebraic categories: non-abelian and higher order homological algebra. • Mathematical logic: building model theory with Grothendieck toposes and fibred categories. • Teaching of mathematics: new methods for teaching linear algebra and basic analysis to students with specific motivations ( economy, civil engineering, pharmacy).

15. Introduction There then followed a fruitful collaboration on categorical logic with P. This includes his work in bilinear logic and its applications to algebra and http://www.math.mcgill.ca/triples/lambek97/lamintro.html

Introduction to MSCS volume This volume is dedicated to our friend, colleague, and teacher Joachim (Jim) Lambek. On December 5,1997, a small conference was held at McGill on the occasion of Jim Lambek's 75th birthday. Subsequently it was decided to publish two volumes of papers contributed in his honour to mark this occasion; this issue of Mathematical Structures in Computer Science is one of the volumes, the other is Volume 6 of the journal Theory and Applications of Categories . At the December 1997 conference, a brief biographical essay was presented by Michael Barr; that essay appears in the TAC volume. But we wish to make some further remarks here. Jim completed his Ph.D. at McGill under Hans Zassenhaus in 1950, and has remained at McGill since then. But it is of interest to note that Jim wrote two theses: the second involved biquaternions in mathematical physics, and so forshadows a significant feature of his career: Jim has consistently shown a remarkable range of interests, from physics to linguistics, from algebra to logic, from the history and philosophy of mathematics to the theory of computing science (although he never touches a computer, to this day!). Let us just review a small sample of his more than 100 published papers. In the mid 1960's Lambek became increasingly interested in category theory. His first monograph, "Completions of Categories" (Springer LNM

16. BIBLIOGRAPHY About DESCENT And CATEGORY THEORY! \ 1348 \yr 1988; \bysame \book Handbook of categorical algebra 1 Basic G.Reyes \book First Order categorical logic ModelTheoretical Methods in the 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. Category Theory Lambek, J., 1988, On the Unity of algebra and logic , categorical algebra and Lambek, J., 1991, categorical versus algebraic logic , algebraic logic, http://plato.stanford.edu/entries/category-theory/

version history HOW TO CITE THIS ENTRY Stanford Encyclopedia of Philosophy A ... Z This document uses XHTML/Unicode to format the display. If you think special symbols are not displaying correctly, see our guide Displaying Special Characters last substantive content change FEB The Encyclopedia Now Needs Your Support Please Read How You Can Help Keep the Encyclopedia Free Category Theory 1. General Definitions, Examples and Applications 2. Brief Historical Sketch 3. Philosophical Significance Bibliography ... Related Entries 1. General Definitions, Examples and Applications defined as sets, category theory cannot provide a philosophically enlightening foundation for mathematics. In terms of collections, 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 Mor a b ), namely, the morphisms from a to b in C (when f is a morphism from a to b , we write f a b For every triple a b and c of objects, there is a partial operation from pairs of morphisms in Mor a b ) X Mor b c ) to morphisms in Mor a c ), called the composition of morphisms in

18. CATEGORICAL STRUCTURES AND THEIR APPLICATIONS The book collects original research papers on applied categorical in variousbranches of mathematics such as algebra, analysis, logic and topology, http://www.worldscibooks.com/mathematics/5665.html

Home Browse by Subject Bestsellers New Titles ... Browse all Subjects Search Bookshop New Titles Editor's Choice Bestsellers Book Series ... Join Our Mailing List CATEGORICAL STRUCTURES AND THEIR APPLICATIONS Proceedings of the North-West European Category Seminar Berlin, Germany 28 - 29 March 2003 edited by (Freie Universität Berlin, Germany) The book collects original research papers on applied categorical structures, most of which have been presented at the North-West European Category Seminar 2003 in Berlin. The spectrum of these mathematical results reflects the varied interests of Horst Herrlich — one of the leading category theorists of the world — to whom this volume is dedicated in view of his 65th birthday. The book contains applications of categorical methods in various branches of mathematics such as algebra, analysis, logic and topology, as well as fuzzy structures and computer science. At the end of the book the reader will find a complete list of Horst Herrlich’s publications. The proceedings have been selected for coverage in: Contents: On Boole’s Booleanness (B Banaschewski) The Tensor Product of Orthomodular Posets (R Börger) Saturated Collections of Metrics (E Colebunders et al.)

19. Algebraic Logic: New & Used Books Category Search Result For Algebraic Logic List Price $52.95 / Similar to categorical algebra and Its List Price$58.00 / Similar to Fork algebras in algebra, logic and http://www.fetchbook.info/fwd_topics/startFrom_5/id_1562216.html

Bookmark Recommend Us Enhance Your Site Browse Books ... Forums New! Help Keyword Title Author ISBN Welcome Guest [Sign In] Searched in books for Algebraic Logic books matched your search. Search took seconds. All Categories Mathematics Algebra General Algebraic Logic Add Review Algebra of Programming By Richard Bird Oege De Moor Paperback / 295 Pages / Prentice Hall / September 1996 / 013507245X List Price $48.00 / Similar to Algebra of Programming Compare Prices Add To Wish List Details ... Add Review Categorical Algebra and Its Applications By F. Borceux (Editor) Paperback / Springer Verlag / December 1988 / 0387503625 List Price $52.95 / Similar to Categorical Algebra and Its... Compare Prices Add To Wish List Details ... Add Review Elements Of Modern Algebra, 2nd Edition By Jimmie Gilbert Linda Gilbert Book / 356 Pages / January 1988 / 0534915027 Similar to Elements Of Modern Algebra Compare Prices Add To Wish List Details ... Add Review Complete Theories (Revised) By A. Robinson Hardcover / Elsevier Science Ltd / March 1977 / 0720406900 List Price $110.00 / Similar to

20. 22M330 Fall 2004 - Topics In Algebra - Categorical Structures TOPICS IN algebra. categorical Structures and Applications. SHORTCUTS Mac Lane, Saunders Categories in geometry, algebra and logic . Math. Japon. http://www.math.uiowa.edu/~fsouza/22M330-F04/Announcement2pt2.html

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