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

Oct
27
revised Do adjoint functors really define monads?
edited small typos
Oct
27
comment Do adjoint functors really define monads?
"cotriple" is deprecated nowadays. Better use "comonad" instead. See CWM for terminology.
Oct
27
suggested approved edit on Do adjoint functors really define monads?
Oct
23
comment Rel instead of Set in a concrete category
A concrete category over Set is called a construct. There does not seem to be a special name for concrete categories over Rel
Oct
21
revised Functor whose values on morphisms are monomorphisms
edited title grammar
Oct
21
suggested approved edit on Functor whose values on morphisms are monomorphisms
Oct
20
comment Functor whose values on morphisms are monomorphisms
Can someone suggest any reference where generalized filtrations can be found?
Oct
20
comment Functor whose values on morphisms are monomorphisms
@MartinBrandenburg it seems to me though, that some order in the domain category is essential to filtrations (in the common usage). If we take that away , as porton suggests, can we still say something interesting and somehow connected to the word "filtration"? I am a bit surprised that filtrations are not really well covered in ncats. A better coverage can be found in wikipedia.
Oct
20
revised Functor whose values on morphisms are monomorphisms
edited grammar
Oct
20
suggested approved edit on Functor whose values on morphisms are monomorphisms
Oct
14
revised About Equalizer in different categories
edited small typos
Oct
14
suggested approved edit on About Equalizer in different categories
Oct
14
suggested rejected edit on On equalizers in Top
Oct
14
comment On equalizers in Top
@Hurkyl a simple memory aid to remember which is which: A left adjoint to the forgetful functor is like a free topological space functor. So it is a functor which creates topspaces with as many opens as possible ie: discrete spaces. By contrast a right adjoint creates spaces with as few as possible opens, ie indiscrete spaces.
Oct
14
comment On equalizers in Top
IIRC means: "If I recall correctly". If I recall correctly. Right? :-)
Oct
14
comment On equalizers in Top
You can find this and other marvels in the "Joy of Cats" book, as I suggested in a previous question. Follow @drhab link.
Oct
7
revised What is the product and coproduct of Morphism category(Arrow category)?
edit small typos
Oct
7
suggested approved edit on What is the product and coproduct of Morphism category(Arrow category)?
Oct
7
revised Prove that the additive group $ℚ$ is not isomorphic with the multiplicative group $ℚ^*$.
edited small typos
Oct
7
suggested approved edit on Prove that the additive group $ℚ$ is not isomorphic with the multiplicative group $ℚ^*$.