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

Oct
27
comment The empty function and constants
@Stefan your objection is correct. The problem stems from the fact that wikipedia is slighty wrong. Wikipedia should not write that the empty product is equal to....(using the equality sign), because the cartesian product is actually defined up to isomorphism and not by an equality. In other words: the equal signs that you see in the wikipedia section on nullary cartesian products should be replaced with isomrphism signs. To recap: $f \neq g$ so $A^{\emptyset} \neq B^{\emptyset}$ , but they are both isomorphic to singleton sets
Oct
27
revised The empty function and constants
edited small typos
Oct
27
suggested approved edit on The empty function and constants
Oct
27
answered Check a theorem about the category Set
Oct
27
comment Do adjoint functors really define monads?
@student Where exactly in Weibel are you looking at?
Oct
27
comment Do adjoint functors really define monads?
@GiorgioMossa the OP is interested in the comonad
Oct
27
comment Do adjoint functors really define monads?
Exactly! As a matter of fact, the same explanation appears in the first edition of CWM too.
Oct
27
comment Do adjoint functors really define monads?
@AlešBizjak The OP is interested in the comonad, not in the monad
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