Definition antisymm_po_univalent_category (PO : po X) (poasymm : isantisymm PO) : univalent_category.
Require Import UniMath.Foundations.All. Require Import UniMath.CategoryTheory.Core.Categories. Require Import UniMath.CategoryTheory.Core.Isos. Require Import UniMath.CategoryTheory.Core.Univalence.