×
Edit Profile (opens in new tab)

Verity, Dominic

Co-Author Distance
Author ID: verity.dominic Recent zbMATH articles by "Verity, Dominic"
Published as: Verity, Dominic; Verity, D.
External Links: ORCID
Documents Indexed: 23 Publications since 1994, including 2 Books and 1 Additional arXiv Preprint
Co-Authors: 11 Co-Authors with 19 Joint Publications
190 Co-Co-Authors
all top 5

Co-Authors

4 single-authored
12 Riehl, Emily
3 Street, Ross H.
2 Carboni, Aurelio
1 Ambler, Simon J.
1 Buckland, Richard
1 Johnson, Michael Sterling James
1 Joyal, André
1 Kelly, Gregory Maxwell
1 Ozornova, Viktoriya
1 Rovelli, Martina
1 Wood, Richard J.
all top 5

Serials

4 Theory and Applications of Categories
3 Higher Structures
2 Advances in Mathematics
2 Journal of Pure and Applied Algebra
2 Applied Categorical Structures
1 Mathematical Proceedings of the Cambridge Philosophical Society
1 Memoirs of the American Mathematical Society
1 Homology, Homotopy and Applications
1 Algebraic & Geometric Topology
1 Reprints in Theory and Applications of Categories
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Cambridge Studies in Advanced Mathematics
all top 5

Fields

22 Category theory; homological algebra (18-XX)
13 Algebraic topology (55-XX)
1 Mathematical logic and foundations (03-XX)
1 Algebraic geometry (14-XX)
1 \(K\)-theory (19-XX)
1 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

20 Publications have been cited 430 times in 328 Documents Cited by ▼ Year ▼
Traced monoidal categories. Zbl 0845.18005
Joyal, André; Street, Ross; Verity, Dominic
133
1996
Elements of \(\infty\)-category theory. Zbl 1492.18001
Riehl, Emily; Verity, Dominic
49
2022
Homotopy coherent adjunctions and the formal theory of monads. Zbl 1329.18020
Riehl, Emily; Verity, Dominic
35
2016
Complicial sets characterising the simplicial nerves of strict \(\omega\)-categories. Zbl 1138.18005
Verity, Dominic
33
2008
Enriched categories, internal categories and change of base. Zbl 1254.18001
Verity, Dominic
28
2011
The theory and practice of Reedy categories. Zbl 1302.55014
Riehl, Emily; Verity, Dominic
27
2014
The 2-category theory of quasi-categories. Zbl 1319.18005
Riehl, Emily; Verity, Dominic
25
2015
Fibrations and Yoneda’s lemma in an \(\infty\)-cosmos. Zbl 1378.18007
Riehl, Emily; Verity, Dominic
22
2017
Modulated bicategories. Zbl 0805.18002
Carboni, Aurelio; Johnson, Scott; Street, Ross; Verity, Dominic
14
1994
Weak complicial sets. II: Nerves of complicial Gray-categories. Zbl 1137.18005
Verity, Dominic
12
2007
Kan extensions and the calculus of modules for \(\infty\)-categories. Zbl 1362.18020
Riehl, Emily; Verity, Dominic
10
2017
Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions. Zbl 1319.18006
Riehl, Emily; Verity, Dominic
10
2015
The comprehensive factorization and torsors. Zbl 1315.18014
Street, Ross; Verity, Dominic
9
2010
A 2-categorical approach to change of base and geometric morphisms. II. Zbl 0898.18001
Carboni, A.; Kelly, G. M.; Verity, D.; Wood, R. J.
6
1998
The comprehension construction. Zbl 1409.18021
Riehl, Emily; Verity, Dominic
5
2018
Infinity category theory from scratch. Zbl 1451.18042
Riehl, Emily; Verity, Dominic
5
2020
Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. Zbl 1456.18003
Riehl, Emily; Verity, Dominic
3
2020
Generalized logic and the representation of rings. Zbl 0856.03050
Ambler, Simon; Verity, Dominic
2
1996
On the specification of higher dimensional automata. Zbl 1268.68122
Buckland, Richard; Johnson, Michael; Verity, Dominic
1
2002
On the construction of limits and colimits in \(\infty\)-categories. Zbl 1451.18043
Riehl, Emily; Verity, Dominic
1
2020
Elements of \(\infty\)-category theory. Zbl 1492.18001
Riehl, Emily; Verity, Dominic
49
2022
Infinity category theory from scratch. Zbl 1451.18042
Riehl, Emily; Verity, Dominic
5
2020
Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. Zbl 1456.18003
Riehl, Emily; Verity, Dominic
3
2020
On the construction of limits and colimits in \(\infty\)-categories. Zbl 1451.18043
Riehl, Emily; Verity, Dominic
1
2020
The comprehension construction. Zbl 1409.18021
Riehl, Emily; Verity, Dominic
5
2018
Fibrations and Yoneda’s lemma in an \(\infty\)-cosmos. Zbl 1378.18007
Riehl, Emily; Verity, Dominic
22
2017
Kan extensions and the calculus of modules for \(\infty\)-categories. Zbl 1362.18020
Riehl, Emily; Verity, Dominic
10
2017
Homotopy coherent adjunctions and the formal theory of monads. Zbl 1329.18020
Riehl, Emily; Verity, Dominic
35
2016
The 2-category theory of quasi-categories. Zbl 1319.18005
Riehl, Emily; Verity, Dominic
25
2015
Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions. Zbl 1319.18006
Riehl, Emily; Verity, Dominic
10
2015
The theory and practice of Reedy categories. Zbl 1302.55014
Riehl, Emily; Verity, Dominic
27
2014
Enriched categories, internal categories and change of base. Zbl 1254.18001
Verity, Dominic
28
2011
The comprehensive factorization and torsors. Zbl 1315.18014
Street, Ross; Verity, Dominic
9
2010
Complicial sets characterising the simplicial nerves of strict \(\omega\)-categories. Zbl 1138.18005
Verity, Dominic
33
2008
Weak complicial sets. II: Nerves of complicial Gray-categories. Zbl 1137.18005
Verity, Dominic
12
2007
On the specification of higher dimensional automata. Zbl 1268.68122
Buckland, Richard; Johnson, Michael; Verity, Dominic
1
2002
A 2-categorical approach to change of base and geometric morphisms. II. Zbl 0898.18001
Carboni, A.; Kelly, G. M.; Verity, D.; Wood, R. J.
6
1998
Traced monoidal categories. Zbl 0845.18005
Joyal, André; Street, Ross; Verity, Dominic
133
1996
Generalized logic and the representation of rings. Zbl 0856.03050
Ambler, Simon; Verity, Dominic
2
1996
Modulated bicategories. Zbl 0805.18002
Carboni, Aurelio; Johnson, Scott; Street, Ross; Verity, Dominic
14
1994
all cited Publications top 5 cited Publications
all top 5

