An object is any datum which may be identified. All values are objects in Factor. Each object carries type information, and types are checked at runtime; Factor is dynamically typed.
Equality
Linear order protocol
Classes
Tuples
Generic words and methods

Advanced features:
Delegation
Mirrors
Low-level slot operations