The category SET is also a cartesian closed category, meaning that the function-space construct or the internal hom-functor is very well behaved.
このカテゴリSETは閉カルテシアンカテゴリでもある。その意味は、関数-空間構成または内部的ホム-ファンクタが非常に良く振舞うということである。 - コンピューター用語辞典
An affine algebraic group over a field k is a representable covariant functor from the category of commutative algebras over k to the category of groups such that the representing algebra is finitely generated. 体k上のアフィン代数群とは、k上の可換多元環の圏から群の圏への表現可能な共変関手で、有限生成な多元環によって表現される。 - Tatoeba例文
例文データの著作権について
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.