?初始代数
如果C是一类?代数并且A?C，若对每个B?C，存在唯一的同态h : A ?B，那么A在C中叫做初始代数（initial algebra）。如果把同态h : A ?B看成是从A到B的一个翻译，那么初始代数是“典型”的，因为可以把初始代数“翻译”到该类中的所有其它代数。
初始数学模型
The company also draws on generative programming to automate some parts of code writing and on intentional programming, which captures a programmer's initial design plans as code, in a more natural form than binary algebra.
FORBES: Innovators
英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。