Foundation of category theory
In the first pages of "category theory for the working mathematician"
Saunders claims that category can be introduced without set theory, as
objects and arrows without some "operations" satisfying some properties
which are called axioms. (he calls this metacategories)
I like that approach, but either I just try to understand things
intuitively, either if someone claims that everything is well-defined than
I want to see it. What I don't see is the definition of "operation" which
"assigns an object to an arrow", ex: the "domain"operation assigns to an
arrow an object called domain, same for codomain, composition etc...
More precisely, if we get rid of set theory, then what is a function, what
is a pair, what is something that belongs to something.
Another question: is the need to start with other axioms then those of set
theory only related to the notion of "class" of objects or is it
problematic in other places?
No comments:
Post a Comment