/tags/halting-problem/Recent content in halting-problem on ✨Hugo -- gohugo.ioen-usMon, 16 Dec 2019 20:50:45 -0500/post/bottom-type/Mon, 16 Dec 2019 20:50:45 -0500/post/bottom-type/In my learnings on Category Theory, I’ve come across a concept that I have not heard of before but have been using almost daily. It is the concept of the bottom type. Given a mathematical function, for example: $$ f(x) = 2x + 3 $$ This function maps an integer to an integer. Some examples of this function in action are $$ f(2) = 2(2) + 3 = 7 $$ $$ f(5) = 2(5) + 3 = 13 $$ $$ f(6) = 2(6) + 3 = 15 $$