找回密碼
 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ù) 返回頂部 返回列表
宜阳县| 稷山县| 襄城县| 七台河市| 连南| 沾益县| 乌什县| 岳阳县| 贵定县| 上虞市| 当阳市| 荥经县| 朝阳区| 岚皋县| 凤庆县| 竹溪县| 东宁县| 博客| 屏山县| 莆田市| 甘泉县| 山东省| 宝鸡市| 萝北县| 三穗县| 盘山县| 察隅县| 阜新市| 阳东县| 红桥区| 泰顺县| 田东县| 玛沁县| 贡山| 扬州市| 临沭县| 江津市| 富民县| 犍为县| 桐梓县| 兴安县|