×
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 2 Additional arXiv Preprints
Co-Authors: 11 Co-Authors with 19 Joint Publications
177 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 380 times in 291 Documents Cited by Year
Traced monoidal categories. Zbl 0845.18005
Joyal, André; Street, Ross; Verity, Dominic
116
1996
Elements of \(\infty\)-category theory. Zbl 1492.18001
Riehl, Emily; Verity, Dominic
40
2022
Homotopy coherent adjunctions and the formal theory of monads. Zbl 1329.18020
Riehl, Emily; Verity, Dominic
30
2016
Complicial sets characterising the simplicial nerves of strict \(\omega\)-categories. Zbl 1138.18005
Verity, Dominic
30
2008
Enriched categories, internal categories and change of base. Zbl 1254.18001
Verity, Dominic
26
2011
The theory and practice of Reedy categories. Zbl 1302.55014
Riehl, Emily; Verity, Dominic
25
2014
The 2-category theory of quasi-categories. Zbl 1319.18005
Riehl, Emily; Verity, Dominic
22
2015
Fibrations and Yoneda’s lemma in an \(\infty\)-cosmos. Zbl 1378.18007
Riehl, Emily; Verity, Dominic
20
2017
Modulated bicategories. Zbl 0805.18002
Carboni, Aurelio; Johnson, Scott; Street, Ross; Verity, Dominic
12
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
9
2017
Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions. Zbl 1319.18006
Riehl, Emily; Verity, Dominic
9
2015
The comprehensive factorization and torsors. Zbl 1315.18014
Street, Ross; Verity, Dominic
8
2010
The comprehension construction. Zbl 1409.18021
Riehl, Emily; Verity, Dominic
6
2018
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
Infinity category theory from scratch. Zbl 1451.18042
Riehl, Emily; Verity, Dominic
3
2020
Generalized logic and the representation of rings. Zbl 0856.03050
Ambler, Simon; Verity, Dominic
2
1996
Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. Zbl 1456.18003
Riehl, Emily; Verity, Dominic
2
2020
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
40
2022
Infinity category theory from scratch. Zbl 1451.18042
Riehl, Emily; Verity, Dominic
3
2020
Recognizing quasi-categorical limits and colimits in homotopy coherent nerves. Zbl 1456.18003
Riehl, Emily; Verity, Dominic
2
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
6
2018
Fibrations and Yoneda’s lemma in an \(\infty\)-cosmos. Zbl 1378.18007
Riehl, Emily; Verity, Dominic
20
2017
Kan extensions and the calculus of modules for \(\infty\)-categories. Zbl 1362.18020
Riehl, Emily; Verity, Dominic
9
2017
Homotopy coherent adjunctions and the formal theory of monads. Zbl 1329.18020
Riehl, Emily; Verity, Dominic
30
2016
The 2-category theory of quasi-categories. Zbl 1319.18005
Riehl, Emily; Verity, Dominic
22
2015
Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions. Zbl 1319.18006
Riehl, Emily; Verity, Dominic
9
2015
The theory and practice of Reedy categories. Zbl 1302.55014
Riehl, Emily; Verity, Dominic
25
2014
Enriched categories, internal categories and change of base. Zbl 1254.18001
Verity, Dominic
26
2011
The comprehensive factorization and torsors. Zbl 1315.18014
Street, Ross; Verity, Dominic
8
2010
Complicial sets characterising the simplicial nerves of strict \(\omega\)-categories. Zbl 1138.18005
Verity, Dominic
30
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
116
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
12
1994
all top 5

Cited by 307 Authors

14 Rovelli, Martina
13 Lack, Stephen
12 Ozornova, Viktoriya
12 Riehl, Emily
9 Gadducci, Fabio
8 Bourke, John
8 Garner, Richard
8 Street, Ross H.
8 Verity, Dominic
6 Hasegawa, Masahito
6 Haugseng, Rune
6 Kaarsgaard, Robin
6 Scott, Philip J.
6 Shulman, Michael A.
6 Zanasi, Fabio
5 Campbell, Alexander Peter
5 Coecke, Bob
5 Rasekh, Nima
4 Abramsky, Samson
4 Bonchi, Filippo
4 Gagna, Andrea
4 Glück, Robert
4 Haghverdi, Esfandiar
4 Hoshino, Naohiko
4 Katsumata, Shin-ya
4 Maehara, Yuki
4 Nuiten, Joost Jakob
4 Sobociński, Paweł
3 Beardsley, Jonathan
3 Buckley, Mitchell
3 Gambino, Nicola
3 Hackney, Philip
3 Hamano, Masahiro
3 Harpaz, Yonatan
3 Hermida, Claudio
3 Joyal, André
3 Kapulkin, Krzysztof
3 Kissinger, Aleks
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 Ching, Michael
2 Cigoli, Alan S.
2 Cockett, J. Robin B.
2 Corradini, Andrea
2 Dal Lago, Ugo
2 Elmanto, Elden
2 Ésik, Zoltán
2 Finster, Eric
2 Grandis, Marco
2 Hamana, Makoto
2 Harper, John E.
2 Hasuo, Ichiro
2 Hebestreit, Fabian
2 Heunen, Chris
2 Heuts, Gijs
2 Hughes, Dominic J. D.
2 Jacobs, Bart
2 Janelidze, Zurab
2 Lanari, Edoardo
2 Linskens, Sil
2 Mantovani, Sandra
2 Mathew, Akhil
2 Meier, Lennart
2 Metere, Giuseppe
2 Milius, Stefan
2 Montanari, Ugo G.
2 Moser, Lyne
2 Nguyen, Hoang Kim
2 Paquette, Éric Oliver
2 Paré, Robert
2 Perdrix, Simon
2 Pereira, Luís Alexandre
2 Piedeleu, Robin
2 Ponto, Kate
2 Rahn, Moritz
2 Raptis, George
2 Safronov, Pavel
2 Scheimbauer, Claudia I.
2 Schrade, Christoph
2 Schultz, Patrick
2 Selinger, Peter
2 Spivak, David I.
2 Stubbe, Isar
2 Tennent, Robert D.
2 Vasilakopoulou, Christina
2 Velebil, Jiří
2 Yanovski, Lior
1 Adámek, Jiří
1 Alcalá, Ramón Abud
...and 207 more Authors
all top 5

Cited in 60 Serials

38 Journal of Pure and Applied Algebra
32 Advances in Mathematics
19 Theory and Applications of Categories
17 MSCS. Mathematical Structures in Computer Science
11 Theoretical Computer Science
11 Algebraic & Geometric Topology
10 Applied Categorical Structures
9 Higher Structures
7 Journal of Homotopy and Related Structures
4 Transactions of the American Mathematical Society
4 Information and Computation
4 RAIRO. Theoretical Informatics and Applications
3 Mathematical Proceedings of the Cambridge Philosophical Society
3 Compositio Mathematica
3 Journal of the London Mathematical Society. Second Series
3 Annals of Pure and Applied Logic
3 Expositiones Mathematicae
3 Logical Methods in Computer Science
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 Mathematische Zeitschrift
2 Proceedings of the American Mathematical Society
2 Tbilisi Mathematical Journal
2 Annals of \(K\)-Theory
1 Acta Informatica
1 Communications in Algebra
1 Journal of Mathematical Physics
1 Lithuanian Mathematical Journal
1 Algebra Universalis
1 Canadian Mathematical Bulletin
1 Fuzzy Sets and Systems
1 Inventiones Mathematicae
1 The Journal of Symbolic Logic
1 Kodai Mathematical Journal
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 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

Citations by Year