Отличный список в Wikipedia!
Но, кажется его надо дополнить:
Орграфы. 2 сорта: Nodes, Arrows. 2-е полных ф-и: from A:N, to A:N.
Знаменита тем что аксиомы очень простые: 2-е полные функции. Это почти отсутствие аксиом;-)
Отсутствие аксиом (обычно кванторных) хорошо тем что не надо обсуждать "пробег" если кто придёт с "моделью" - как только убедились что у него нечты двух сортов а ф-и полные, то и порядок. Впрочем полнота ф-и как раз идее пробега близка!
Апы, они же нексты. 1 сорт: Node. 1-на полная ф-я: up N:N.
Модели. Конечные: деревья (петля к в корне) и кольца. Бесконечные: нат числа (0,').
Аксиома конечности.
∀x∃y∃n>0∃m>0 upn(x)=y ∧ upm(y)=y.