Protosandwiches are not sandwiches.
-
-
Sandwiches are protosandwiches, there's a forgetful functor F such that F(s) ~= F(s') iff s ~= s'.
2 replies 0 retweets 2 likes -
Replying to @St_Rev @puellavulnerata and
so what about the free functor that associates a sandwich with any protosandwich?
1 reply 0 retweets 0 likes
Replying to @kushnerbomb @puellavulnerata and
F doesn't have an adjoint, it's just an embedding on the quotient categories of isomorphism classes.
1:51 PM - 23 Nov 2017
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.