This book draws the limits of our thoughts and consciousness between the mind and mind-independent reality by using mathematical logic with the support of neurology. Diagnosing the limits between immanence and transcendence of the consciousness depends on dening some transcendental a priori categories in between as some basic axioms of the mind. Although this is a paradoxical attempt every philosopher falls into, the author non-paradoxically identies these non-intentional cognitive categories by using mathematical category theory. e author denes the intentional categories of consciousness by using mathematical set theory and obtains a selfrepresentational higher-order theory of consciousness (SHOT). Finally, he combines the intentional and non-intentional categories with an algebraic topography and obtains a model of the mind.