Ситуация сопряжения и категорные основания логики

Аннотация

Автор в своей статье исходит из убеждения, что ситуация сопряжения является одной из фундаментальных в теории категорий. Автор последовательно демонстрирует, что существование сопряженных функторов к некоторым элементарым функторам тождественно фиксированию некоторой логической структуры и логических ресурсов. Именно данная неожиданно глубокая идея выдающегося математика Уильяма Ловера, что все логические операции должны возникать как сопряжение к некоторым базовым функторам между категориями, убедила в свое время математиков в том, что категорный анализ логики может оказаться чрезвычаийно продуктивным и правильным. В данной статье попытка такого анализа предпринимается, в частности, с целью прояснения природы логических кванторов существования и всеобщности.