Content deleted Content added
m Additional information Tags: Visual edit Mobile edit Mobile web edit |
Paul August (talk | contribs) →Other properties: It *has* a slope and it's = 0 |
||
Line 26:
* Every constant function whose [[Domain of a function|___domain]] and [[codomain]] are the same set ''X'' is a [[left zero]] of the [[full transformation monoid]] on ''X'', which implies that it is also [[idempotent]].
* It has
* Every constant function between [[topological space]]s is [[continuous function (topology)|continuous]].
* A constant function factors through the [[singleton (mathematics)|one-point set]], the [[terminal object]] in the [[category of sets]]. This observation is instrumental for [[F. William Lawvere]]'s axiomatization of set theory, the Elementary Theory of the Category of Sets (ETCS).<ref>{{cite arXiv|last1=Leinster|first1=Tom|title=An informal introduction to topos theory|date=27 Jun 2011|eprint=1012.5647|class=math.CT}}</ref>
| |||