Category Theory
Category Theory
In[]:=
MultiwaySystem[{"A""BBB","BB""A"},{"A"},6,"EvolutionGraph"]
Out[]=
In[]:=
MultiwaySystem[{"A""BBB","BB""A"},{"A"},6,"EvolutionEventsGraph"]
Out[]=
In[]:=
MultiwaySystem[{"A""BBB","BB""A"},{"A"},6,"EvolutionEventsGraph","EventRenderingFunction"(Text[First[#2],#1]&)]
Out[]=
Set of all strings, with a binary operation
Set of all strings, with a binary operation
{relation1, relation2}: indexed union of these subrelations
Description of EvolutionEventsGraph: state set of states × subrelation indices
In[]:=
MultiwaySystem[{"A""BBB","BB""A"},{"A"},6,"StatesGraph"]
Out[]=
Powerset:
In[]:=
Subsets[{1,2,3}]
Out[]=
{{},{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
Endofunctions: functor from category set to category set
Covariant functor: doesn’t change the direction of morphisms
Covariant functor: doesn’t change the direction of morphisms
f coalgebra
causal invariance : correspondence between cones and co-cones ??