Reputation
2,752
Top tag
Next privilege 3,000 Rep.
Cast close & reopen votes
Badges
1 8 21
Newest
 Yearling
Impact
~28k people reached

Jan
26
comment Definition of the Diagonal functor
Thank you @JeremyRickard and Najib for the enlightening discussion
Jan
26
accepted Definition of the Diagonal functor
Jan
24
asked Definition of the Diagonal functor
Jan
15
revised “Minimal upper bounds” in a categorical setting
Added last paragraph
Jan
15
answered “Minimal upper bounds” in a categorical setting
Jan
13
comment What is the geometric meaning of representability?
Is there an accepted or acceptable name for the functor in your last example?
Jan
10
comment codiagonal functor and faithfullness
@GiorgioMossa very good explanation and notation. I suggest you do not erase or modify what you have written. Perhaps you might add some type theory notation for those more familiar with it.
Jan
10
revised Counterexample for commutative diagram of epimorphism.
edited small typos
Jan
10
revised Counterexample for commutative diagram of epimorphism.
improved one equation
Jan
10
revised Counterexample for commutative diagram of epimorphism.
fixed small typos
Jan
10
answered Counterexample for commutative diagram of epimorphism.
Nov
17
awarded  Yearling
Oct
6
comment Analogy between the notion of adjunction of two functors, and the notion of factorization of a morphism.
What is Fix(...) ?
Sep
5
revised Intuition behind the definition of Adjoint functors
edited small typos
Aug
6
comment homology group of adjunction space
Thank you rmznyzgyr
Aug
5
comment homology group of adjunction space
could you please indicate where does this text come from?
Jul
30
comment Prove that a morphism $\alpha$ of $Fun(\mathcal{A},\mathcal{B})$ is an isomorphism iff each component $\alpha_A$, is an isomorphism in $\mathcal{B}$
what is a computational engineer?
Jul
17
revised Monotone map on a Preset
added extra paragraph
Jul
17
revised Monotone map on a Preset
Clarified formula
Jul
17
answered Monotone map on a Preset