{-# OPTIONS --safe #-} module Cubical.Categories.Functor where open import Cubical.Categories.Functor.Base public open import Cubical.Categories.Functor.Compose public open import Cubical.Categories.Functor.Properties public