I have read about what locales and frames are (basic objects in pointfree topology) and now I have seen that there also exist localic groups as a generalization of topological groups. I have questions to these:
- On which objects these groups are acting?
- What are the most important properties of localic groups?
- When these localic groups are used?
Moreover I would greatly appreciate it if someone would give some references to this topic