《么半群、作用和範疇》是2016年世界圖書出版公司出版的著作,作者是[愛沙尼亞] M.吉爾普,[德] U.諾爾 。
基本介紹
- 中文名:么半群、作用和範疇
- 作者:[愛沙尼亞] M.吉爾普、[德] U.諾爾
- 出版社: 世界圖書出版公司
- 出版時間:2016年12月01日
- 定價:119 元
- 開本:16 開
- 裝幀:平裝
- ISBN:9787519214722
《么半群、作用和範疇》是2016年世界圖書出版公司出版的著作,作者是[愛沙尼亞] M.吉爾普,[德] U.諾爾 。
《么半群、作用和範疇》是2016年世界圖書出版公司出版的著作,作者是[愛沙尼亞] M.吉爾普,[德] U.諾爾 。內容簡介 這本書的第一部分為學習么半群、作用、變形、一致和非交換類別的學生提供了一個相對獨立和寬泛的角度。同時這本書...
也稱G作用在X上。範疇論定義 么半群對B中對象a的左作用為B中態射ν:c◻a→a,滿足 ν∘μ◻1∘α=ν∘1◻ν,ν∘η◻1=λ。單子與代數 設G為(小)群,則對任何(小)集X,有x∈X,g₁,g₂∈G,u...
么半群為只有一個對象的範疇。群為每個態射在複合下都是可逆的么半群。一個廣群是一個範疇,滿足其中任意態射都是同構。任意一個偏序集構成一個範疇 ,對象是 中的元素,存在一個從 到 的態射若且唯若 。恆等態射和態射的複合由...
①利用半格和可消么半群在半格上的作用,構造了適當半群的P-半群結構P(T,Y)。證明了P(T,Y)是唯一的,因為它是Ehresmann么半群的一個適當類別中的初始對象。②通過定義在雙續集集上的廣義範疇來刻畫U-一致半群。證明了U-...
在數學和計算機科學中,半自動機或M-act是么半群在集合上的乘法性運算。從代數結構的觀點來看,它非常接近於群作用的概念。從計算機科學的觀點來看,它是只有輸入沒有輸出的自動機。從範疇論的觀點來看,作用是如範疇上的函子般重要。...
的格羅滕迪克群。環的定義 麼環R的格羅滕迪克群K₀(R)為R上有限生成投射模同構類的交換么半群ProjR的格羅滕迪克群。冪等矩陣定義 則R上一般線性群GL(R)作用在R上冪等矩陣集Idem(R)上的共軛軌道的集合即ProjR,K₀(R)為ProjR的...
此時這類範疇間的函子無非是么半群間的同態。在此意義下,任意範疇間的函子可被視為是么半群同態至多於一個對象的範疇的一種廣義化。表示 設D有小態射集。則函子K:D→Set的表示為對,其中r為D的對象,ψ:D(r,-)K為自然...
9.7量子程式語義的範疇論詮釋 9.8量子可逆計算和不可逆計算 9.8.1刻畫可逆計算的嚴格廣群語義 9.8.2刻畫不可逆計算的么半群範疇語義 9.8.3函式式量子語言QML及其可逆化操作語義 9.8.4從不可逆計算到可逆計算:pGCL語言的可逆化...