Cited by 339 Authors

15 Rovelli, Martina
14 Lack, Stephen
12 Ozornova, Viktoriya
12 Riehl, Emily
10 Gadducci, Fabio
9 Bourke, John
8 Garner, Richard
8 Street, Ross H.
8 Verity, Dominic
7 Rasekh, Nima
7 Zanasi, Fabio
6 Hasegawa, Masahito
6 Haugseng, Rune
6 Kaarsgaard, Robin
6 Scott, Philip J.
6 Shulman, Michael A.
5 Abramsky, Samson
5 Bonchi, Filippo
5 Campbell, Alexander Peter
5 Coecke, Bob
5 Hoshino, Naohiko
5 Katsumata, Shin-ya
5 Sobociński, Paweł
4 Gagna, Andrea
4 Glück, Robert
4 Haghverdi, Esfandiar
4 Kissinger, Aleks
4 Maehara, Yuki
4 Nuiten, Joost Jakob
3 Beardsley, Jonathan
3 Cockett, J. Robin B.
3 Gambino, Nicola
3 Hackney, Philip
3 Hamano, Masahiro
3 Harpaz, Yonatan
3 Hasuo, Ichiro
3 Hermida, Claudio
3 Heunen, Chris
3 Joyal, André
3 Kapulkin, Krzysztof
3 Mathew, Akhil
3 Moser, Lyne
3 Sabadini, Nicoletta
3 Sattler, Christian
3 Szumiło, Karol
3 Vitale, Enrico Maria
3 Walters, Robert F. C.
2 Aguirre, Alejandro
2 Anel, Mathieu
2 Ara, Dimitri
2 Axelsen, Holger Bock
2 Biedermann, Georg
2 Blute, Richard F.
2 Bonventre, Peter
2 Bourn, Dominique
2 Buckley, Mitchell
2 Ching, Michael
2 Cigoli, Alan S.
2 Corradini, Andrea
2 Dal Lago, Ugo
2 Elmanto, Elden
2 Ésik, Zoltán
2 Finster, Eric
2 Ghica, Dan R.
2 Goncharov, Sergeĭ Savost’yanovich
2 Grandis, Marco
2 Hamana, Makoto
2 Harper, John E.
2 Hebestreit, Fabian
2 Heuts, Gijs
2 Hofstra, Pieter J. W.
2 Hughes, Dominic J. D.
2 Jacobs, Bart
2 Janelidze, Zurab
2 Jurčo, Branislav
2 Koudenburg, Seerp Roald
2 Kraus, Nicolai
2 Lanari, Edoardo
2 Licata, Daniel R.
2 Linskens, Sil
2 Mantovani, Sandra
2 Matsuda, Kazutaka
2 Meier, Lennart
2 Metere, Giuseppe
2 Milius, Stefan
2 Montanari, Ugo G.
2 Nguyen, Hoang Kim
2 Niefield, Susan B.
2 Paquette, Éric Oliver
2 Paré, Robert
2 Pavlović, Duško
2 Perdrix, Simon
2 Pereira, Luís Alexandre
2 Piedeleu, Robin
2 Ponto, Kate
2 Rahn, Moritz
2 Raptis, George
2 Safronov, Pavel
2 Sämann, Christian
2 Scheimbauer, Claudia I.
...and 239 more Authors
all top 5

