版块导航: 正在加载中...

登录注册

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

24小时热门版块排行榜

返回列表

【奖励】本帖被评价12次，作者maojun1998增加金币 9.6 个

maojun1998

银虫 (正式写手)

数学EPI: 1
应助: 16 (小学生)
金币: 460.3
帖子: 664
在线: 169.3小时
虫号: 3338525

[资源] 【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

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 的主题更新

返回列表

☆ 无星级 ★ 一星级 ★★★ 三星级 ★★★★★ 五星级

普通表情龙兔虎猫高级回复 (可上传附件)

24小时热门版块排行榜

maojun1998

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

» 本帖附件资源列表

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

» 猜你喜欢

» 本主题相关价值贴推荐，对您同样有帮助: