找回密碼
 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) 大講堂 北京大學(xué) Oxford Uni. Harvard Uni.
發(fā)展歷史沿革 期刊點(diǎn)評 投稿經(jīng)驗(yàn)總結(jié) SCIENCEGARD IMPACTFACTOR 派博系數(shù) 清華大學(xué) Yale Uni. Stanford Uni.
QQ|Archiver|手機(jī)版|小黑屋| 派博傳思國際 ( 京公網(wǎng)安備110108008328) GMT+8, 2025-10-20 01:02
Copyright © 2001-2015 派博傳思   京公網(wǎng)安備110108008328 版權(quán)所有 All rights reserved
快速回復(fù) 返回頂部 返回列表
娱乐| 阿克陶县| 清河县| 科技| 平昌县| 信宜市| 松原市| 濉溪县| 咸宁市| 奉新县| 安平县| 贞丰县| 田林县| 柳江县| 兴安盟| 会东县| 怀仁县| 石渠县| 浑源县| 宣化县| 盘锦市| 枣强县| 盘山县| 闸北区| 洞口县| 靖江市| 新余市| 广安市| 封丘县| 海阳市| 富锦市| 阳泉市| 广元市| 许昌市| 原平市| 沽源县| 水富县| 礼泉县| 漯河市| 遵化市| 增城市|