找回密碼
 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ù) 返回頂部 返回列表
莱西市| 开平市| 青神县| 凌海市| 德令哈市| 兴文县| 大悟县| 开鲁县| 聂荣县| 华阴市| 仁化县| 商河县| 丹凤县| 阜宁县| 瑞安市| 长沙县| 黄山市| 铁力市| 安康市| 谢通门县| 邵阳县| 天气| 浙江省| 广南县| 弋阳县| 神农架林区| 巫溪县| 盱眙县| 宣威市| 岑巩县| 界首市| 景洪市| 柏乡县| 孙吴县| 嘉黎县| 拜城县| 湖州市| 深泽县| 遵义市| 乾安县| 信阳市|