category.agda

{-# OPTIONS --without-K #-}
module category where

import category.category
import category.free
import category.functor
import category.graph
import category.groupoid
import category.instances
import category.isomorphism
import category.kan-extension
import category.limit
import category.mono
import category.product
import category.terminal
import category.trans
import category.univalence
import category.yoneda