2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Теория категорий и теория топосов
Сообщение28.07.2005, 15:34 


28/07/05
2
Данная тема включает в себя практические приложения категорий и топосов. Например, для проектирования программного обеспечения.

Сразу встречный вопрос. Кто-нибудь этим занимался?
Удачно? :wink:

 Профиль  
                  
 
 Да
Сообщение24.08.2005, 14:30 


24/08/05
1
Теория категорий весьма успешно применяется в computer science. Если есть интерес к этому направлению - см. сайты
http://www.cwru.edu/artsci/math/wells/pub/ctcs.html
http://www.mta.ca/~cat-dist/categories.html

 Профиль  
                  
 
 
Сообщение25.08.2005, 08:30 


28/07/05
2
Спасибо.
Буду разбираться.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Модераторы: Karan, Toucan, PAV, maxal, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group