{-
  The graph category of a profunctor viewed as a displayed category
  over the product.

  TODO: rename to "tabulator"
-}

{-# OPTIONS --safe #-}
module Cubical.Categories.Displayed.Constructions.Graph where

open import Cubical.Categories.Displayed.Constructions.Graph.Base public
open import Cubical.Categories.Displayed.Constructions.Graph.Properties public