Equivalence relation Reflexiveかつsymmetricかつtransitiveなbinary relationのこと。 Trivial equivalence relation は、equivalence relation on 。 Equivalence class Equivalence relation on : について、 を、equivalence class of modulo といい、 …

Pullback Productは、diagram: のlimitだったが、それにちょっと加えたdiagram: のlimitを と のpullbackという。 参考文献 isbn:0262660717

Equalizer Diagram: のlimitを と のequalizerという。Coneのnaturalityが を表している。 命題 参考文献 equalizer in nLab

Forgetful functor 等は習ったが、 一般の場合の定義は難しいらしい。 Free object forgetful functor: -object: について、free object on とは、 comma category のinitial objectのこと。つまり、initial morphism: のこと。 -object から一番シンプルに…

Faithful functor Functor について、function が、 を満たすとき、functor をfaithful functorという。 Full functor なるfunctor のこと。 Fully faithful functor Fullかつfaithfulなfunctorのこと。 命題 参考文献 isbn:0199237182 Concrete category - …

Constructorとextractorがきっちり対応してないのがくやしい？感じである。 reifyやspliceは、q"..${x}.."が便利なので使わなくていいかもしれない。 当たり前？かも知れないが、型に相当するTree*1は、単独ではtypeCheckできない。 c.TYPEmodeが使える。 参…