• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for FiniteCategories-0.6.5.1 source tarball

FiniteCategories-0.6.5.1/

• CHANGELOG.md
• FiniteCategories.cabal
• LICENSE
• Readme.md
• src/
  • Math/
    • CartesianClosedCategory.hs
    • Categories.hs
    • Category.hs
    • CocompleteCategory.hs
    • CompleteCategory.hs
    • FiniteCategories.hs
    • FiniteCategory.hs
    • FiniteCategoryError.hs
    • Functors.hs
    • Categories/
      • CommaCategory.hs
      • ConeCategory.hs
      • FinCat.hs
      • FinGrph.hs
      • FinSet.hs
      • FinSketch.hs
      • FunctorCategory.hs
      • Galaxy.hs
      • Omega.hs
      • Opposite.hs
      • OrdinalCategory.hs
      • PresheafCategory.hs
      • TotalOrder.hs
    • FiniteCategories/
      • All.hs
      • ColimitCategory.hs
      • CommaCategory.hs
      • CompositionGraph.hs
      • ConeCategory.hs
      • DiscreteCategory.hs
      • DiscreteTwo.hs
      • Ens.hs
      • Examples.hs
      • ExponentialCategory.hs
      • FullSubcategory.hs
      • FunctorCategory.hs
      • Hat.hs
      • LimitCategory.hs
      • NumberCategory.hs
      • One.hs
      • Opposite.hs
      • Parallel.hs
      • SafeCompositionGraph.hs
      • Square.hs
      • Subcategory.hs
      • V.hs
      • CommaCategory/
        • Examples.hs
      • CompositionGraph/
        • Examples.hs
      • ConeCategory/
        • Examples.hs
      • DiscreteCategory/
        • Examples.hs
      • Ens/
        • Examples.hs
      • FinCat/
        • Examples.hs
      • FinGrph/
        • Examples.hs
      • FinSketch/
        • Examples.hs
      • FunctorCategory/
        • Examples.hs
      • LimitCategory/
        • Examples.hs
      • NumberCategory/
        • Examples.hs
      • Opposite/
        • Examples.hs
      • SafeCompositionGraph/
        • Examples.hs
    • Functors/
      • Adjunction.hs
      • DataMigration.hs
      • DiagonalFunctor.hs
      • Examples.hs
      • KanExtension.hs
      • SetValued.hs
      • Adjunction/
        • Examples.hs
      • DataMigration/
        • Examples.hs
      • DiagonalFunctor/
        • Examples.hs
      • KanExtension/
        • Examples.hs
      • SetValued/
        • Examples.hs
      • YonedaEmbedding/
        • Examples.hs
    • IO/
      • PrettyPrint.hs
• test/
  • CheckAllFiniteCategories.hs
  • RunAllExamples.hs
  • FiniteCategoryExamples/
    • CommaCategory.hs
    • CompositionGraph.hs
    • ConeCategory.hs
    • DiscreteCategory.hs
    • Ens.hs
    • FinCat.hs
    • FinGrph.hs
    • FunctorCategory.hs
    • LimitCategory.hs
    • NumberCategory.hs
    • Opposite.hs
    • SafeCompositionGraph.hs
  • FunctorExamples/
    • Adjunction.hs
    • DataMigration.hs
    • DiagonalFunctor.hs
    • KanExtension.hs
    • SetValued.hs
    • YonedaEmbedding.hs