找回密碼
 To register

QQ登錄

只需一步,快速開始

掃一掃,訪問微社區(qū)

打印 上一主題 下一主題

Titlebook: Categories for the Working Mathematician; Saunders Mac Lane Textbook 1978Latest edition Springer Science+Business Media New York 1978 Adjo

[復(fù)制鏈接]
樓主: 調(diào)停
31#
發(fā)表于 2025-3-26 21:05:18 | 只看該作者
32#
發(fā)表于 2025-3-27 02:57:15 | 只看該作者
Karin Bruckmüller,Ulrich Schrothn a set-theoretical basis in the next section. Hence for this section a category will not be described by sets (of objects and of arrows) and functions (domain, codomain, composition) but by axioms as in § I.1.
33#
發(fā)表于 2025-3-27 08:52:42 | 只看該作者
34#
發(fā)表于 2025-3-27 10:28:22 | 只看該作者
35#
發(fā)表于 2025-3-27 15:38:57 | 只看該作者
36#
發(fā)表于 2025-3-27 21:36:36 | 只看該作者
Organic Opals: Properties and Applicationse abelian groups and composition is bilinear), all finite limits and colimits exist, and these limits — especially kernel and cokernel — are well behaved. This leads to a set of axioms describing an “abelian” category. The axioms suffice to prove all the facts about commuting diagrams and connecting
37#
發(fā)表于 2025-3-27 22:22:27 | 只看該作者
38#
發(fā)表于 2025-3-28 04:18:07 | 只看該作者
Hans van Ditmarsch,Barteld Kooiprincipal result for these categories was a “coherence” theorem: If a certain pentagonal diagram (§VII.1.5) in . commutes, then all diagrams involving this . must commute. We now consider various extensions of this result.
39#
發(fā)表于 2025-3-28 06:47:03 | 只看該作者
40#
發(fā)表于 2025-3-28 13:31:26 | 只看該作者
 關(guān)于派博傳思  派博傳思旗下網(wǎng)站  友情鏈接
派博傳思介紹 公司地理位置 論文服務(wù)流程 影響因子官網(wǎng) 吾愛論文網(wǎng) 大講堂 北京大學 Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點評 投稿經(jīng)驗總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學 Yale Uni. Stanford Uni.
QQ|Archiver|手機版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-20 13:41
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
东兰县| 商南县| 葫芦岛市| 营山县| 克拉玛依市| 教育| 宜黄县| 正阳县| 株洲市| 勃利县| 松阳县| 通榆县| 孝感市| 阜平县| 昌都县| 洛扎县| 宁晋县| 沁阳市| 台北市| 璧山县| 竹溪县| 昌平区| 湟中县| 成武县| 乃东县| 阿合奇县| 海丰县| 平和县| 双城市| 晋宁县| 理塘县| 湾仔区| 永济市| 长垣县| 东阿县| 九龙县| 来凤县| 崇义县| 阜南县| 乾安县| 南平市|