Your session will expire automatically in 0 seconds.
LEADER 00000nam a2200589 a 4500
003 MiAaPQ
006 m o d |
007 cr cn|||||||||
008 100428s2010 nyu sb 001 0 eng d
010 |z2010018289
019 EBC647362
019 ebr10442857
020 |z9780521119221|qhardback
020 |z9780511988646|qe-book
035 (MiAaPQ)EBC647362
035 (Au-PeEL)EBL647362
035 (CaPaEBR)ebr10442857
035 (CaONFJC)MIL296697
035 (OCoLC)700706147
035 .b40588063
040 MiAaPQ|beng|cMiAaPQ|dMiAaPQ
050 4 QA169|b.A31993 2010
082 04 512/.62|222
100 1 Adámek, Jiří,|cing.|0http://id.loc.gov/authorities/names/
n83183832
245 10 Algebraic theories :|ba categorical introduction to
general algebra /|cJ. Adámek, J. Rosický, E. M. Vitale ;
with a foreword by F. W. Lawvere.
264 1 New York :|bCambridge University Press,|c2010.
300 xvii, 249 pages.
336 text|btxt|2rdacontent
337 computer|bc|2rdamedia
338 online resource|bcr|2rdacarrier
340 |gpolychrome|2rdacc|0http://rdaregistry.info/termList/
RDAColourContent/1003
347 text file|2rdaft|0http://rdaregistry.info/termList/
fileType/1002
490 1 Cambridge tracts in mathematics ;|vv. 184.
504 Includes bibliographical references and index.
505 8 Machine generated contents note: Foreword F. W. Lawvere;
Introduction; Preliminaries; Part I. Abstract Algebraic
Categories: 1. Algebraic theories and algebraic
categories; 2. Sifted and filtered colimits; 3. Reflexive
coequalizers; 4. Algebraic categories as free completions;
5. Properties of algebras; 6. A characterization of
algebraic categories; 7. From filtered to sifted; 8.
Canonical theories; 9. Algebraic functors; 10. Birkhoff's
variety theorem; Part II. Concrete Algebraic Categories:
11. One-sorted algebraic categories; 12. Algebras for an
endofunctor; 13. Equational categories of [SIGMA]-
algebras; 14. S-sorted algebraic categories; Part III.
Selected Topics: 15. Morita equivalence; 16. Free exact
categories; 17. Exact completion and reflexive-coequalizer
completion; 18. Finitary localizations of algebraic
categories; A. Monads; B. Abelian categories; C. More
about dualities for one-sorted algebraic categories;
Summary; Bibliography; Index.
520 "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"--|cProvided by publisher.
533 Electronic reproduction. Ann Arbor, MI : ProQuest, 2015.
Available via World Wide Web. Access may be limited to
ProQuest affiliated libraries.
650 0 Categories (Mathematics)|0http://id.loc.gov/authorities/
subjects/sh85020992
650 0 Algebraic logic.|0http://id.loc.gov/authorities/subjects/
sh85003435
655 4 Electronic books.
700 1 Rosický, Jiří.|0http://id.loc.gov/authorities/names/
nr94022119
700 1 Vitale, E. M.|0http://id.loc.gov/authorities/names/
n2010026559
700 1 Lawvere, F. W.|0http://id.loc.gov/authorities/names/
n85170090
710 2 ProQuest (Firm)|0http://id.loc.gov/authorities/names/
n2007068018
830 0 Cambridge tracts in mathematics ;|0http://id.loc.gov/
authorities/names/n42005726|v184.
856 40 |uhttps://ebookcentral.proquest.com/lib/unimelb/
detail.action?docID=647362|zConnect to ebook (University
of Melbourne only)
907 .b40588063
990 MARCIVE MELB 201906
990 ProQuest EBL purchased
990 Batch Ebook load (bud2) - do not edit, delete or attach
any records.