Reputation
Next privilege 125 Rep.
Vote down
Badges
2
Newest
 Student
Impact
~42 people reached

  • 0 posts edited
  • 0 helpful flags
  • 2 votes cast
Oct
28
comment Natural Transformation Inductively defined?
@Berci , Here, $D_t$ denotes something atomic that we can assume it satisfies almost whatever we want. $\mu$ is the least-fixed point operator and $F_A$ is a parametrized functor. Imagine in the case of lists, $List A = \mu X \; . \; F_A X$, for $F_A\;X = 1 + A \times X$.
Oct
27
awarded  Student
Oct
26
comment Natural Transformation Inductively defined?
@ZhenLin I see your point, and it is currently how I'm treating it. Yet, I could probably explore a great deal of structure if it turned out to be a functorial or natural in a way.
Oct
26
asked Natural Transformation Inductively defined?
Jan
5
awarded  Supporter