Без заголовка

Я пока не понимаю, как это сделать, но как-то сделать это нужно. Поэтому мне глубоко симпатичные идеи о переописании больших кусков разных наук с использованием идей категорной логики (например, http://algebraic-brain.livejournal.com/41205.html -- это чтобы понимать, каковы идеи). Другое дело, что сама категорная логика постоянно перетрактуется в терминах других разделов математики, и поэтому там место путаное изначально. Есть кстати несколько проектов формализации математики на языке логики, как ФОЛ так и ХОЛ. В том числе и движение конструктивной математики, на данный момент, думаю неотделимо от формализации в конструктивной логике.