Cited in 65 Serials

46 Journal of Pure and Applied Algebra
33 Advances in Mathematics
22 Theory and Applications of Categories
17 Mathematical Structures in Computer Science
12 Theoretical Computer Science
11 Applied Categorical Structures
11 Algebraic & Geometric Topology
9 Higher Structures
8 Journal of Homotopy and Related Structures
4 Transactions of the American Mathematical Society
4 Information and Computation
4 RAIRO. Theoretical Informatics and Applications
4 Logical Methods in Computer Science
3 Mathematical Proceedings of the Cambridge Philosophical Society
3 Compositio Mathematica
3 Journal of the London Mathematical Society. Second Series
3 Mathematische Zeitschrift
3 Annals of Pure and Applied Logic
3 Expositiones Mathematicae
3 Forum of Mathematics, Sigma
2 Communications in Mathematical Physics
2 Bulletin of the London Mathematical Society
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 Journal of Algebra
2 Proceedings of the American Mathematical Society
2 Tbilisi Mathematical Journal
2 Annals of \(K\)-Theory
1 Acta Informatica
1 Communications in Algebra
1 International Journal of Theoretical Physics
1 Journal of Mathematical Physics
1 Lithuanian Mathematical Journal
1 Fortschritte der Physik
1 Algebra Universalis
1 Bulletin de la Société Mathématique de France
1 Canadian Mathematical Bulletin
1 Fuzzy Sets and Systems
1 Inventiones Mathematicae
1 The Journal of Symbolic Logic
1 Kodai Mathematical Journal
1 Memoirs of the American Mathematical Society
1 Proceedings of the London Mathematical Society. Third Series
1 \(K\)-Theory
1 Journal of the American Mathematical Society
1 Formal Aspects of Computing
1 Linear Algebra and its Applications
1 Annales de la Faculté des Sciences de Toulouse. Mathématiques. Série VI
1 Journal of Functional Programming
1 Boletín de la Sociedad Matemática Mexicana. Third Series
1 Documenta Mathematica
1 Journal of the ACM
1 Annals of Mathematics. Second Series
1 Journal of High Energy Physics
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Journal of the Institute of Mathematics of Jussieu
1 Mediterranean Journal of Mathematics
1 Operators and Matrices
1 Journal of Topology
1 Journal of Formalized Reasoning
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Logical and Algebraic Methods in Programming
1 Categories and General Algebraic Structures with Applications
1 Tunisian Journal of Mathematics
1 La Matematica
all top 5

Cited in 32 Fields

252 Category theory; homological algebra (18-XX)
91 Algebraic topology (55-XX)
89 Computer science (68-XX)
56 Mathematical logic and foundations (03-XX)
27 Quantum theory (81-XX)
15 Associative rings and algebras (16-XX)
12 Algebraic geometry (14-XX)
12 \(K\)-theory (19-XX)
8 Manifolds and cell complexes (57-XX)
7 Group theory and generalizations (20-XX)
6 Combinatorics (05-XX)
6 Order, lattices, ordered algebraic structures (06-XX)
3 History and biography (01-XX)
3 General algebraic systems (08-XX)
3 Linear and multilinear algebra; matrix theory (15-XX)
3 Topological groups, Lie groups (22-XX)
3 Functional analysis (46-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
3 Information and communication theory, circuits (94-XX)
2 General topology (54-XX)
1 General and overarching topics; collections (00-XX)
1 Field theory and polynomials (12-XX)
1 Commutative algebra (13-XX)
1 Nonassociative rings and algebras (17-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Operator theory (47-XX)
1 Differential geometry (53-XX)
1 Probability theory and stochastic processes (60-XX)
1 Mechanics of particles and systems (70-XX)
1 Relativity and gravitational theory (83-XX)
1 Systems theory; control (93-XX)

Citations by Year