[ home ] [ math / cs / ai / phy / as / chem / bio / geo ] [ civ / aero / mech / ee / hdl / os / dev / web / app / sys / net / sec ] [ med / fin / psy / soc / his / lit / lin / phi / arch ] [ off / vg / jp / 2hu / tc / ts / adv / hr / meta / tex ] [ chat ] [ wiki ]

Viewing source code

The following is the source code for post >>>/math/573

>>568
>Not >565 but category theory comes in handy to formulate many concepts, it's a useful language to have.

And why is it better than set theory, HOL or mereology?
(Or even some kind of formal ontology in the informatics)

As far as I understand, you could easly define a predicate "x is isomorph to y" := Iso(y,x) and work with this.
Okay, I see the advantage of a graphical picture.

What I have see in categories looks suspicies like a usual powerset.

Or I'm just to simple-minded to get it at all?

>>571
Okay.

As far as I see, the central relation in set theory is the "being part of", maybe in the HOL is more "impled".
What is the categories about?