标题： 将QED中的重整化视为范畴之间的函子 显示英文标题

标题： Regard Renormalization in QED as Functor between Categories

摘要： 为了在第一原理下统一量子电动力学（QED），使重整化自然地出现，我们根据集合论和范畴论研究QED中的费曼图。 我们对电磁相互作用施加限制，即一个粒子只能且只能与从不与自身相互作用的粒子发生相互作用。 因此，在树图中的费米子（线）属于集合，但在五个原始发散图中属于真类。 费米子、光子、费米子质量与电荷共同组成范畴，在其中局部U(1)群与真洛伦兹群的群乘积是态射。 存在一个将包含树图中费米子的范畴投影到包含发散图中费米子的范畴的函子。 由于真类没有测度，这个函子避免了测度的限制。 它可以被视为QED中的重整化，所有重整化常数都没有固定的大小。 显示英文摘要

摘要： To unify the quantum electrodynamics (QED) under the first principle which brings the renormalization unartificially, we study Feynman diagrams in QED according to the set theory and the category theory. We add the restriction on the electromagnetic interaction that a particle can and only can interact with particles which never interact with onself. Thus, fermiors (lines) in tree diagrams belong to sets, but belong to proper classes when they are in five primitive divergent diagrams. Fermiors, photons, fermior mass and charge compose together categories in which the group product of the local U(1) group and the propr Lorentz group is the morphism. There is the functor projecting the category containing fermiors in tree diagrams into the category containing fermior in divergent diagrams. Because proper classes have not the measure, this functor avoids the restriction of the measure. It can be regarded as the renormalization in QED and all renormalization constants have not a fixed magnitude.