0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (4)
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 5 of 5 matches in All Departments

Model Theory and Topoi (Paperback, 1975 ed.): F. W. Lawvere, C. Maurer, G. C. Wraith Model Theory and Topoi (Paperback, 1975 ed.)
F. W. Lawvere, C. Maurer, G. C. Wraith
R1,852 Discovery Miles 18 520 Ships in 10 - 15 working days

A Collection of Lectures by Variuos Authors

Toposes, Algebraic Geometry and Logic - Dalhousie University, Halifax, January 16-19, 1971 (Paperback, 1972 ed.): F. W. Lawvere Toposes, Algebraic Geometry and Logic - Dalhousie University, Halifax, January 16-19, 1971 (Paperback, 1972 ed.)
F. W. Lawvere
R1,230 Discovery Miles 12 300 Ships in 10 - 15 working days
Seminar on Triples and Categorical Homology Theory - ETH 1966/67 (Paperback, 1969 ed.): B. Eckmann Seminar on Triples and Categorical Homology Theory - ETH 1966/67 (Paperback, 1969 ed.)
B. Eckmann; H. Appelgate, M. Barr, J. Beck, F. W. Lawvere, …
R1,882 Discovery Miles 18 820 Ships in 10 - 15 working days
Reports of the Midwest Category Seminar II (Paperback, 1968 ed.): S. Mac Lane Reports of the Midwest Category Seminar II (Paperback, 1968 ed.)
S. Mac Lane; M. Andre, D. A. Buchsbaum, E. Dubuc, R.L. Knighten, …
R1,165 Discovery Miles 11 650 Ships in 10 - 15 working days
Algebraic Theories - A Categorical Introduction to General Algebra (Hardcover): J. Adamek, J. Rosicky, E. M. Vitale Algebraic Theories - A Categorical Introduction to General Algebra (Hardcover)
J. Adamek, J. Rosicky, E. M. Vitale; Foreword by F. W. Lawvere
R3,653 Discovery Miles 36 530 Ships in 10 - 15 working days

Algebraic theories, introduced as a concept in the 1960s, have been a fundamental step towards a categorical view of general algebra. Moreover, they have proved very useful in various areas of mathematics and computer science. This carefully developed book gives a systematic introduction to algebra based on algebraic theories that is accessible to both graduate students and researchers. It will facilitate interactions of general algebra, category theory and computer science. A central concept is that of sifted colimits - that is, those commuting with finite products in sets. The authors prove the duality between algebraic categories and algebraic theories and discuss Morita equivalence between algebraic theories. They also pay special attention to one-sorted algebraic theories and the corresponding concrete algebraic categories over sets, and to S-sorted algebraic theories, which are important in program semantics. The final chapter is devoted to finitary localizations of algebraic categories, a recent research area.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Soccer Waterbottle [Black]
R56 Discovery Miles 560
Philips TAUE101 Wired In-Ear Headphones…
R199 R129 Discovery Miles 1 290
Better Choices - Ensuring South Africa's…
Greg Mills, Mcebisi Jonas, … Paperback R350 R301 Discovery Miles 3 010
Snappy Tritan Bottle (1.5L)(Green)
R229 R180 Discovery Miles 1 800
Tommy EDC Spray for Men (30ml…
R479 Discovery Miles 4 790
Kiddylicious Crispie Tiddlers…
R23 R20 Discovery Miles 200
Dunlop Pro Padel Balls (Green)(Pack of…
R199 R165 Discovery Miles 1 650
Space Blankets (Adult)
 (1)
R16 Discovery Miles 160
Southpaw
Jake Gyllenhaal, Forest Whitaker, … DVD R99 R24 Discovery Miles 240
Gym Towel & Bag
R78 Discovery Miles 780

 

Partners