×
Edit Profile (opens in new tab)

North, Paige Randall

Co-Author Distance
Author ID: north.paige-randall Recent zbMATH articles by "North, Paige Randall"
Published as: North, Paige Randall
Documents Indexed: 13 Publications since 2019, including 7 Additional arXiv Preprints
Co-Authors: 10 Co-Authors with 10 Joint Publications
74 Co-Co-Authors
all top 5

Co-Authors

3 single-authored
7 Ahrens, Benedikt
3 van der Weide, Niels
2 Péroux, Maximilien
2 Rasekh, Nima
2 Shulman, Michael A.
2 Tsementzis, Dimitris
1 Emmenegger, Jacopo
1 Krishnan, Sanjeevi
1 Mulder, Lukas
1 Rijke, Egbert

Serials

2 Mathematical Structures in Computer Science
1 Theory and Applications of Categories

Fields

7 Category theory; homological algebra (18-XX)
6 Mathematical logic and foundations (03-XX)
5 Algebraic topology (55-XX)
4 Computer science (68-XX)
1 Associative rings and algebras (16-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

6 Publications have been cited 23 times in 18 Documents Cited by ▼ Year ▼
Towards a directed homotopy type theory. Zbl 07515962
North, Paige Randall
9
2019
A higher structure identity principle. Zbl 1498.03027
Ahrens, Benedikt; North, Paige Randall; Shulman, Michael; Tsementzis, Dimitris
6
2020
Univalent foundations and the equivalence principle. Zbl 1528.03101
Ahrens, Benedikt; North, Paige Randall
3
2019
Identity types and weak factorization systems in Cauchy complete categories. Zbl 1468.03017
North, Paige Randall
2
2019
Bicategorical type theory: semantics and syntax. Zbl 07813371
Ahrens, Benedikt; North, Paige Randall; van der Weide, Niels
2
2023
A Hurewicz model structure for directed topology. Zbl 1465.18015
Krishnan, Sanjeevi; North, Paige Randall
1
2021
Bicategorical type theory: semantics and syntax. Zbl 07813371
Ahrens, Benedikt; North, Paige Randall; van der Weide, Niels
2
2023
A Hurewicz model structure for directed topology. Zbl 1465.18015
Krishnan, Sanjeevi; North, Paige Randall
1
2021
A higher structure identity principle. Zbl 1498.03027
Ahrens, Benedikt; North, Paige Randall; Shulman, Michael; Tsementzis, Dimitris
6
2020
Towards a directed homotopy type theory. Zbl 07515962
North, Paige Randall
9
2019
Univalent foundations and the equivalence principle. Zbl 1528.03101
Ahrens, Benedikt; North, Paige Randall
3
2019
Identity types and weak factorization systems in Cauchy complete categories. Zbl 1468.03017
North, Paige Randall
2
2019
all cited Publications top 5 cited Publications
all top 5

Cited by 29 Authors

3 van der Weide, Niels
2 Ahrens, Benedikt
2 Kraus, Nicolai
2 Licata, Daniel R.
2 Myers, David Jaz
2 North, Paige Randall
2 Veltri, Niccolò
1 Annenkov, Danil
1 Arsiwalla, Xerxes D.
1 Buchholtz, Ulrik
1 Capriotti, Paolo
1 Caviglia, Elena
1 Devriese, Dominique
1 Faustino, Catarina
1 Frumin, Dan
1 Gorard, Jonathan
1 Gylterud, Håkon Robbestad
1 Kahl, Thomas
1 Krishnan, Sanjeevi
1 Maggesi, Marco
1 Mesiti, Luca
1 New, Max S.
1 Nuyts, Andreas
1 Pinyo, Gun
1 Prieto-Cubides, Jonathan
1 Sati, Hisham
1 Sattler, Christian
1 Schreiber, Urs
1 Weaver, Matthew Z.
all top 5

Cited in 9 Serials

4 Mathematical Structures in Computer Science
2 Theory and Applications of Categories
2 Journal of Homotopy and Related Structures
2 Logical Methods in Computer Science
1 Communications in Mathematical Physics
1 International Journal of Theoretical Physics
1 Journal of Pure and Applied Algebra
1 Differential Geometry and its Applications
1 Higher Structures
all top 5

Cited in 7 Fields

10 Category theory; homological algebra (18-XX)
9 Mathematical logic and foundations (03-XX)
9 Algebraic topology (55-XX)
7 Computer science (68-XX)
2 Quantum theory (81-XX)
1 Manifolds and cell complexes (57-XX)
1 Relativity and gravitational theory (83-XX)

Citations by Year