КВАНТОРЫ КАК СИТУАЦИЯ СОПРЯЖЕНИЯ

И.Э. Егорычев
Автор в своей статье исходит из убеждения, что ситуация сопряжения является одной из фундаментальных в теории категорий. Именно данная неожиданно глубокая идея выдающегося математика Уильяма Ловера, что все логические операции должны возникать как сопряжение к некоторым базовым функторам между категориями, убедила в свое время математиков в том, что категорный анализ логики может оказаться чрезвычайно продуктивным и правильным. Попытка такого анализа применительно к логическим кванторам существования и всеобщности осуществляется в данной статье.
This data center is not currently reporting usage information. For information on how your repository can submit usage information, please see our Documentation.