应《网络安全法》要求，自2017年10月1日起，未进行实名认证将不得使用互联网跟帖服务。为保障您的帐号能够正常使用，请尽快对帐号进行手机号验证，感谢您的理解与支持！

24小时热门版块排行榜    

小木虫论坛-学术科研互动平台 » 专业学科区 » 数学 » 数学资源 » 【Graduate Texts in Mathematics 26】【Algebraic Theories】可复制文字
141/1返回列表
查看: 1254  |  回复: 13
只看楼主 @他人 存档 新回复提醒 (忽略) 收藏    在APP中查看
【奖励】 本帖被评价12次，作者maojun1998增加金币 9.6 个

maojun1998

银虫 (正式写手)

[资源] 【Graduate Texts in Mathematics 26】【Algebraic Theories】可复制文字

【Graduate Texts in Mathematics 26】【Algebraic Theories】可复制文字
Preface
In the past decade, category theory has widened its scope and now interacts
with many areas of mathematics. This book develops some of the
interactions between universal algebra and category theory as well as some
of the resulting applications.
We begin with an exposition of equationally defineable classes from the
point of view of "algebraic theories," but without the use of category theory.
This serves to motivate the general treatment of algebraic theories in a
category, which is the central concern of the book. (No category theory is
presumed; rather, an independent treatment is provided by the second chapter.)
Applications abound throughout the text and exercises and in the final
chapter in which we pursue problems originating in topological dynamics
and in automata theory.
This book is a natural outgrowth of the ideas of a small group of mathematicians,
many of whom were in residence at the Forschungsinstitut für
Mathematik of the Eidgenössische Technische Hochschule in Zürich,
Switzerland during the academic year 1966-67. It was in this stimulating
atmosphere that the author wrote his doctoral dissertation. The "Zürich
School," then, was Michael Barr, Jon Beck, John Gray, Bill Lawvere, Fred
Linton, and Myles Tierney (who were there) and (at least) Harry Appelgate,
Sammy Eilenberg, John Isbell, and Saunders Mac Lane (whose spiritual
presence was tangible.)
I am grateful to the National Science Foundation who provided support,
under grants GJ 35759 and OCR 72-03733 A01, while I wrote this book.
I wish to thank many of my colleagues, particularly Michael Arbib,
Michael Barr, Jack Duskin, Hartrnut Ehrig, Walter Felscher, John Isbell,
Fred Linton, Saunders Mac Lane, Robert Part\ Michael Pfender, Walter
Tholen, Donovan Van Osdol, and Oswald Wyler, whose criticisms and
suggestions made it possible to improve many portions of this book; and
Saunders Mac Lane, who provided encouragement on many occasions.
目录
Table of Contents
Introduction ............................................... .
Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Chapter 1. Algebraic theories of Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1. Finitary Universal Algebra ............................ 7
2. The Clone of an Equational Presentation ................ 15
3. Algebraic Theories .................................... 24
4. The Algebras of a Theory .............................. 32
5. Infinitary Theories .................................... 50
Chapter 2. Trade Secrets of Category Theory .................... 82
1. The Base Category .................................... 82
2. Free Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 115
3. Objects with Structure ................................ 139
Chapter 3. Algebraic Theories in a Category . . . . . . . . . . . . . . . . . . . . .. 161
1. Recognition Theorems ................................ 161
2. Theories as Monoids .................................. 204
3. Abstract Birkhoff Subcategories ........................ 224
4. Regular Categories . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 234
5. Fibre-Complete Algebra. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 246
6. Bialgebras............................................ 257
7. Colimits ............................................ 272
Chapter 4. Some Applications and Interactions . . . . . . . . . . . . . . . . . . .. 280
1. Minimal Algebras : Interactions with Topological
Dynamics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 280
2. Free Algebraic Theories: the Minimal Realization of
Systems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 292
3. Nondeterminism .......................... . . . . . . . . . . .. 309
Bibliography . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. 341
Index. . . . . .. . . . . . . . . . . . . . . .. . . . . . . .. . . . . . . . . . . . . . . . . . . . . . .. 349
回复此楼

» 本帖附件资源列表

  • 欢迎监督和反馈：小木虫仅提供交流平台，不对该内容负责。
    本内容由用户自主发布，如果其内容涉及到知识产权问题，其责任在于用户本人，如对版权有异议，请联系邮箱：xiaomuchong@tal.com
  • 附件 1 : Ernest_G._Manes__(auth.)_Algebraic_Theories.pdf
    • 2016-01-01 11:00:57, 16.28 M

» 收录本帖的淘帖专辑推荐

Allen的英文原版+百科 计算数学与经济统计 Allen的数学

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助:
1楼 2016-01-01 11:01:38
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
简单回复
7528792902楼
2016-01-01 14:27   回复  
五星好评  顶一下，感谢分享！
xmc1411183楼
2016-01-01 16:57   回复  
五星好评  顶一下，感谢分享！
ha16684楼
2016-01-02 01:06   回复  
五星好评  顶一下，感谢分享！
neuqyj5楼
2016-01-02 08:48   回复  
五星好评  顶一下，感谢分享！
anmingkang6楼
2016-01-02 09:14   回复  
五星好评  顶一下，感谢分享！
peterflyer7楼
2016-01-03 10:57   回复  
五星好评  顶一下，感谢分享！
FMStation8楼
2016-01-03 16:14   回复  
五星好评  顶一下，感谢分享！
tianwk9楼
2016-01-04 00:02   回复  
五星好评  顶一下，感谢分享！
Quan.10楼
2016-01-04 05:15   回复  
五星好评  顶一下，感谢分享！
lantianbihb11楼
2016-01-04 11:42   回复  
五星好评  顶一下，感谢分享！
qiao1912楼
2016-01-26 14:30   回复  
五星好评  顶一下，感谢分享！
tianwk13楼
2024-12-19 15:39   回复  
顶一下，感谢分享！
Giant9514楼
2024-12-20 07:39   回复  
五星好评  顶一下，感谢分享！
相关版块跳转 我要订阅楼主 maojun1998 的主题更新
141/1返回列表
☆ 无星级 ★ 一星级 ★★★ 三星级 ★★★★★ 五星级
普通表情 龙 兔 虎 猫 高级回复 (可上传附件)
信息提示
关闭
请填处理意见
关闭