Move InfiniteTriangle Library to subfolder
Ignore Coq's output files
Make file compile with Coq HEAD
Unicode-friendly notations
Notations for category theory
Category definition
Functor definition
Relative Comonad definition
Category of Coq's type
Category of setoids
Free functor [ type --> setoid ]
Redecoration is a relative comonad