Edit summary: ←Created page with '== Elementary Theory of Abstract Categories (ETAC) == ETAC is the acronym for Lawvere's “elementary theory of abstract categories” which provides an axiomatic construction of the theory of categories and functors that was extended to the axiomatic theory of supercategories. The ETAC axioms are listed next. === Definition 0.1 === ETAC axioms, ([3]): 0. For any letters <math>x, y, u, A, B</math>, and unary function symbols <math>\Delta_0</math> and <m...'
98.45% of edit
https://physicslibrary.org/encyclopedia/Formula.html
Article
Loading article revision...
Source
Loading possible copyvio source...