Zulip Chat Archive

Stream: new members

Topic: Topological semigroup


view this post on Zulip Nicolò Cavalleri (Jul 13 2020 at 18:33):

Is there any particular reason why topological_semigroup was not defined?

view this post on Zulip Johan Commelin (Jul 13 2020 at 18:33):

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

view this post on Zulip 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: May 11 2021 at 22:14 UTC