3 commits

Author	SHA1	Message	Date
Floris van Doorn	43cf2ad23d	style(hott): replace all other occurrences of hprop/hset ... They are replaced by either Prop/Set or prop/set	2016-02-22 11:15:38 -08:00
Floris van Doorn	9e492a8771	feat(category): more about adjoint functors ... This commit has multiple unfinished proofs (commented out)	2015-11-16 21:32:09 -08:00
Floris van Doorn	46dba4ee5e	refactor(category): move some files to subfolders, and create file with basic functors	2015-11-08 14:04:59 -08:00