{-# OPTIONS --without-K --safe #-}
module Cats.Category.Fun.Facts where

open import Cats.Category.Fun.Facts.Iso public using
  ( ≈→≅ ; ≅→≈ )
open import Cats.Category.Fun.Facts.Limit public using
  ( complete )
open import Cats.Category.Fun.Facts.Product public using
  ( hasBinaryProducts ; hasFiniteProducts )
open import Cats.Category.Fun.Facts.Terminal public using
  ( hasTerminal )
