Category-theoretic formulation of relational materialism
Bekir Baytaş Ozan Ekin Derin



 





 
 



 













theoremLD Theorem






@keyx sphericalkeysradius#1
@keyx sphericalkeystheta#1
@keyx sphericalkeysphi#1
x spherical
    x sphericalkeys#1
    *cos()*sin()*cos()*sin()*sin()


@keyy sphericalkeysradius#1
@keyy sphericalkeystheta#1
@keyy sphericalkeysphi#1
y spherical
    y sphericalkeys#1
    *sin()*cos()*cos()*sin()*sin()



@keyz sphericalkeysradius#1
@keyz sphericalkeystheta#1
@keyz sphericalkeysphi#1
z spherical
    z sphericalkeys#1
    sin()*cos(-90)*sin()*cos()
    +sin()*sin(-90)*sin()*sin()
    +cos()*cos()
    
    ifthenelse(<0,0,1)
    =0
    0.3
    1
    
    *sin()*cos()*sin()*sin()*cos()




  point macro=@plot@curveto@handler@initial,
  jump macro=@plot@smooth@next@moveto,
  end macro=@plot@curveto@handler@finish


@plot@smooth@next@moveto
  @plot@curveto@handler@finish
  @plot@startedfalse
  @plotstreampoint@plot@curveto@handler@initial


@plot@curveto@handler@initial#1
  @process#1
  @xa=@x
  @ya=@y
  @plot@first@action@xa@ya
  @plot@curveto@first@xa@ya
  @plot@curveto@first@support=@plot@curveto@first
  @plotstreampoint=@plot@curveto@handler@second


@plot@curveto@handler@second#1
  @process#1
  @plot@curveto@second@x@y
  @plotstreampoint=@plot@curveto@handler@third
  @plot@startedtrue


@plot@curveto@handler@third#1
  @process#1
  @plot@curveto@current@x@y
  
  @xa=@x
  @ya=@y
  @process@plot@curveto@first
  @xa by-@x
  @ya by-@y
  
  @xa=@plottension@xa
  @ya=@plottension@ya
  
  @process@plot@curveto@second
  @xb=@x
  @yb=@y
  @xc=@x
  @yc=@y
  @xb by-@xa
  @yb by-@ya
  @xc by@xa
  @yc by@ya
  ifundefinedMCheatOpa
  @plotstreamspecial
  @marshal
  @plot@curveto@first@support
    @xb@yb@plot@curveto@second
    @plot@curveto@second
  @marshal
  
  
  @plot@curveto@first=@plot@curveto@second
  @plot@curveto@second=@plot@curveto@current
  @plot@curveto@first@support@xc@yc


@plot@curveto@handler@finish
  @plot@started
    @plot@curveto@first@support@plot@curveto@second@plot@curveto@second
  


fpheader




