1樓：切我
很簡單，構造乙個滿足除了五邊形公理以外其他么半範疇公理的「自由範疇」就行了。
這個範疇的物件包含單位物件 ，乙個「生成元」物件 ，此外就是 ，，，等由 和二元運算 自由生成的東西。
二元函子 定義如下：；；如果 和 都不是 ，那麼它們兩個的張量積就寫作 。
這個範疇的態射包含哪些呢？除了每個物件都有乙個自身到自身的單位態射以外，我們人為新增一組從 到 可逆態射，讓這些態射通過下面兩種操作生成其他的態射。（除了這幾種態射以外，這個範疇不包含其他的態射。
）態射的復合：態射 和態射 產生乙個態射 ；
態射 和態射 產生乙個態射 。
這裡態射的復合不是完全自由的，它們需要滿足一些交換圖表（寫起來比較繁瑣，這裡略去），使得 是乙個二元函子且 是乙個自然變換。
這樣我們就構造了乙個滿足除了五邊形公理以外其他么半範疇公理的範疇，五邊形公理在這裡不成立。
關於這個例子我有乙個更幾何化的解釋，但最近我沒時間寫。這個回答暫時就這樣吧。
有沒有某種不在人類五感範疇之內，不在人類思維範疇之內的形式存在？語言文字是不是一種對思維的束縛？
王小光 題主你好。我個人是學通訊的，想在這裡表達一下我的看法。首先，人的思維和 感覺 的存在，都源自於人本身的器官。因此，自然也受限於自身的器官。以電磁波舉例子。你所聽到的東西，叫聲波，頻段較低。低於這個頻段的是次聲波，高於這個頻段叫超聲波。你能看到的東西，叫光波，它屬於高頻段的電磁波。也就是說，人...
有沒有耳機既滿足專業監聽？又能無線藍芽降噪？
享受孤單 大饅頭 槍文看多了吧 從本質上監聽跟主動降噪就是衝突的，主動降噪就是用反相聲波抵消外界聲波，音質注定了沒辦法滿足監聽需求。2000買個封閉大耳吧，不過這價位封閉大耳能作為監聽幾乎沒有。建議買開放大耳工作室用，然後入耳耳機室外用，因為大耳外出其實是一件很蛋疼的事情。 netkiller 不能...
型別論和範疇論中有沒有類似集合論中 空集 的概念？
Slow Learner 如果從範疇論角度來說，集合範疇的空集在裡面是initial object,哪在範疇範疇裡面，我記得initial object是空範疇 就是乙個沒有object的範疇 這句話非常可能是錯的，但我確定空集是所有集合組成的範疇的initial object,所以照理來說你只要找...