La Classification Mathématique par matières 2000
Mathematics subject Classification 2000

Query : CC = 03G30
03-XX Mathematical logic and foundations

• 03G30 Categorical logic, topoi [See also 18B25, 18C05, 18C10]

18-XX Category theory; homological algebra [For commutative rings see 13Dxx, for associative rings 16Exx, for groups 20Jxx, for topological groups and related structures 57Txx; see also 55Nxx and 55Uxx for algebraic topology]

• 18B25 Topoi [See also 03G30]
• 18C10 Theories (e.g. algebraic theories), structure, and semantics [See also 03G30]

---

Keyword :

---

Back to the Mathematics Subject Classification (version 2000)