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

Это вполне возможно сделать и сегодня, в любой предметной области. Нужно просто ставить задачу и решать её. Чтобы процесс пошел, нужен какой-то жизненный цикл - реализовать очередную версию методики/дидактики, проверить ее работу на реальных обучаемых, проанализировать результат, ввести исправления в новую версию, повторить. Во всяких ЖЦ Вы разбираетесь лучше меня))). Ключевой момент - реальные обучаемые, без них работа не пойдет - мы пока не умеем технологически штамповать эффективные практики обучения, у нас только есть отдельные примеры таких практик. В случае со школьной алгоритмикой, когда “вся страна вдруг начала учить информатику”, новые версии дидактики обкатывали, как я понимаю, в массовом порядке. Или я опять попал впросак? Тут я сместил акценты с момента формирования самой группы, но он тоже есть. Чтобы “ставить задачу и решать”, нужно, чтобы кто-то столкнулся с этой задачей. Ситуация же такова, - я сужу по обсуждениям, ссылки на которые висят выше, - что на данный момент никто из проф-математиков в таком занятии не видит ни возможности, ни необходимости. ТК рассматривают как ориентированный исключительно на внутриматематическую деятельность аппарат. Увы. Мне кажется, что есть более простой путь: через диаграммные поначалу, а потом текстовые модельные среды, где решаются задачи теории категорий -- примерно так же, как это происходит с треугольниками в геометрии и роботом в программировании. Да, диаграммные головоломки -- от простых к сложным, с сообщением терминов, позволяющих эти головоломки обсуждать. Что такое “текстовые модельные среды”? Подразумевается компьютерная среда или текстовые задачи? Дошли до конкретики - какие 300 головоломок. Тут у нас больше вопросов, чем ответов. Тех же, что и с алгоритмикой - чему мы хотим научить, и как. Диаграммная нотация - важная часть ТК, без нее неудобно (“Вдруг я получаю от своего корреспондента вопль души: «Диаграмму! Полцарства за диаграмму!»”). Но к диаграммам тоже надо привыкать! Может лучше начинать не с них, а с содержательной части? В той же алгоритмике конкретный синтаксис был препятствием для дошкольников. Какими должны быть первые шаги - умение оперировать диаграммами (еще без знания категорной аксиоматики; но что можно без аксиоматики с ними делать?) как формальной системой (нематематикам трудно работать с формальными системами без заданной семантики, их мотивирует семантика/прагматика) или конкретные примеры категорий (какие? сложение можно объяснять на яблоках, придумать категорию на яблоках затруднительно; начала анализа - пределы/производные - в школе излагают полуформально, без яблок, но и без матлогики). Классическим путем для подбора задач было бы рассмотрение категории множеств и отображений, изучение свойств отображений на языке диаграмм, и перенос этого всего на другие категории. Но будет ли такой путь оптимальным для нематематиков? Сомневаюсь.