Во что обнаружил! http://www.cs.man.ac.uk/~david/categories Подробно ещё не смотрел, но похоже, что это то же самое, что делает ivan_ghandhi , только на ML. И топосы, топосы там есть, в отличие от ivan_ghandhi ;-) На всякий случай уточню, "что делает ivan_ghandhi " -- http://docs.google.com/View?docid=dc7rg5cv_24ftbwjrgm read more
