Categories: Models of Models
lesswrong.com
Categories: Models of Models
1–5 of 5 posts
Re: Categories: Models of Models
#2A new convert joins the fold.
Category theory is indeed what we obtain when we try to seek minimal ontologies, minimal models, etc. but it is interesting that it originally evolved in the context of minimal explanations for natural transformations.
I wonder about the slogan "assume a 3-category" for unifying these desires for a minimal playground upon which we can discuss and relate all of these distinct mathematical concepts.
Re: Categories: Models of Models
#3Great post. If you like it, consider Renzo Carbonara's work => https://atypeofprogramming.com/
Re: Categories: Models of Models
#4This is really interesting. Seems like everything could be modeled as a graph with nodes being nouns and edges being verbs.
Re: Categories: Models of Models
#5A new convert joins the fold. Category theory is indeed what we obtain when we try to seek minimal ontologies, minimal models, etc. but it is interesting that it originally evolved in the context of minimal explanations for natural transformations. I wonder about the slogan "assume a 3-category" for unifying these desires for a minimal playground upon which we can discuss and relate all of these distinct mathematical…
Why a 3-category in particular?