圏論には「ファンクター」から入ろう

What do you want to download?

You can either download the .ggb file alone or the complete webpage for students with tasks.

I agree to the terms of GeoGebra's non-commercial licence

• Offline Activity (.zip)

• GeoGebra Files

  1. ６の約数圏 (.ggb)
     
  2. 自然変換φの図式が可換 (.ggb)
     
  3. データ圏をファンクターを使って、Maybe圏またはEither圏へ持ち上げる (.ggb)