module Cubical.Categories.LocallySmall.Variables where

open import Cubical.Categories.LocallySmall.Variables.Category public