%%% This file is part of PlanetPhysics snapshot of 2011-09-01
%%% Primary Title: Axioms of Physics
%%% Primary Category Code: 00.
%%% Filename: AxiomsOfPhysics.tex
%%% Version: 15
%%% Owner: bci1
%%% Author(s): bpi7, bci1
%%% PlanetPhysics is released under the GNU Free Documentation License.
%%% You should have received a file called fdl.txt along with this file.
%%% If not, please write to gnu@gnu.org.
\documentclass[12pt]{article}
\pagestyle{empty}
\setlength{\paperwidth}{8.5in}
\setlength{\paperheight}{11in}
\setlength{\topmargin}{0.00in}
\setlength{\headsep}{0.00in}
\setlength{\headheight}{0.00in}
\setlength{\evensidemargin}{0.00in}
\setlength{\oddsidemargin}{0.00in}
\setlength{\textwidth}{6.5in}
\setlength{\textheight}{9.00in}
\setlength{\voffset}{0.00in}
\setlength{\hoffset}{0.00in}
\setlength{\marginparwidth}{0.00in}
\setlength{\marginparsep}{0.00in}
\setlength{\parindent}{0.00in}
\setlength{\parskip}{0.15in}
\usepackage{html}
\begin{document}
A contributed topic on the \emph{Axioms of Physics}* in the following areas:
\begin{enumerate}
\item \htmladdnormallink{general relativity}{http://planetphysics.us/encyclopedia/SR.html} Theory
\item Axiomatic and Algebraic Quantum Field Theory
\item \htmladdnormallink{Quantum Algebraic Topology}{http://planetphysics.us/encyclopedia/TriangulationMethodsForQuantizedSpacetimes2.html} \item \htmladdnormallink{topological}{http://planetphysics.us/encyclopedia/CoIntersections.html} \htmladdnormallink{quantum field theory}{http://planetphysics.us/encyclopedia/SpaceTimeQuantizationInQuantumGravityTheories.html} (\htmladdnormallink{TQFT}{http://planetphysics.us/encyclopedia/SUSY2.html}) and HQFT**
\item \htmladdnormallink{quantum logics}{http://planetphysics.us/encyclopedia/LQG2.html} and Quantum Computing
\item Symmetry and Physical Principles and Laws
\item \htmladdnormallink{categorical physics}{http://planetphysics.us/encyclopedia/CategoricalPhysics2.html}: \htmladdnormallink{category theory}{http://planetphysics.us/encyclopedia/TrivialGroupoid.html} and \htmladdnormallink{groupoid/}{http://planetphysics.us/encyclopedia/GroupoidHomomorphism2.html} topology applications in Physics
\item Physical Networks and General \htmladdnormallink{dynamics}{http://planetphysics.us/encyclopedia/MathematicalFoundationsOfQuantumTheories.html} \end{enumerate}
\subsection{Some Fundamental Concepts in Physics}
\begin{enumerate}
\item Space, $s$
\item Time, $t$
\item Spacetime, $ST$
\item \htmladdnormallink{reference system}{http://planetphysics.us/encyclopedia/CoriolisEffect.html} or Frame of Reference ($RS$)
\item Motion
\item Measurement
\item \htmladdnormallink{observable}{http://planetphysics.us/encyclopedia/QuantumSpinNetworkFunctor2.html} \item Universal constants: Planck's constant ($h$, the speed of light, $c$, gravitational constant, $G$; hyperfine constant, $e$; cosmological constant, $\lambda$
\item Matter
\item Mass
\item Particle
\item Elementary Particles and \htmladdnormallink{quarks}{http://planetphysics.us/encyclopedia/ExtendedQuantumSymmetries.html} \item Energy: Conservation Laws, \htmladdnormallink{Hamiltonian operator}{http://planetphysics.us/encyclopedia/Hamiltonian2.html}, energy eigenvalues. eigenstates, \htmladdnormallink{Lagrangian}{http://planetphysics.us/encyclopedia/LagrangesEquations.html}, Photons/Electromagnetic \htmladdnormallink{radiation}{http://planetphysics.us/encyclopedia/Cyclotron.html} \item Fields: Electromagnetic, magnetic, electrical; nuclear; gravitational
\item Gravity
\item String/strings
\end{enumerate}
\begin{thebibliography}{99}
\bibitem{IN1}
Isaac Newton. 1686.\emph{Principles of Natural Philosophy}.
\bibitem{IN2}
``Works of Sir Isaac Newton--Isaaci Newtoni Opera quae exstant omnia"
\bibitem{AE1}
Albert Einstein. 1956. \emph{Relativity Theory}. NL
\bibitem{IN2}
Dirac, Paul A.M. 1958. \emph{Principles of Quantum Mechanics}. NL
\bibitem{IN2}
Richard Feynman. 1965. \emph{Lecture Notes in Physics}. NL
\bibitem{IN2}
Stephen Weinberg. 1994. \emph{Quantum FieldTheory}. NL
\bibitem{ESKGM65}
Eilenberg, S., and Kelly, G.M., Closed Categories,
\emph{Proceedings of the Conference on Categorical Algebra} (La Jolla 1965), Springer Verlag 1966.
\bibitem{ESML45}
Eilenberg, S., and Mac Lane, S., General Theory of Natural Equivalences,
\emph{Trans. Amer. Math. Soc.} 58, 231--294 (1945).
\bibitem{KDM1}
Kan, D. M., Adjoint Functors, \emph{Trans. Amer. Math. Soc.} 87, 294--329 (1958).
\bibitem{LFW66}
Lawvere, F. W., Functorial Semantics of Algebraic Theories,
\emph{Proc. Nat. Acad. Sc. U.S.A.},\textbf{50}, 869--872 (1963).
\bibitem{LFW66}
Lawvere, F. W., The Category of Categories as a Foundation for Mathematics, \emph{Proceedings of the Conference on Categorical Algebra} (La Jolla 1965), Springer Verlag. 1966.
(See also the Review 7332 by J. Isbell, Dec. 1967, Math. Reviews).
\bibitem{LMS65}
Mac Lane, S., Categorical Algebra, \emph{Bull. Amer. Math. Soc.}, 71, 40--106 (1965).
\end{thebibliography}
\subsection{Remarks}
*1. Unlike Mathematical Axioms that have all terms defined mathematically, the Axioms of Physics, oftentimes called ``Postulates'', are defined in terms of physical concepts that may also relate to measurements and may include basic physical assumptions derived on an experimental and physical-conceptual basis, such as the fundamental axiom of Local Quantum Field Theory, or Axiomatic Quantum Field Theory, also called Algebraic Quantum Field Theory (AQFT), that all quantum measurement and observations involve \emph{local} interactions in spacetime.
**2. Homotopy and Quantum Field Theory
\end{document}
