之前,我寫過,學完范疇論,基本的代數(shù)結構就完全掌握了,看似是在說大話,畢竟代數(shù)的種類那是不可勝數(shù),群環(huán)域模,向量張量,矩陣,函數(shù),函數(shù)變換,算子...
投稿
之前,我寫過,學完范疇論,基本的代數(shù)結構就完全掌握了,看似是在說大話,畢竟代數(shù)的種類那是不可勝數(shù),群環(huán)域模,向量張量,矩陣,函數(shù),函數(shù)變換,算子...
單純的范疇有些過于單薄了,所容納的運算有點少,于是,在基本的范疇結構上又開始添加上一系列的限定詞,幺半范疇,笛卡爾范疇,閉范疇,緊范疇,笛卡爾閉...
這個系列差不多有三個月了吧,總算是把這書初步看了一遍。不禁唏噓,這書是去年年初開始看的,也是因緣際會所得,最初是一個公眾號推薦的,說這個多么多么...
將兩范疇之間的函子視為對象,函子間的自然變換視為箭頭就可以構成函子范疇,這樣的范疇是范疇上的范疇,往往稱為純粹的范疇論,高度抽象,難以理解。 不...
自然變換將定義在兩個范疇間的一個函子變?yōu)榱硪粋€函子,因為函子本身是將一個范疇中的對象和箭頭映到另一個范疇中的對象和箭頭,所以對于不同的函子而言,...
有一個疑問,余對角函子是忠實的,但不是箭頭單的,這個結論如何得到呢? 函子一般而言總是稱協(xié)變函子與反變函子,可以視為,協(xié)變函子由一個范疇到另一個...
邏輯或者數(shù)理邏輯,是數(shù)學的根基,集合論其實是在邏輯規(guī)則上的一個理論。所以,在處理真類時,盡管集合論不能使用了,但邏輯仍可以使用。將真類視為命題變...
完備性,出自分析或者說是拓撲,實數(shù)集的完備性就是最小上界公理,反映的是某種極限的存在,相對于所有的上界,最小的那一個。這種完備性還可以通過柯西序...
回顧一下函子的性質(zhì),他是一種保持范疇結構的映射,從定義域范疇到陪域范疇。 在這種基礎上,可以根據(jù)函子對更高級結構的保持而定義出保持某種結構的函子...
指數(shù)是范疇中另一個重要的結構,本身的思想來源就是lambda抽象,λx.t,t為一個項,這個式子的意思是,輸入x就輸出t,于是算符λx.的含義就...