-R . Cat

./Category/Cut_NT.v
./Category/RComod.v
./Category/RComonad.v
./Category/RComonadWithCut.v
./Category/RComonad_RComonadWithCut.v
./Category/Setoids.v
./Category/Types.v
./Category/Types_Setoids.v
./Misc/Unicode.v
./Theory/CartesianStrongMonoidal.v
./Theory/Category.v
./Theory/Comodule.v
./Theory/Functor.v
./Theory/InitialTerminal.v
./Theory/Isomorphism.v
./Theory/NaturalTransformation.v
./Theory/Notations.v
./Theory/PrecompositionWithProduct.v
./Theory/Product.v
./Theory/PushforwardComodule.v
./Theory/RelativeComonad.v
./Theory/RelativeComonadWithCut.v
./Theory/SetoidType.v

./Category/TriMat/Category.v
./Category/TriMat/Axioms.v
./Category/TriMat/Terminality.v
./Category/TriMat/Model.v

./Category/Stream/Category.v
./Category/Stream/Axioms.v
./Category/Stream/Terminality.v
./Category/Stream/Model.v

./Category/Diag.v