[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:

View post   
>> No.8406608 [View]
File: 120 KB, 740x527, vorgeführt von Jacob B.png [View same] [iqdb] [saucenao] [google]
8406608

>>8406587
Maybe the fibred category theory in Jacob B's work (categorical logic and type theory) gives some ideas - although it's probably completely different.

Regarding
>>8406367
how do you decide who action costs what? And what's the point of this phase space anyway, other than making the necessary stuff the cheapest. What's the goal.

Navigation
View posts[+24][+48][+96]