Subdivision Category について
CWM は 圏論の基礎のこと。
@taiki45 ε( ε^o^)э CWM p.224にあるでし〜 S:Cop \prod C -> Xのendとsubdivision catでのS^$のlimitが同型なんでし〜〜〜
— みょん (@myuon_myon) 2014, 2月 3@taiki45 ε( ε^o^)э めっちょざっくり言うと、ある圏にf:b->cって射があったら、このことからf,b,cが対象でb->f, c->fを射にもつ圏が作れるんでし〜 これをもとの圏のsubdivision categoryというんでし〜
— みょん (@myuon_myon) 2014, 2月 3@taiki45 ε( ε^o^)эε( ε^o^)э でしでし〜 実は函手Sのsub. cat.でのlimitとSのendが同型になってなかなか面白いんでし〜〜〜 ε( ε^o^)эε( ε^o^)э
— みょん (@myuon_myon) 2014, 2月 3@taiki45 ε( ε^o^)э そうでしよ〜〜
— みょん (@myuon_myon) 2014, 2月 3