module index where

import Egads.Category
import Egads.Category.Adjunction
import Egads.Category.Endofunctor
import Egads.Category.Epimorphism
import Egads.Category.Functor
import Egads.Category.Groupoid
import Egads.Category.Hom
import Egads.Category.Isomorphism
import Egads.Category.Lift
import Egads.Category.Monoidal
import Egads.Category.Monoidal.Cartesian
import Egads.Category.Monoidal
import Egads.Category.Monomorphism
import Egads.Category.NaturalTransformation
import Egads.Category.Op
import Egads.Category.Product
import Egads.Category.Setoid
import Egads.Category.SmallCategories
import Egads.Category.Thin
import Egads.Category.Unit

import Egads.EnrichedCategory

import Egads.2Category

import Egads.Order
import Egads.Structure

import Relation.Binary.Prop
