Category.v -> UnivalentCategory.v

This gives us better control over what shows up in [Require Import
Category.].

Time     | File Name
------------------------------------------------
0m16.96s | Category/Equality
0m10.72s | Comma/Duals
0m09.55s | Groupoid
0m07.75s | Comma/InducedFunctors
0m05.22s | Category/Morphisms
0m04.30s | SumPreCategory
0m04.27s | Functor/Equality
0m04.02s | Groupoid/Duals
0m03.90s | Groupoid/Functors
0m03.46s | UniversalProperties
0m02.62s | Grothendieck/ToSet
0m02.55s | BoolCategory
0m02.38s | Comma/CommaCategory
0m01.94s | NaturalTransformation/Duals
0m01.85s | NaturalTransformation/Equality
0m01.73s | Category/Product
0m01.68s | Hom
0m01.50s | NaturalTransformation/Product
0m01.43s | NaturalTransformation/Composition
0m01.17s | NaturalTransformation/CompositionLaws
0m01.16s | Functor/Product
0m01.08s | NaturalTransformation/Isomorphisms
0m01.06s | FunctorCategory/Morphisms
0m00.75s | Cat/Morphisms
0m00.58s | InitialTerminalCategory
0m00.48s | Functor/CompositionLaws
0m00.45s | Comma/Projection
0m00.35s | Common
0m00.33s | FunctorCategory
0m00.33s | Discrete/Duals
0m00.30s | IndiscreteCategory
0m00.29s | NaturalTransformation/Identity
0m00.29s | Cat
0m00.28s | SetCategory
0m00.27s | Functor/Composition
0m00.26s | Functor/Duals
0m00.25s | Adjoint/UnitCounit
0m00.23s | NaturalTransformation/Core
0m00.22s | Category/Objects
0m00.22s | IsGroupoid
0m00.22s | NatCategory
0m00.18s | NaturalNumbersObject
0m00.17s | Category/Duals
0m00.16s | Category/Core
0m00.16s | NatCategory/Duals
0m00.16s | ComputableCat
0m00.12s | DiscreteCategory
0m00.12s | Peano
0m00.11s | Functor/Core
0m00.11s | Utf8
0m00.11s | Grothendieck
0m00.10s | NaturalTransformation
0m00.10s | Functor
0m00.09s | Category/UnivalentCategory
0m00.08s | Category
0m00.08s | Category/StrictCategory
0m00.07s | Functor/Identity
0m00.06s | Notations
0m00.02s | NotationsUtf8
------------------------------------------------
1m40.39s | Total