this post was submitted on 31 Oct 2025
1 points (100.0% liked)
ask_math
74 readers
7 users here now
A community to ask math questions with the goal of learning math.
When you ask a question, include a description of what you have already tried and where you feel you are stuck.
When answering a question, avoid simply giving the answer.
Let’s not do other people’s homework for them.
Similar communities: For general math news and conversation: https://lemmy.world/c/math
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
Coinduction works on some uncountable set, for example, streams (or infinite list) which are A^{nat}, where A is the type of the elements in the stream. It looks a bit like induction on finite list, but slightly different.