cats icon indicating copy to clipboard operation
cats copied to clipboard

Published 20 hours ago • verified publisher icon JLimperg
→

Metadata

Category Theory in Agda. Learning exercise, not for public consumption.

Category Theory in Agda

Build Status

This is a formalisation of some standard notions of category theory in Agda. Some of the definitions are stolen from John Wiegley's similar effort in Coq. Don't expect anything to be 'production-ready' in any sense.

Dependencies

  • Agda 2.6.1
  • agda-stdlib 1.3

← Metadata

21
Stars
1
Forks
Watchers

Owner

verified publisher icon JLimperg

Metadata

Category Theory in Agda. Learning exercise, not for public consumption.

Back