I started to work on funcoidal groups (a generalization of topological groups). I defined it and promptly found a curious theorem. Not sure if this theorem has use for anything.
See the definition and the “curious” proposition in this draft.
Note that I work on another projects and may be not very active in researching funcoidal groups in near time.