Edit Profile (opens in new tab) Verity, Dominic Co-Author Distance Author ID: 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 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 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 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 30 Fields 227 Category theory; homological algebra (18-XX) 82 Algebraic topology (55-XX) 73 Computer science (68-XX) 45 Mathematical logic and foundations (03-XX) 20 Quantum theory (81-XX) 14 Associative rings and algebras (16-XX) 11 \(K\)-theory (19-XX) 8 Algebraic geometry (14-XX) 7 Group theory and generalizations (20-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 6 Manifolds and cell complexes (57-XX) 5 Combinatorics (05-XX) 3 History and biography (01-XX) 3 General algebraic systems (08-XX) 3 Linear and multilinear algebra; matrix theory (15-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 Topological groups, Lie groups (22-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 General topology (54-XX) 1 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX) Citations by Year