Mapping Property Values
4. The precise to exclude is the suitable to refuse others’ pursuits or uses for the property. I had to find different models from the best perspective to match the view. This formalism doesn’t seize the intuition so nicely, and in reality the ‘properties’ (and ‘structure’) remembered by a functor that forgets purely structure (or …