Categories within Thielmann-Luwa

Types within Thielmann-Luwa