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

Directory listing for FiniteCategories-0.5.0.0 source tarball

FiniteCategories-0.5.0.0/

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