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

Oct
27
awarded  Electorate
Oct
27
answered Is a subobject classifier logically equivalent to set-inclusion?
Oct
26
revised Definition of a coproduct and its universal property - connection?
Edited grammar, syntax and formulas
Oct
26
revised Group objects in category of $\mathcal{Set}$ are groups - How to prove it?
Edited grammar in title
Oct
20
comment Relationships between initial/terminal objects and initial/terminal morphisms (if any) in the same category.
Alex it is a good answer in search of a question :-) in general limits, universals, adjoints and kan extensions can all be expressed in term of each other. This is explained eg. In CWM
Oct
20
comment bijective homomorphisms between non isomorphic posets, example , explanation needed
Awodey gives similar (or same ) exammple somewhere else when he speaks of invariants. Read further
Oct
16
answered A connected groupoid is equivalent to a groupoid with one object
Oct
16
comment Natural isomorphisms of the forgetful functor
Thank you @Pece I have seen the corresponding edit
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?