Topological semigroup

Stream: new members

[Nicolò Cavalleri]

Is there any particular reason why topological_semigroup was not defined?

[Johan Commelin]

I dunno... I guess maybe in practice you always have a 1?

[Reid Barton]

/-
Copyright (c) 2017 Johannes Hölzl. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: Johannes Hölzl, Mario Carneiro

Theory of topological monoids.

TODO: generalize `topological_monoid` and `topological_add_monoid` to semigroups, or add a type class
`topological_operator α (*)`.
-/