"f is an epimorphism" otoh...
well for one thing the *definition* of an epimorphism is dual to that of a monomorphism, which is to say, it's defined in terms of the *injectivity* of post-composition.
2/4???
Conversation
you need a lot more to be able to work with epimorphisms like surjective maps. There's a whole slew of variants: regular epi, strict epi, effective epi, so on. And correspondingly a whole zoo of different types of category where you ask these to play nice in various ways.
pi/7??
2
8
But something kinda weird happens when you start thinking about *higher* category theory. Suddenly it becomes most natural to think of *injectivity* as a kind of *surjectivity*.
injectivity means: f(x)=f(y) implies x=y
k/k+1
1
11
when you're used to thinking of equality as a *property*, it's easy to not think much of this. But once you start thinking of equality as a *structure*, the picture starts to change: This is saying that f is *surjective* on equations.
SmallNum/BigNum
2
10
if X is a set, you can treat it as a boring category (as "setoid") where objects are elements of X and morphisms x->y are equations x=y
then a function f:X->Y between sets easily upgrades to a functor between setoids.
almost done/not quite done
1
7
a function f:X->Y is surjective iff it is essentially surjective, or "surjective on 0-cells" when viewed as a functor between setoids
a function f:X->Y is injective iff it is full, or "surjective on 1-cells", when viewed as a functor between setoids.
wake me up/can't wake up
2
15
tldr:
when ur a little bit category-brained, injectivity looks like a more fundamental concept than surjectivity
but if ur a bit *more* category-brained, then it looks like injectivity is a form of surjectivity, just shifted one dimension up
so umm, what's the deal with that??
3
15
hmm so part of the deal: the categories we like in practice differ systematically from their opposites, so category theory in practice isnāt self-dual; e.g. we like locally presentable categories and the opposite of a lp category isnāt lp (unless itās a preorder or sth)
1
3
we like the yoneda embedding and not its opposite, and the yoneda embedding reflects and preserves limits, hence reflects and preserves kernel pairs, hence reflects and preserves monomorphisms; but it ignores colimits and substitutes new colimits in practice
1
4
moving up a categorical level, if f : X -> Y is a map of spaces / oo-groupoids, we like thinking of it as an object in the slice category over Y, not as an object in the coslice category under X, because spaces are locally cartesian closed so this is a family of spaces over Y
1
2
once weāve made that choice it becomes natural to write down the relative postnikov tower of f, which gives us two infinite families of conditions generalizing injectivity and surjectivity: āf is n-connectedā and āf is n-truncatedā
where (-1)-connected reduces to surjections for sets and (-1)-truncated reduces to injections for sets. this is quite funny though because itās a definition of surjections based on limits, not colimits: a map of sets is a surjection iff its fibers are non-empty
1
1
(the relevant nlab page: ncatlab.org/nlab/show/%28n )
i didnāt know where i was going with this in advance but i get a sense from all this that itās sort of an accident that epimorphisms are surjections for sets. thereās a similar flavor of thing going on with the disjoint union
1
Show replies