_CoqProject

-R . Category
Lib.v
Lib/Foundation.v
Lib/Setoid.v
Lib/Tactics.v
Lib/Datatypes.v
Lib/Equality.v
Lib/FMapExt.v
Lib/Nomega.v
Lib/MapDecide.v
Lib/IList.v
Lib/TList.v
Lib/NETList.v
Lib/Tree.v
Theory/Category.v
Theory/Metacategory.v
Theory/Metacategory/Graph.v
Theory/Metacategory/ArrowsOnly.v
Theory/Metacategory/DecideExample.v
Theory/Morphisms.v
Theory/Isomorphism.v
Theory/Unique.v
Theory/Functor.v
Theory/Functor/Endo.v
Theory/Naturality.v
Theory/Natural/Transformation.v
Theory/Dinatural.v
Theory/Adjunction.v
Theory/Monad.v
Theory/Kan/Extension.v
Theory/Universal/Arrow.v
Theory/Sheaf.v
Construction/Product.v
Construction/Product/Comma.v
Construction/Coproduct.v
Construction/Comma.v
Construction/Slice.v
Construction/Arrow.v
Construction/Opposite.v
Construction/Groupoid.v
Construction/Subcategory.v
Construction/Comma/Natural/Transformation.v
Construction/Comma/Isomorphism.v
Construction/Cayley.v
Construction/Comma/Adjunction2.v
Construction/Comma/Adjunction.v
Construction/Comma/Adjunction/Lib.v
Structure/Discrete.v
Structure/Terminal.v
Structure/Cartesian.v
Structure/Cartesian/Product.v
Structure/Initial.v
Structure/Cocartesian.v
Structure/Bicartesian.v
Structure/Distributive.v
Structure/Closed.v
Structure/Closed/Product.v
Structure/BiCCC.v
Structure/Constant.v
Structure/Monoidal.v
Structure/Monoidal/Naturality.v
Structure/Monoidal/Proofs.v
Structure/Monoidal/Cartesian.v
Structure/Monoidal/Cartesian/Proofs.v
Structure/Monoidal/Cartesian/Cartesian.v
Structure/Monoidal/Composition.v
Structure/Monoidal/Internal/Product.v
Structure/Monoidal/Product.v
Structure/Monoidal/Relevance.v
Structure/Monoidal/Semicartesian.v
Structure/Monoidal/Semicartesian/Proofs.v
Structure/Monoidal/Semicocartesian.v
Structure/Monoidal/Symmetric.v
Structure/Monoidal/Braided.v
Structure/Monoid.v
Structure/Group.v
Structure/Group/Proofs.v
Structure/Cone.v
Structure/Cone/Natural/Transformation.v
Structure/Cone/Const.v
Structure/Limit.v
Structure/Limit/Kan/Extension.v
Structure/Limit/Universal/Arrow.v
Structure/Complete.v
Structure/Wedge.v
Structure/End.v
Structure/Equalizer.v
Structure/Span.v
Structure/Pullback.v
Structure/Pullback/Limit.v
Instance/Cat.v
Instance/Cat/Cartesian.v
Instance/Cat/Cocartesian.v
Instance/Cat/Closed.v
Instance/Zero.v
Instance/One.v
Instance/One/Diagonal.v
Instance/Two.v
Instance/Two/Discrete.v
Instance/Parallel.v
Instance/Roof.v
Instance/Fun.v
Instance/Adj.v
Instance/Adjoints.v
Instance/Coq.v
Instance/Coq/Applicative.v
Instance/Coq/Monad.v
Instance/Sets.v
Instance/Sets/Cartesian.v
Instance/Sets/Cocartesian.v
Instance/Sets/Closed.v
Instance/Props.v
Instance/Rel.v
Instance/Ens.v
Instance/AST.v
Instance/Proset.v
Instance/Poset.v
Instance/Cones.v
Instance/Cones/Limit.v
Instance/Cones/Comma.v
Instance/Finite.v
Instance/Finite/Span.v
Instance/Fact.v
Instance/Lambda.v
Functor/Opposite.v
Functor/Applicative.v
Functor/Hom.v
Functor/Hom/Internal.v
Functor/Hom/Yoneda.v
Functor/Bifunctor.v
Functor/Diagonal.v
Functor/Product.v
Functor/Product/Internal.v
Functor/Coproduct.v
Functor/Construction/Product.v
Functor/Representable.v
Functor/Strong.v
Functor/Structure/Monoidal.v
Functor/Structure/Monoidal/Id.v
Functor/Structure/Monoidal/Compose.v
Functor/Structure/Monoidal/Pure.v
Functor/Traversable.v
Functor/Structure/Cartesian.v
Functor/Structure/Closed.v
Functor/Structure/Constant.v
Functor/Structure/Terminal.v
Functor/Traversable/Product.v
Functor/Strong/Product.v
Functor/Construction/Product/Strong.v
Functor/Construction/Product/Monoidal.v
Natural/Transformation/Opposite.v
Natural/Transformation/Monoidal.v
Natural/Transformation/Strong.v
Natural/Transformation/Applicative.v
Adjunction/Hom.v
Adjunction/Natural/Transformation.v
Adjunction/Natural/Transformation/Universal.v
Adjunction/Natural/Transformation/Opposite.v
Adjunction/Opposite.v
Adjunction/Diagonal/Product.v
Monad/Adjunction.v
Monad/Monoid.v
Monad/Distributive.v
Monad/Composition.v
Monad/Transformer.v
Monad/Kleisli.v
Monad/Algebra.v
Monad/Eilenberg/Moore.v
Algebra/Basic.v
Algebra/Monoid.v
Tools/Abstraction.v
Tools/Represented.v
Solver/Tactics.v
Solver/Env.v
Solver/Expr.v
Solver/Denote.v
Solver/Arrows.v
Solver/Partial.v
Solver/Decide.v
Solver/Reflect.v
Solver/Reify.v
Solver/Normal.v
Solver/Categories.v
Theory.v