Zulip Chat Archive

Stream: new members

Topic: Topological semigroup


Nicolò Cavalleri (Jul 13 2020 at 18:33):

Is there any particular reason why topological_semigroup was not defined?

Johan Commelin (Jul 13 2020 at 18:33):

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

Reid Barton (Jul 13 2020 at 18:42):

/-
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 α (*)`.
-/

Last updated: Dec 20 2023 at 11:08 UTC