【圏論】普遍随伴の2圏的な証明【Kan拡張】

Поделиться
HTML-код
  • Опубликовано: 29 ноя 2024

Комментарии • 1