Statements (55)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Mathematician
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Gerard_Moerdijk
|
| gptkbp:affiliation |
gptkb:Utrecht_University
|
| gptkbp:birth_place |
gptkb:Netherlands
|
| gptkbp:field_of_study |
gptkb:Mathematician
|
| https://www.w3.org/2000/01/rdf-schema#label |
Martha Moerdijk
|
| gptkbp:influenced_by |
gptkb:B._L._van_der_Waerden
|
| gptkbp:known_for |
gptkb:product
|
| gptkbp:nationality |
gptkb:Dutch
|
| gptkbp:publishes |
Sheaves in Geometry and Logic
Categorical Logic Model Categories Introduction to Topos Theory Topos Theory in Computer Science Categorical Foundations of Mathematics Algebraic Structures in Topology Algebraic Topology and Homotopy Theory Algebraic Topology and Its Applications Algebraic Topology and Its Foundations Applications of Categorical Logic Applications of Homotopy Theory Applications of Topos Theory Categorical Algebra Categorical Foundations of Algebra Categorical Logic and Foundations Categorical Logic and Its Applications Categorical Logic and Its Foundations Categorical Methods in Algebra Categorical Methods in Computer Science Categorical Structures in Mathematics Foundations of Algebraic Topology Foundations of Categorical Logic Foundations of Topos Theory Homotopy Theory and Its Applications Homotopy Theory and Its Foundations Homotopy Theory and Sheaves Homotopy Theory in Algebra Homotopy Theory in Computer Science Homotopy and Categorical Methods Sheaves and Homotopy Theory Sheaves and Logic Sheaves and Their Applications Sheaves in Algebraic Topology Topos Theory and Applications Topos Theory and Its Applications Topos Theory and Its Foundations Topos Theory and Logic Topos Theory in Computer Science and Logic Topos Theory in Mathematics |
| gptkbp:research_interest |
gptkb:Topos_Theory
Algebraic Topology Homotopy Theory |
| gptkbp:staff |
gptkb:Adriane_M._van_der_Waerden
|
| gptkbp:work_location |
gptkb:Utrecht
|