Talk:Lawvere's fixed-point theorem
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
Terminal / Inital Object
Near the end of section Statement it says, in brackets:
| where 1 is a terminal object in C
Shouldn't it be an initial object since the morphisms b being discussed have 1 as their domain? 188.23.53.170 (talk) 16:36, 19 March 2025 (UTC)