PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (46)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'commutative diagram'
1. $p$-adic integers by djao
2. 5-lemma by mathcam
3. 9-lemma by yark
4. a functor is an equivalence iff it is fully faithful and essentially surjective by CWoo
5. abelian category by djao
6. abelian groups form an abelian category, proof that by mps
7. additive category by CWoo
8. adjoint endomorphism by rmilson
9. adjoint functor by mps
10. affine transformation by matte
11. almost complex structure by rspuzio
12. alternating knot by Mathprof
13. amalgamation property by Mathprof
14. analytics and formal logics in meta-mathematics by bci1
15. angle between two lines by pahio
16. approximate non-linear transformation of affine combination by stevecheng
17. Aristotelian logic by Daume
18. arrow category by CWoo
19. attaching pullback squares by mps
20. bibliography for groupoids and algebraic topology by bci1
21. bibliography for topology by Mathprof
22. calculus of subgroup orders by Algeboy
23. categorical diagrams as functors by bci1
24. categorical direct product by djao
25. categorical direct sum by djao
26. categorical dynamics by bci1
27. categorical pullback by CWoo
28. categorical quantum logics as quantum LM-algebraic logic by bci1
29. categorical sequence by bci1
30. categories and supercategories in relational biology by bci1
31. category of $(M,R)$--systems by bci1
32. category of automata by bci1
33. category of fractions by CWoo
34. category of molecular sets by bci1
35. category theory by archibal
36. category with arbitrary products and pullbacks is complete by CWoo
37. center of gravity of circular sector by curious
38. chain homotopy by mathcam
39. chain map by RevBobo
40. Church-Rosser property by CWoo
41. classification of covering spaces by Dr_Absentius
42. coalgebra by mhale
43. comma category by CWoo
44. comodule by mhale
45. comonad by mps
46. comparison of Pythagorean means by pahio
47. complete category by CWoo
48. completion by djao
49. compositions of natural transformations by CWoo
50. confluence by CWoo
51. connected poset by CWoo
52. constant functor by CWoo
53. construct the center of a given circle by rm50
54. convolution by PrimeFan
55. crossed quadrilateral by pahio
56. crossing change by PrimeFan
57. curve of Agnesi by CompositeFan
58. deck transformation by mathcam
59. decomposition group by djao
60. definitions in trigonometry by Daume
61. delta functor by pbruin
62. derivation of 2D reflection matrix by stevecheng
63. derivative of $x^n$ by Algeboy
64. diamond lemma by CWoo
65. divisors in base field and finite extension field by pahio
66. double dual embedding by rmilson
67. dual category by CWoo
68. epi by CWoo
69. equalizer by CWoo
70. equalizer is an inverse limit by CWoo
71. ETAC by bci1
72. ETAS interpretation by bci1
73. evolute of cycloid by pahio
74. example of Munn tree by Mazzu
75. existence of maximal semilattice decomposition by mclase
76. exponential object by CWoo
77. factorization system by CWoo
78. Feynman path integral by PrimeFan
79. fiber bundle by bwebste
80. Fibonacci jigsaw puzzle by PrimeFan
81. fibre product by djao
82. finite projective plane by Mathprof
83. free associative algebra by Algeboy
84. free Boolean algebra by CWoo
85. free commutative algebra by Algeboy
86. free Lie algebra by Algeboy
87. free product with amalgamated subgroup by mathcam
88. free semigroup by yark
89. free semigroup with involution by Mazzu
90. free vector space over a set by mathcam
91. fundamental complexity diagrams by bci1
92. fundamental groupoid by CWoo
93. Galois-theoretic derivation of the quartic formula by djao
94. Garfield's proof of Pythagorean theorem by rm50
95. gcd domain by CWoo
96. generalized Van Kampen theorems (HD-VKT), higher dimensional by bci1
97. geometric proof of Pythagorean triplet by rm50
98. geometrization of $\mathbb{R}^n$ by rspuzio
99. golden ratio by Mathprof
100. graph theory by karteef
101. Grassmann-Hopf algebras and coalgebras\gebras by bci1
102. Grassmann-Hopf algebroid categories and Grassmann categories by bci1
103. group extension by CWoo
104. group object by rspuzio
105. harmonic oscillator by perucho
106. higher dimensional algebra by bci1
107. highly-complex system diagrams by bci1
108. homotopy double groupoid of a Hausdorff space by bci1
109. homotopy extension property by RevBobo
110. Hopf algebra by mhale
111. horseshoe lemma by mps
112. Huffman's algorithm by mps
113. hyperbolic angle by CWoo
114. Hypertext Markup Language by PrimeFan
115. image of a morphism by CWoo
116. index of categories by bci1
117. index of category theory by rspuzio
118. integer partition by rm50
119. internal category by CWoo
120. inverse image of a morphism by CWoo
121. irreducible representations of $S_n$ by rm50
122. join irreducibility by CWoo
123. Jones Polynomial by Stephaninos
124. kernel is an inverse limit by mathcam
125. kernel of a morphism by CWoo
126. kernel pair by CWoo
127. knot theory by CWoo
128. lattice by mps
129. lattice paths and ballot numbers by rm50
130. latticoid by CWoo
131. Leibniz notation by mathcam
132. Leibniz' estimate for alternating series by pahio
133. length by PrimeFan
134. lifting of maps by Dr_Absentius
135. lifting theorem by Dr_Absentius
136. limit of a functor by CWoo
137. limiting cone by CWoo
138. locally trivial bundle by mps
139. long exact sequence in cohomology by rm50
140. mathematics vocabulary by matte
141. Mayer-Vietoris sequence by bwebste
142. mirror image of a knot by Mathprof
143. Mitchell's embedding theorem by CWoo
144. modular group by rm50
145. molecular set theory by bci1
146. monad by mathcam
147. monoidal category by juanman
148. monomorphisms are pullback stable by rmilson
149. morphism of schemes induces a map of points by archibal
150. multifunctor by CWoo
151. natural numbers object by mps
152. natural transformation by mps
153. non-commutative dynamic modeling diagrams by bci1
154. non-commutative structure by bci1
155. operator topologies by asteroid
156. orbits of a normal subgroup are equal in size when the full group acts transitively by rm50
157. ordered geometry by CWoo
158. ordered tree by CWoo
159. organismic supercategories and super-complex systems biodynamics by bci1
160. orthogonal morphisms by CWoo
161. partial ordering on subobjects of an object by CWoo
162. perimeter of ellipse by pahio
163. pictures of Dynkin diagrams by Dr_Absentius
164. pointed set by CWoo
165. polar tangential angle by pahio
166. polygonal number by mathcam
167. pons asinorum by Wkbj79
168. poset by mps
169. power of an object by CWoo
170. precategory by CWoo
171. projective object by CWoo
172. proof of 9-lemma by rm50
173. proof of area of a quadrilateral by Mathprof
174. proof of Borsuk-Ulam theorem by bwebste
175. proof of first isomorphism theorem by uriw
176. proof of Galois group of the compositum of two Galois extensions by rm50
177. proof of Pappus's theorem by mathcam
178. proof of Pythagorean theorem by rspuzio
179. proof of snake lemma using spectral sequences by rm50
180. proof of Steiner's theorem by mathcam
181. proof of Yoneda lemma by GodelsTheorem
182. proof that an equalizer is a monomorphism by rmilson
183. proof that the compositum of a Galois extension and another extension is Galois by rm50
184. properties of a comma category by CWoo
185. properties of orthogonality on morphisms by CWoo
186. properties of pullback by CWoo
187. pseudocomplement by CWoo
188. pullback by matte
189. pullback bundle by bwebste
190. quadratrix by pahio
191. quantum automata and computation by bci1
192. quantum chromodynamics (QCD) by bci1
193. quantum groupoids by bci1
194. quantum operator algebras in quantum field theories by bci1
195. quantum super-operators by bci1
196. reduced word by Mazzu
197. regular monomorphism by CWoo
198. relation between pullbacks and other categorical limits by CWoo
199. Richard Feynman by Mravinci
200. ring hierarchy by Algeboy
201. ring hierarchy with links? by SamB
202. Rosetta biogroupoids by bci1
203. scheme by djao
204. Selmer group by alozano
205. sheaf by djao
206. sheaf by archibal
207. sheafification by djao
208. similarity and analogous systems: dynamic adjointness and topological equivalence by bci1
209. Simon Stevin by PrimeFan
210. snake lemma by mps
211. snake lemma, proof of by mps
212. solving the Black-Scholes PDE by finite differences by stevecheng
213. straight line is shortest curve between two points by stevecheng
214. strain transformation by CWoo
215. strong monomorphism by CWoo
216. subobject by CWoo
217. subobject classifier by CWoo
218. sum of powers by CWoo
219. supercategory by bci1
220. supercategory theories by bci1
221. superdiagrams as heterofunctors by bci1
222. symmetric monoidal category by CWoo
223. tangle by apollonius
224. tensor product of algebras by CWoo
225. the Gr\"ossencharacter associated to a CM elliptic curve by alozano
226. theorem on $CW$-complex approximation of quantum state spaces in QAT by bci1
227. things counted by the Catalan numbers by rm50
228. topos by CWoo
229. torus by Daume
230. tree by Logan
231. trigonometry by rm50
232. tubular neighborhood by PrimeFan
233. ultra-complex systems by bci1
234. unit of adjunction by CWoo
235. universal coefficient theorem by mps
236. universal derivation by pbruin
237. universal enveloping algebra by draisma
238. universal mapping property by MichaelMcCliment
239. unlimited register machine by CWoo
240. Van Kampen's theorem by RonaldBrown
241. Van Kampen's theorem result by mathcam
242. variable topology by bci1
243. Venn diagram by CWoo
244. vibrating string by perucho
245. Wagner congruence by Mazzu
246. weak Hopf algebra by bci1
247. weak Hopf C*-algebra by bci1
248. well-pointed topos by mps