جبر آغازین
initial algebra
رسته
category
F-algebra
اف-جبر