Категорные вычислительные системы
Ключевые слова:
вычисление, категория, топосАннотация
Эта статья является второй (первая — [1]) в ряду, цель которого состоит в том, чтобы развить существенно новый способ построения теории категорных вычислений. Обращение к этой теме вызвано желанием рассмотреть определенные глубокие проблемы, возникающие при изучении теорий пространства и времени в квантовой и математической биологии. Топос — особый тип категории. Топосный подход к формулировке теорий информатики создает новую форму логики в информатике. Мы представляем логику этой топосной информатики, включая некоторые новые результаты, и сравниваем ее со стандартной интуиционисткой логикой, обращаясь к концептуальным проблемам. Важно, что топосная логика информатики идет с ясным геометрическим подкреплением.
Библиографические ссылки
Gritsak–Groener V. V., Gritsak–Groener Julia. A Categorical Model of Neurosystem // Proceedings of the 1996 International Conference on Parallel and Distributed Processing Techniques and Applications, Sunnnyvale Hilton, California, USA, August 9-11. — 1996. — P. 1610–1613.
Gritsak–Groener V. V. Logics and Category Theory for Natural Science- Kyjiv: SVITOZIR -ACADEMIA, 1995.-322 p.
Gritsak–Groener V. V., Gritsak–Groener Julia. Art Combinatoria
Gritsak–Groener V. V., Proceedings of AN Ukraine, 1988, N2
Gritsak–Groener V. V., Foundations of Mathematical Cybernetics,vol.1, 2004.
Gritsak–Groener V. V., Foundations of Mathematical Cybernetics,vol.2, 2005.
Valery V.Gritsak–Groener, Julia Gritsak–Groener, Hamid R. Arabnia, Modern Mathematical Biology, 2006.
