Reputation
2,565
Top tag
Next privilege 3,000 Rep.
Cast close & reopen votes
Badges
1 7 21
Impact
~22k people reached

Oct
15
comment Natural isomorphisms of the forgetful functor
sorry if this is a silly question, but I am a bit groggy right now, but what is g and what is g^z? are you describing the components of natural transformation $\eta (z)$ ?
Oct
15
comment Natural isomorphisms of the forgetful functor
Nice question! Does it come from a textbook? if yes, which one?
Oct
10
comment How to prove uniqueness of *wannabe* final object in a slice category?
Aluffi himself in his book hints at how you can attack this problem, by checking the various projections, as also @martin suggests. However I understand and share your appetite for a categorical proof. If you are a bit patient, I will write one shortly
Oct
5
revised Understanding the significance of a functor being full/faithful, especially with adjoints
added last paragraph
Oct
5
answered Understanding the significance of a functor being full/faithful, especially with adjoints
Oct
4
comment Understanding the significance of a functor being full/faithful, especially with adjoints
Could you please cite the author of the book you are referring to. The title is a bit vague
Oct
4
comment Is the pullback of a *not necessarily continuous* open map along a continuous map open?
what does it mean "pullback of sets"? Do you mean "pullback in Set or Top"? or in other category?
Oct
4
answered Identifyng objects in a category
Sep
30
awarded  Explainer
Sep
24
awarded  Autobiographer
Sep
24
accepted Two point topological space
Sep
23
comment Two point topological space
I knew about the the representation. Any other interesting categorical property?
Sep
23
comment Two point topological space
@AlexR yes exactly
Sep
23
asked Two point topological space
Sep
18
comment Topology making a family of functions optimal
I think you meant "...we obtain a base $\cal B$ for the topology on $X$" not $Y$
Sep
18
comment How would you describe category the $\mathsf{Rel}$?
You did not overlook. ACC and CWM define different categories with the same name. You can also see my linked question math.stackexchange.com/q/787706/19609
Sep
8
comment Are some of the Real number axioms redundant?
@Inequality welcome to Math.SE ! I would like to suggest: before accepting an answer, wait a bit. This encourages others to come with more and possible better answers. Please also note that you can always change your mind and accept another - later - answer. This however is going to disappoint the first accepted answerer, that's why it is better to wait a bit. There is no hurry.
Sep
4
comment Is there a name for taking the pushforward (ie pushout) over the pullback?
@MoziburUllah I edited the title accordingly
Sep
4
revised Is there a name for taking the pushforward (ie pushout) over the pullback?
used standard terminology in title
Sep
3
comment Stephen Wolfram on axiomatic systems?
Welcome to Math.SE Qtian.