The commutative diagram, which defines a property required by morphisms of the original category, so that they can be morphism of the newly defined category of F-algebras
日付
Wed Aug 29, 2007
原典
self-made: made using LaTeX, its amscd and amsmath packages. Screen shot acquired and conversion to png made by GIMP.
{{Information |Description=The commutative diagram, which defines a property required by morphisms of the original category, so that they can be morphism of the newly defined F-algebra |Source=self-made: made using LaTeX, its amscd and masmath packages. S