Registry · Definition IV.D254 tau-effective formalized

IV.D254 — Fibered product arena tau^3

The arena of all physics is the fibered product tau^3 = tau^1 x_f T^2, where the subscript f denotes that admissible fiber coordinates (B,C) depend on the base point (D,A). The coupling between base and fiber passes through the fifth generator omega.

Book IV Part 1 Ch. 4

Dependency Graph

Depended on by (84)

IV.P147 IV.T78 IV.T217 IV.T220 IV.T224 IV.T233 IV.T239 IV.T245 IV.T247 IV.T252 IV.T253 IV.T258 IV.T260 IV.T261 IV.T262 IV.T263 IV.T264 IV.T265 IV.T270 IV.T271 IV.T274 IV.T278 IV.T281 IV.T282 IV.T283 IV.T284 IV.T288 IV.T290 IV.T291 IV.T299 IV.T301 IV.T302 IV.T304 IV.T306 IV.T307 IV.T312 IV.T320 IV.T322 IV.T334 IV.T336 IV.T338 IV.T346 IV.T350 IV.T353 IV.T362 IV.T363 IV.T364 IV.T365 IV.T366 IV.T368 IV.T369 IV.T370 IV.T371 IV.T373 IV.T379 IV.T385 IV.P236 IV.P237 IV.P243 IV.P253 IV.P257 IV.P264 IV.P268 IV.P277 IV.P286 IV.P289 IV.P297 IV.P301 IV.P306 IV.P324 IV.P332 IV.P337 IV.P348 IV.P352 IV.P363 IV.P369 IV.P371 IV.P381 IV.P383 IV.P385 IV.P388 IV.C3 IV.C4 IV.C6

Lean Formalization

Module: TauLib.BookIV.Arena.Tau3Arena

Symbol: Tau.BookIV.Arena.FiberedProductArenaTau3