semisimplicial_category set_cat.
Require Import Types Basics.Trunc. Require Import Category.Core Functor.Core. Require Import Category.Morphisms. Require Import Category.Dual FunctorCategory.Core. Require Import SetCategory.Core. Require Import SimplicialSets. Require Import Category.Sigma.OnMorphisms Category.Subcategory.Wide.