nForum - Discussion Feed (transitive action)2024-03-29T13:10:45+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "transitive action" (91502)https://nforum.ncatlab.org/discussion/12643/?Focus=91502#Comment_915022021-04-16T11:51:36+00:002024-03-29T13:10:45+00:00Urshttps://nforum.ncatlab.org/account/4/
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.
diff, v16, current
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.