wuh oh, i’m diving in. I’ve been constructing my own Ontology for a long time, not realizing that I was doing so until a few weeks ago until I saw myself write that I was doing so, and what field of theory best captures Ontology? Category Theory. Ontology (in a comp-sci meaning) is formations of categories and category theory can help build ontologies by drawing parallels. I wasn’t ready before. I danced around Category Theory for a long long time, dipping in, liking it, running away because it was just too good for how I saw things. [I run away and come back to Knot Theory for similar reasons but moreso for Category Theory] It’s of a second-order, that Category Theory, and all higher orders than 2nd *can* be described in 2nd order, unlike first order logic, which can’t capture the breadth of 2nd order no matter how much it wants to. See: https://www.lesswrong.com/posts/SWn4rqdycu83ikfBa/second-order-logic-the-controversy So, I think I’m giving in to that chocolate bar. To nLab I go, buzzing away since 2008, filling up with fascinating things, biased as biased can be in the world of competing modelings. I might not come up for air for a bit. I might. But I gotta do it. Avoided for too long. https://ncatlab.org/nlab/show/HomePage

wuh oh, i’m diving in. I’ve been constructing my own Ontology for a long time, not realizing that I was doing so until a few weeks ago until I saw myself write that I was doing so, and what field of theory best captures Ontology?
 
Category Theory. Ontology (in a comp-sci meaning) is formations of categories and category theory can help build ontologies by drawing parallels.
 
I wasn’t ready before. I danced around Category Theory for a long long time, dipping in, liking it, running away because it was just too good for how I saw things.
 
[I run away and come back to Knot Theory for similar reasons but moreso for Category Theory]
 
It’s of a second-order, that Category Theory, and all higher orders than 2nd *can* be described in 2nd order, unlike first order logic, which can’t capture the breadth of 2nd order no matter how much it wants to.
 
See: https://www.lesswrong.com/posts/SWn4rqdycu83ikfBa/second-order-logic-the-controversy
 
So, I think I’m giving in to that chocolate bar. To nLab I go, buzzing away since 2008, filling up with fascinating things, biased as biased can be in the world of competing modelings.
 
I might not come up for air for a bit. I might. But I gotta do it. Avoided for too long.
 
https://ncatlab.org/nlab/show/HomePage
=====
 Oh I know. I’m still going to study it as a Rosetta Stone for all else.

But my goal is finding equivalence to untyped lambda calculus. It might not be possible but I’m giving it a go.

=====

Leave a comment

Your email address will not be published. Required fields are marked *


seven − = 2

Leave a Reply