PlanetMath:

PlanetMath

(more info)

Math for the people, by the people.

Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS

Login

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (230)
Orphanage
Unclass'd
Unproven (519)
Corrections (17)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Encyclopedia by subject

18A15 - Category theory; homological algebra :: General theory of categories and functors :: Foundations, relations to logic and deductive systems

$\mathcal{U}$ -small owned by mathcam algebraic category of -logic algebras owned by bci1 alternative definition of an Abelian category owned by bci1 axioms of elementary topoi owned by bci1 axioms of metacategories and supercategories owned by bci1 categorical quantum logics: quantum LM-algebraic logic owned by bci1 example of universe owned by rspuzio example of universe of finite sets owned by rspuzio fundamental diagrams in the categorical ontology theory of levels owned by bci1 higher dimensional generalized Van Kampen theorems (HD-VKT) owned by bci1 higher dimensional algebra owned by bci1 homotopy groupoids and crossed complexes: non-commutative structures in higher dimensional algebra (HDA) owned by bci1 mathematical foundations of quantum field theories owned by bci1 non-Abelian structures owned by bci1 non-Abelian theory owned by bci1 proof of properties of universe owned by rspuzio superalgebroids and higher dimensional algebroids owned by bci1 universe owned by archibal well-pointed topos owned by mps
Show empty categories:
[ up \| top ]