找回密碼
 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ù) 返回頂部 返回列表
辽阳县| 谢通门县| 舒兰市| 宜昌市| 略阳县| 大姚县| 宜丰县| 章丘市| 额济纳旗| 永平县| 仙居县| 柞水县| 铁力市| 开远市| 桓台县| 青龙| 安塞县| 湖州市| 宝兴县| 右玉县| 乐陵市| 高要市| 正定县| 广德县| 龙州县| 特克斯县| 微山县| 麻江县| 崇文区| 安达市| 高密市| 从化市| 德江县| 乌什县| 屏东市| 平陆县| 珲春市| 潜江市| 璧山县| 文山县| 潞西市|