Left Kan Extension of a Delta Set

Given a Delta Set (minus the maps), the output is a Simplicial Set (minus the maps). The input and output are in the form of a dictionary with keys = dimension and values = corresponding sets. Thus, we have {0:X_0, 1:X_2,…,n:X_n}. Each X_i is a list, and each element of any X_i is a list of size i+1 representing a simplex with its order. The script is available here.