FiniteSetSkeleton.v
IndexedSetCategory.v

AlgebraicTheoryCategoryCore.v
AlgebraicTheories.v
AlgebraicTheoryMorphisms.v
AlgebraicTheoryCategory.v

AlgebraCategoryCore.v
Algebras.v
AlgebraMorphisms.v
AlgebraCategory.v

LambdaCalculus.v
LambdaTheoryCategoryCore.v
LambdaTheories.v
LambdaTheoryMorphisms.v
LambdaTheoryCategory.v

PresheafCategoryCore.v
Presheaves.v
PresheafMorphisms.v
PresheafCategory.v

Examples/EndomorphismTheory.v
Examples/FreeObjectTheory.v
Examples/FreeMonoidTheory.v
Examples/FreeTheory.v
Examples/LambdaCalculus.v
Examples/OnePointTheory.v
Examples/Plus1Presheaf.v
Examples/ProjectionsTheory.v
Examples/TheoryAlgebra.v
Examples/ExtensionsTheory.v

AlgebraicTheoryToLawvereTheory.v
AlgebraicTheoryToMonoid.v

Combinators.v
CategoryOfRetracts.v
OriginalRepresentationTheorem.v

RepresentationTheorem.v

FundamentalTheorem/SurjectivePrecomposition.v
FundamentalTheorem/CommonUtilities/KaroubiEnvelope.v
FundamentalTheorem/CommonUtilities/MonoidActions.v
FundamentalTheorem/AlgebraToTheory.v
