Home | About | Tools
home » context search » foundations

Search within these results

abstract
adjoint
algebra
arithmetic
arrows
axiom
axiomatic
axiomatization
beginners
bimorphisms
brouwer
calculus
categorical
category
conjectures
consistency
consistent
constructions
constructivism
constructivists
contravariant
deductivism
eilenberg
embodied
empirical
empiricism
entities
euclid
fictionalism
fields
finitary
formalism
formalists
foundations
frege
freyd
functor
geometry
gödel
hersh
hilbert
hom
indispensability
infinitesimal
inspires
intuition
intuitionism
isomorphism
lane
lawvere
leibniz
lej
logic
logicism
logicist
mac
mathematical
mathematicians
mathematics
meaningful
monic
morphism
notation
numbers
object
operads
philosophy
platonism
plural
preserving
priori
problems
proof
prove
pure
putnam
pythagorean
quantity
quine
quipu
realism
realists
rigor
rigorous
sciences
theorems
theory
topology
transformations
truths
unrigorous

Matching Pages (3 found; page 1 of 1)

Category theory - Wikipedia

Functors Main article: functor Functors are structure-preserving maps between categories. They can be thought of as morphisms in the category of al...

Mathematics - Wikipedia

Inspiration, pure and applied mathematics, and aesthetics 4 Notation, language, and rigor 5 Mathematics as science 6 Fields of mathematics 6.1 Quan...

Philosophy of mathematics - Wikipedia, the free encyclopedia

Mathematical Philosophy . Contents 1 Historical overview 2 Philosophy of mathematics in the 20th century 3 Contemporary schools of thought 3.1 Math...

About Us | Feedback | Contact Us | ©2007 Trailfire Inc. All rights reserved.