F-coalgebra
هم‌جبر اف
نظریه اتومات‌ها
automata theory
هم‌جبر نهایی
final coalgebra
تابعگون
functor