Categories in Three-Speed Logic