Categories for TIPS