T代數

T代數為範疇論的一個概念。

基本介紹

• 中文名：T代數
• 外文名：T-algebra
• 所屬學科：範疇論

定義

設T=<T,η,μ>為範疇X的單子，T代數為<x,h>，其中x為X的對象，h:Tx→x為X的態射（稱為代數的結構映射），滿足結合律h∘Th=h∘μ_x與單位律hη_x=1。

性質

T代數的態射f:<x,h>→<x',h'>為態射f:x→x'滿足Tf·h=h'·f。

任意單子由其T代數定義。