Какие категории описывают реляционные языки?

Question

Я читал, что лямбда-исчисление является языком декартовых замкнутых категорий.

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

Итак, какие категории описывают реляционные языки?