Void and Unit form the basis for all types¶ In type theory, void and unit form the basis for all other types. Backlinks¶ Video Series: Category Theory void and unit form the basis for all types