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