Reputation
272
Top tag
Next privilege 500 Rep.
Access review queues
Badges
3 11
Impact
~12k people reached

  • 0 posts edited
  • 0 helpful flags
  • 54 votes cast
Jan
14
revised initial algebra and free monoid
added 119 characters in body
Jan
14
comment initial algebra and free monoid
awesome...... thank you !
Jan
14
accepted initial algebra and free monoid
Jan
14
revised initial algebra and free monoid
edited body
Jan
13
revised initial algebra and free monoid
edited body
Jan
13
revised codiagonal functor and faithfullness
added 77 characters in body
Jan
13
asked initial algebra and free monoid
Jan
11
accepted codiagonal functor and faithfullness
Jan
11
comment codiagonal functor and faithfullness
I see. this "notation" a+b $\in C+C$ is bad enough for it to be called wrong
Jan
11
comment codiagonal functor and faithfullness
I dont understand how your construction of C+C is different from the one I present, as a universal arrow constructed from a pair of arrow coming from C..
Jan
10
comment codiagonal functor and faithfullness
yes, we call them sum types in programming. I guess the terminology differs a bit. Awodey writes it C + C though
Jan
10
comment codiagonal functor and faithfullness
left and right are actually some standard injection to sum types in Haskell or Agda, but point well taken about the notation.
Jan
10
comment codiagonal functor and faithfullness
well left a or (0,a) .. ;)
Jan
10
comment codiagonal functor and faithfullness
Agree about the sum category. I think it's the category whose objects are either left of some object of C or right of some object of C. Arrows are either from a left or from a right, into a object of C+C
Jan
10
revised codiagonal functor and faithfullness
deleted 2 characters in body
Jan
10
comment codiagonal functor and faithfullness
It is at the beginning of chapter 7 définition 7.1 about faithfullness
Jan
10
revised codiagonal functor and faithfullness
added 39 characters in body
Jan
10
asked codiagonal functor and faithfullness
Jun
10
awarded  Nice Question
Dec
18
awarded  Notable Question