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

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

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