README.agda

module README where

import Data.Ordinal
import Data.Monoid

import Category
import Functor
import NaturalTransformation

import Category.Morphism
import Category.ObContr
import Category.Sets
import Category.Concrete
import Category.Slice
import Category.Functors
import Category.Zero
import Category.One
import Category.Two
import Category.Cospan

import Functor.Concrete
import Functor.Diagonal
import Functor.Presheaf
import Functor.Hom
import Functor.Hom.Properties
import Functor.Representable
import Functor.Representable.Properties
import Functor.Adjoint

import Limit

import Displayed
import Displayed.Functor
import Displayed.Reindex
import Displayed.Subcategory
import Displayed.FromFunctor

import Fibration

import Bicategories.Bicategory
import Bicategories.LaxFunctor
import Bicategories.Pseudofunctor
import Bicategories.LaxTransformation
import Bicategories.Pseudotransformation
import Bicategories.Modification