Author: Urs Format: MarkdownItexadded the definition in terms of the [[shear map]] being an [[epimorphism]]. Adjusted the discussion of requiring or not the underlying object to be inhabited.
<a href="https://ncatlab.org/nlab/revision/diff/transitive+action/16">diff</a>, <a href="https://ncatlab.org/nlab/revision/transitive+action/16">v16</a>, <a href="https://ncatlab.org/nlab/show/transitive+action">current</a>
added the definition in terms of the shear map being an epimorphism. Adjusted the discussion of requiring or not the underlying object to be inhabited.