Timeline for "Monoid objects" without points

6 events

when toggle format	what		by	license	comment
Dec 24, 2017 at 0:09	vote	accept	Valery Isaev
Dec 22, 2017 at 17:59	comment	added	Valery Isaev		@SimonHenry Yes, I'm working constructively. Maybe this notion is useful only in this setting (at least for locales it is).
Dec 22, 2017 at 17:49	comment	added	Simon Henry		Assuming classical logic, the map from any a non zero locale to the point is an open surjection, hence a regular epimorphism this implies that any constant map factor through the point and hence this notion is in this case equivalent to the usual notion of monoid. In other category or constructively the notion can be non trivial and interesting though. I never saw it before.
Dec 22, 2017 at 17:43	answer	added	Anton Fetisov		timeline score: 8
Dec 22, 2017 at 17:36	comment	added	მამუკა ჯიბლაძე		If the coequalizer $T$ of the projections $X\times X\rightrightarrows X$ exists then $e$ determines a morphism $T\to X$ so that $X$ will become a "usual" monoid in ${\mathbf C}/T$.
Dec 22, 2017 at 17:19	history	asked	Valery Isaev	CC BY-SA 3.0