Я читал, что лямбда-исчисление является языком декартовых закрытых категорий.
Насколько я понимаю, реляционные языки, такие как minikanren или (частично) пролог, будут тогда работать с этими, но также и с другими категориями (посколькуфункции являются частным случаем отношений).Знание об этом поможет мне понять, что эти языки могут сделать для меня, а другие не могут.
Итак, какие категории описывают реляционные языки?