@nikitonsky only if your analogy of choice is Unicode

@nikitonsky Sure.

@nikitonsky totally!

@nikitonsky Да, если сможешь объяснить, почему при построении категории, где объекты - типы данных, а морфизмы - функции, из варианта типизированного лямбда-исчисления на комбинаторах получается замкнутая симметричная моноидальная категория (подобно Hilb, где где объекты - конечномерные гильбертовы пространства с обычным тензорным произведением, а морфизмы - линейные операторы), но не декартова, каковой является Set.

@nikitonsky Hey. Don't you think the font needs to be a bit bigger?