Talk:Cofree coalgebra

Universal property
Could someone maybe expand on the universal property, i.e. give an explicit form of the unique coalgebra homomorphism that makes the obvious diagram commute?2A02:8108:4A40:4A28:DBB3:24CC:8998:3575 (talk) 12:24, 16 February 2018 (UTC)