Categories for Concrete Foundations in Navigator