Categories within SWI

Types within SWI