Example [efr-ZRUY]
  1. An internal pseudocategory in \mathsf {Cat} is, as mentioned above, a pseudo double category.
  2. An internal pseudocategory A with A_0 terminal is the same thing as an internal pseudomonoid. If we fix a specific terminal object * and require A_0 = *, this is an isomorphism of 2-categories (both for the categories of pseudomorphisms and homomorphisms).
  3. An internal pseudocategory with \alpha ,\lambda ,\rho identities is the same thing as a (strict) internal category. In particular, internal pseudocategories in discrete 2-categories are merely internal categories.