(more info)
Math for the people, by the people.
donor list
-
find out how
Encyclopedia
|
Requests
|
Forums
|
Docs
|
Wiki |
Random
|
RSS
Advanced search
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
(51)
Classification
talkback
Polls
Forums
Feedback
Bug Reports
downloads
Snapshots
PM Book
information
News
Docs
Wiki
ChangeLog
TODO List
Copyright
About
References to 'representable functor'
1.
$0\ne 1$ as real numbers
by
mps
2.
$PSL_2(\mathbb{Z})$ is a free product
by
rm50
3.
$\mu$-operator
by
CWoo
4.
$\sigma$-algebra at a stopping time
by
gel
5.
abacus
by
PrimeFan
6.
Acano a lunar calendar method
by
milogardner
7.
addition
by
PrimeFan
8.
Alexander Grothendieck's biography and his major mathematical contributions
by
bci1
9.
all positive integers are polite numbers except powers of two
by
PrimeFan
10.
an outline of Hilbert's programme
by
gribskoff
11.
analytic continuation of Riemann zeta (using integral)
by
rspuzio
12.
any rational number is a sum of unit fractions
by
Mathprof
13.
arc length
by
mathcam
14.
area formula
by
paolini
15.
arithmetic
by
PrimeFan
16.
arithmetic encoding
by
vampyr
17.
axiom schema of separation
by
Sabean
18.
Backus-Naur form
by
CWoo
19.
basic criterion for self-adjointness
by
Koro
20.
Bergman kernel
by
jirka
21.
Bernoulli random variable
by
Riemann
22.
beyond formalism: G\"{o}del's incompleteness
by
gribskoff
23.
biogroupoids: mathematical models of species evolution
by
bci1
24.
bipartite matching
by
mathcam
25.
birthday problem
by
PrimeFan
26.
bivector
by
PhysBrain
27.
Borel-Cantelli lemma
by
Koro
28.
Bourbaki, Nicolas
by
Daume
29.
BV function
by
paolini
30.
categorical algebra
by
bci1
31.
categorical dynamics
by
bci1
32.
category of quantum automata
by
bci1
33.
Cauchy initial value problem
by
paolini
34.
Cauchy integral formula
by
djao
35.
Cayley table
by
akrowne
36.
centered hexagonal number
by
PrimeFan
37.
chain rule (several variables)
by
rmilson
38.
characterization of signature of a permutation
by
rm50
39.
Chen's theorem
by
PrimeFan
40.
circulation and vorticity
by
perucho
41.
commuting matrices
by
Algeboy
42.
complex conjugate
by
akrowne
43.
computer representation of integers
by
rm50
44.
confluence
by
CWoo
45.
conjecture on fractions with odd denominators
by
drini
46.
conjunction
by
akrowne
47.
connection
by
rspuzio
48.
construction of polar coordinates
by
CWoo
49.
construction of well-formed formulas
by
CWoo
50.
current
by
paolini
51.
cycle
by
yark
52.
cycle notation
by
rmilson
53.
de Bruijn digraph
by
Mathprof
54.
derivation tree
by
CWoo
55.
derivative notation
by
mathcam
56.
Descartes' rule of signs
by
PrimeFan
57.
descriptive metadata specification
by
yi6604
58.
determining envelope
by
pahio
59.
deterministic finite automaton
by
CWoo
60.
differential geometry
by
rspuzio
61.
digital number system
by
akrowne
62.
dimension
by
bbukh
63.
dimension of the special orthogonal group
by
stevecheng
64.
direct sum of matrices
by
CWoo
65.
directed segment
by
drini
66.
discrete Fourier transform
by
stitch
67.
dominant strategy
by
Henry
68.
dual homomorphism of the derivative
by
rmilson
69.
Dynamic Stream
by
zshao
70.
elliptic curve cryptography
by
PrimeFan
71.
envelope of a function
by
cvalente
72.
equivalent definition of a representable functor
by
CWoo
73.
Euler's equation for rigid bodies
by
perucho
74.
Euler's polyhedron theorem, proof of
by
mps
75.
example of a semilocally simply connected space which is not locally simply connected
by
antonio
76.
examples of algebraic systems
by
CWoo
77.
examples of logarithms simplifying calculations
by
PrimeFan
78.
extended binary tree
by
aoh45
79.
exterior algebra
by
rmilson
80.
factorial base representation of fractions
by
rspuzio
81.
Fermat method
by
PrimeFan
82.
first fundamental form
by
stevecheng
83.
fixed-point arithmetic
by
PrimeFan
84.
flux of vector field
by
pahio
85.
Fourier series of function of bounded variation
by
pahio
86.
frame
by
rmilson
87.
Fredholm module
by
mhale
88.
game theory
by
Henry
89.
game-theoretical quantifier
by
Henry
90.
gauge group
by
sjm1979
91.
Gauss Green theorem
by
paolini
92.
generalized quantifier
by
Henry
93.
generalized regular expression
by
CWoo
94.
genetic nets
by
bci1
95.
geometric algebra
by
PhysBrain
96.
geometric random variable
by
mathcam
97.
Gram matrix
by
lalberti
98.
group
by
drini
99.
groupoid C*-dynamical system
by
bci1
100.
G\"odel's incompleteness theorems
by
mathcam
101.
G\"{o}del's beta function
by
gribskoff
102.
Hamilton equations
by
CWoo
103.
Harnack theorem
by
perucho
104.
heap
by
mps
105.
Helmholtz equation
by
Mathprof
106.
hexagonal number
by
PrimeFan
107.
highly-complex system diagrams
by
bci1
108.
Hilbert's $\varepsilon$-operator
by
gribskoff
109.
homotopes and isotopes of algebras
by
Algeboy
110.
Hough transform
by
madmortigan
111.
how to multiply polynomials
by
Algeboy
112.
Huffman coding
by
Logan
113.
hypergeometric random variable
by
alozano
114.
identity matrix
by
mathcam
115.
IF-logic
by
mathcam
116.
in-place sorting algorithm
by
archibal
117.
index of category theory
by
rspuzio
118.
integral binary quadratic forms
by
rm50
119.
interpretation of intuitionistic logic by means of functionals
by
gribskoff
120.
interval
by
PrimeFan
121.
intuitionistic logic
by
gribskoff
122.
irrationality measure
by
mathcam
123.
Jacobian matrix
by
PhysBrain
124.
joint continuous density function
by
mathcam
125.
Jones Polynomial
by
Stephaninos
126.
knot theory
by
CWoo
127.
Leibniz notation
by
mathcam
128.
length of a string
by
mathcam
129.
Lie algebroids
by
bci1
130.
Lindenmayer system
by
CWoo
131.
list vector
by
rmilson
132.
logic
by
Henry
133.
logical language
by
Henry
134.
long exact sequence (of homology groups)
by
mathcam
135.
loop
by
nerdy2
136.
Lorenz equation
by
Daume
137.
Lotka-Volterra system
by
jarino
138.
lower bound for sorting
by
stevecheng
139.
mathematics vocabulary
by
matte
140.
matrix condition number
by
stevecheng
141.
matrix representation of a bilinear form
by
vitriol
142.
matrix representation of relation composition
by
Jon Awbrey
143.
matroid
by
mps
144.
Mayer-Vietoris sequence
by
bwebste
145.
Mealy machine
by
CWoo
146.
method for representing rational numbers as sums of unit fractions using practical numbers
by
PrimeFan
147.
modular group
by
rm50
148.
molecular set theory
by
bci1
149.
monad
by
mathcam
150.
Moore machine
by
CWoo
151.
motion of continuum
by
perucho
152.
motivation for von Neumann ordinals
by
yark
153.
motivic cohomology
by
PrimeFan
154.
motivic cohomology
by
CWoo
155.
mountain pass theorem
by
ncrom
156.
M\"obius strip
by
Mathprof
157.
nabla
by
stevecheng
158.
negative binomial random variable
by
bgins
159.
negative hypergeometric random variable
by
alozano
160.
negative hypergeometric random variable, example of
by
aparna
161.
Neumann problem
by
dczammit
162.
no-arbitrage in the Black-Scholes pricing model
by
stevecheng
163.
non-commutative dynamic modeling diagrams
by
bci1
164.
non-deterministic finite automaton
by
mps
165.
not a number
by
PrimeFan
166.
nuclear C*-algebra
by
bci1
167.
numeration system
by
CWoo
168.
octonion
by
CWoo
169.
organismic supercategories and super-complex systems biodynamics
by
bci1
170.
Ostrowski theorem
by
Andrea Ambrosio
171.
Pareto random variable
by
alozano
172.
pencil of conics
by
pahio
173.
Penrose's first G\"odelian argument
by
dankomed
174.
permutable prime
by
PrimeFan
175.
perspectivity
by
CWoo
176.
physical vector
by
rmilson
177.
pictures of Dynkin diagrams
by
Dr_Absentius
178.
Plateau's Problem
by
paolini
179.
Poincar\'e duality
by
mathcam
180.
poker
by
PrimeFan
181.
polyadic algebra
by
CWoo
182.
polydisc
by
jirka
183.
principle of inclusion-exclusion
by
Mathprof
184.
proof of Wielandt-Hoffman theorem
by
Andrea Ambrosio
185.
proof that $n^2-n+41$ is prime for $0\leq n\leq 40$
by
rm50
186.
propositional calculus
by
Jon Awbrey
187.
propositional logic
by
Henry
188.
quadratic form
by
CWoo
189.
quantum automata and computation
by
bci1
190.
quantum chromodynamics (QCD)
by
bci1
191.
quantum field theories (QFT)
by
bci1
192.
quantum super-operators
by
bci1
193.
quotient ring
by
mathwizard
194.
radical theory
by
mclase
195.
rational set
by
CWoo
196.
real number
by
djao
197.
regression model
by
CWoo
198.
related rates
by
rmilson
199.
Ricci tensor
by
rmilson
200.
ring hierarchy
by
Algeboy
201.
Roman numerals
by
Koro
202.
round function
by
juanman
203.
rounding
by
CWoo
204.
scheme
by
djao
205.
second order logic
by
Henry
206.
semigroup with two elements
by
rspuzio
207.
sequent
by
Henry
208.
Serret-Frenet equations
by
rmilson
209.
singular solution
by
pahio
210.
Sobolev inequality
by
paolini
211.
star-free
by
CWoo
212.
straight-line program
by
Algeboy
213.
subobject classifier
by
CWoo
214.
subsemiautomaton
by
CWoo
215.
subtraction
by
PrimeFan
216.
summation
by
drini
217.
superfields, superspace and supergravity
by
bci1
218.
surface bundle over the circle
by
juanman
219.
surface integration with respect to area
by
rspuzio
220.
table of polite number representations for $1 < n < 101$
by
PrimeFan
221.
tangent plane (elementary)
by
rspuzio
222.
tangent space
by
rmilson
223.
tangle
by
apollonius
224.
Tarski's result on the undefinability of truth
by
mathcam
225.
tensor
by
rmilson
226.
tensor array
by
rmilson
227.
tensor product (vector spaces)
by
rmilson
228.
things counted by the Catalan numbers
by
rm50
229.
thirteen
by
PrimeFan
230.
time dilatation of a volume element
by
perucho
231.
time dilation
by
curious
232.
top ten coolest numbers
by
rspuzio
233.
topic entry on real numbers
by
matte
234.
topics in algebraic topology
by
bci1
235.
topological entropy
by
Koro
236.
tree
by
Logan
237.
tree (set theoretic)
by
Henry
238.
triadic relation
by
Jon Awbrey
239.
truth table
by
rspuzio
240.
Tutte theorem
by
scineram
241.
ultra-complex systems
by
bci1
242.
uniform (discrete) random variable
by
Riemann
243.
unit vector
by
rmilson
244.
United States of America Mathematical Olympiad
by
PrimeFan
245.
universal mapping property
by
MichaelMcCliment
246.
vector
by
rmilson
247.
Venn diagram
by
CWoo
248.
vibrating string
by
perucho
249.
Waring's problem
by
bbukh
250.
wave equation
by
Mathprof
251.
weakly compact cardinals and the tree property
by
Henry
252.
weighted path length
by
Logan
253.
word problem
by
Mazzu