Theory and Applications of Categories Short Title: Theory Appl. Categ. Publisher: Mount Allison University, Department of Mathematics and Computer Science, Sackville, NB ISSN: 1201-561X/e Online: http://www.tac.mta.ca/tac/http://www.emis.de/journals/TAC/ Comments: Journal; Indexed cover-to-cover; Published electronic only as of Vol. 1 (1995). This journal is available open access. Documents Indexed: 1,012 Publications (since 1995) References Indexed: 411 Publications with 13,631 References. all top 5 Latest Issues 44 (2025) 42, Spec. Vol. Hofstra Festschrift (2024) 41 (2024) 40, Spec. Vol. Bunge Festschrift (2024) 39 (2023) 38 (2022) 37 (2021) 36 (2021) 35 (2020) 34 (2019) 33 (2018) 32 (2017) 31 (2016) 30 (2015) 29 (2014) 28 (2013) 27 (2012/2013) 26 (2012) 25 (2011) 24 (2010) 23 (2010) 22 (2009) 21 (2008) 20 (2008) 19, Spec. Vol. CT2006 Conf. (2007) 18 (2007) 17 (2006) 16 (2006) 15, Spec. Vol. CT2004 Conf. (2005-2006) 14 (2005) 13 (2004) 12 (2004) 11 (2003) 10 (2002) 9, Spec. Vol. CT2000 Conf. (2001) 8 (2001) 7 (2000) 6 (1999) 5 (1999) 4 (1998) 3 (1997) 2 (1996) 1 (1995) all top 5 Authors 24 Barr, Michael 23 Rosický, Jiří 20 Adámek, Jiří 20 Cockett, J. Robin B. 19 Lack, Stephen 19 Street, Ross H. 19 Wood, Richard J. 17 Bourn, Dominique 16 Janelidze, George 15 Raphael, Robert M. 14 Kennison, John F. 13 Gran, Marino 13 Menni, Matías 13 Niefield, Susan B. 12 Vitale, Enrico Maria 11 Baez, John C. 11 Clementino, Maria Manuel 11 Grandis, Marco 11 Kelly, Gregory Maxwell 11 Pronk, Dorette A. 11 Tholen, Walter 11 van der Linden, Tim 10 Janelidze, Zurab 10 Paré, Robert 10 Seely, Robert A. G. 9 Cruttwell, Geoffrey S. H. 9 Gaucher, Philippe 9 Gray, James Richard Andrew 9 Kock, Anders Jungersen 9 Lucyshyn-Wright, Rory B. B. 9 Marmolejo, Francisco 9 Shulman, Michael A. 9 Weber, Mark 8 Funk, Jonathon R. 8 Hofstra, Pieter J. W. 8 Leinster, Tom 8 Rodelo, Diana 8 Rosebrugh, Robert D. 7 Borceux, Francis 7 Brown, Ronald 7 Cheng, Eugenia 7 Garner, Richard 7 Lawvere, Francis William 6 Bezhanishvili, Guram 6 Hofmann, Dirk 6 Martins-Ferreira, Nelson 6 Mesablishvili, Bachuki 6 Montoli, Andrea 6 Porter, Timothy 6 Sousa, Lurdes 6 Velebil, Jiří 6 Walters, Robert F. C. 5 Blute, Richard F. 5 de Paiva, Valeria 5 Everaert, Tomas 5 Fong, Brendan 5 Garzón, Antonio R. 5 Gurski, Nick 5 Heunen, Chris 5 Hoefnagel, Michael Anton 5 Jacqmin, Pierre-Alain 5 Kaliszewski, Steven Paul 5 Karazeris, Panagis 5 Koslowski, Jürgen 5 Lucatelli Nunes, Fernando 5 Lyubashenko, Volodymyr V. 5 Mantovani, Sandra 5 Metere, Giuseppe 5 Morandi, Patrick J. 5 Pacaud Lemay, Jean-Simon 5 Parker, Jason T. 5 Pisani, Claudio 5 Quigg, John C. 5 Schweigert, Christoph 5 Shen, Lili 5 Steiner, Richard J. 5 Stubbe, Isar 5 Szyld, Martín 5 Xarez, João J. 4 Böhm, Gabriella 4 Caramello, Olivia 4 Chirvăsitu, Alexandru 4 Cigoli, Alan S. 4 Courser, Kenny 4 Dawson, Robert James MacGregor 4 Freyd, Peter J. 4 Fritz, Tobias 4 Hasegawa, Masahito 4 Janelidze-Gray, Tamar 4 Kenney, Toby 4 Koudenburg, Seerp Roald 4 Milius, Stefan 4 Shoikhet, Boris B. 4 Streicher, Thomas 4 Verity, Dominic 4 Voevodskiĭ, Vladimir Aleksandrovich 3 Aldrovandi, Ettore 3 Batanin, Michael A. 3 Bédos, Erik 3 Bunge, Marta Cavallo ...and 684 more Authors all top 5 Fields 955 Category theory; homological algebra (18-XX) 160 Algebraic topology (55-XX) 103 Mathematical logic and foundations (03-XX) 76 General algebraic systems (08-XX) 76 Group theory and generalizations (20-XX) 72 Order, lattices, ordered algebraic structures (06-XX) 68 Associative rings and algebras (16-XX) 63 General topology (54-XX) 46 Computer science (68-XX) 32 Functional analysis (46-XX) 31 Algebraic geometry (14-XX) 24 Manifolds and cell complexes (57-XX) 23 Topological groups, Lie groups (22-XX) 20 Commutative algebra (13-XX) 20 Nonassociative rings and algebras (17-XX) 18 \(K\)-theory (19-XX) 18 Differential geometry (53-XX) 16 Combinatorics (05-XX) 13 Global analysis, analysis on manifolds (58-XX) 13 Quantum theory (81-XX) 10 Field theory and polynomials (12-XX) 9 History and biography (01-XX) 8 Dynamical systems and ergodic theory (37-XX) 7 Geometry (51-XX) 6 General and overarching topics; collections (00-XX) 6 Several complex variables and analytic spaces (32-XX) 6 Probability theory and stochastic processes (60-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Real functions (26-XX) 4 Information and communication theory, circuits (94-XX) 3 Number theory (11-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 3 Operations research, mathematical programming (90-XX) 2 Measure and integration (28-XX) 2 Operator theory (47-XX) 2 Convex and discrete geometry (52-XX) 2 Statistics (62-XX) 2 Systems theory; control (93-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-XX) 1 Abstract harmonic analysis (43-XX) 1 Mechanics of particles and systems (70-XX) 1 Mechanics of deformable solids (74-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 752 Publications have been cited 6,144 times in 3,379 Documents Cited by ▼ Year ▼ Higher-dimensional algebra. VI: Lie 2-algebras. Zbl 1057.17011 Baez, John C.; Crans, Alissa S. 164 2004 Higher-dimensional algebra. V: 2-Groups. Zbl 1056.18002 Baez, John C.; Lauda, Aaron D. 148 2004 Categorical structures enriched in a quantaloid: categories, distributors and functors. Zbl 1079.18005 Stubbe, Isar 83 2005 Framed bicategories and monoidal fibrations. Zbl 1192.18005 Shulman, Michael 76 2008 Composing PROPs. Zbl 1062.18007 Lack, Stephen 69 2004 Protomodularity, descent, and semidirect products. Zbl 0890.18003 Bourn, D.; Janelidze, G. 63 1998 Categorical structures enriched in a quantaloid: tensored and cotensored categories. Zbl 1119.18005 Stubbe, Isar 61 2006 Characterization of protomodular varieties of universal algebras. Zbl 1021.08003 Bourn, Dominique; Janelidze, George 58 2003 Homotopy theory for algebras over polynomial monads. Zbl 1368.18006 Batanin, M. A.; Berger, C. 49 2017 Notes on enriched categories with colimits of some class. Zbl 1082.18004 Kelly, G. M.; Schmitt, V. 48 2005 TFT Construction of RCFT correlators. V: Proof of modular invariance and factorisation. Zbl 1151.81038 Fjelstad, Jens; Fuchs, Jürgen; Runkel, Ingo; Schweigert, Christoph 45 2006 On the representability of actions in a semi-abelian category. Zbl 1103.18006 Borceux, F.; Janelidze, G.; Kelly, G. M. 45 2005 Enriched Lawvere theories. Zbl 0943.18003 Power, John 42 1999 Familial 2-functors and parametric right adjoints. Zbl 1152.18005 Weber, Mark 40 2007 The pointed subobject functor, \(3\times 3\) lemmas, and subtractivity of spans. Zbl 1234.18009 Janelidze, Zurab 40 2010 Centrality and normality in protomodular categories. Zbl 1004.18004 Bourn, Dominique; Gran, Marino 39 2001 Localic completion of generalized metric spaces I. Zbl 1083.54019 Vickers, Steven 39 2005 Cartesian differential categories. Zbl 1262.18004 Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 39 2009 Categories in control. Zbl 1316.18009 Baez, John C.; Erbele, Jason 39 2015 Connections on non-abelian gerbes and their holonomy. Zbl 1279.53024 Schreiber, Urs; Waldorf, Konrad 39 2013 A note on actions of a monoidal category. Zbl 1009.18005 Janelidze, G.; Kelly, G. M. 37 2001 Simplicial matrices and the nerves of weak \(n\)-categories I: Nerves of bicategories. Zbl 1046.18009 Duskin, John W. 37 2001 Introduction to coalgebra. Zbl 1080.18005 Adámek, Jiří 36 2005 Frobenius algebras and ambidextrous adjunctions. Zbl 1092.18003 Lauda, Aaron D. 35 2006 Elementary quotient completion. Zbl 1288.03048 Maietti, Maria Emilia; Rosolini, Giuseppe 35 2013 Cubical sets and their site. Zbl 1022.18009 Grandis, Marco; Mauri, Luca 34 2003 \(\mathfrak V\)-Cat is locally presentable or locally bounded if \(\mathfrak V\) is so. Zbl 1003.18008 Kelly, G. M.; Lack, Stephen 34 2001 Monads of effective descent type and comonadicity. Zbl 1085.18003 Mesablishvili, Bachuki 34 2006 Opmonoidal monads. Zbl 1018.18006 McCrudden, Paddy 34 2002 Distributive laws for pseudomonads. Zbl 0919.18004 Marmolejo, F. 33 1999 Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Zbl 0879.03022 Cockett, J. R. B.; Seely, R. A. G. 32 1997 On property-like structures. Zbl 0935.18005 Kelly, G. M.; Lack, Stephen 30 1997 Generic morphisms, parametric representations and weakly cartesian monads. Zbl 1062.18008 Weber, Mark 30 2004 Doctrines whose structure forms a fully faithful adjoint string. Zbl 0878.18004 Marmolejo, F. 29 1997 Isomorphisms between left and right adjoints. Zbl 1042.18008 Fausk, H.; Hu, P.; May, J. P. 29 2003 A compositional framework for passive linear networks. Zbl 1402.18005 Baez, John C.; Fong, Brendan 29 2018 Canonical and op-canonical lax algebras. Zbl 1088.18006 Seal, Gavin J. 29 2005 Axiomatic cohesion. Zbl 1123.18001 Lawvere, F. William 28 2007 On sifted colimits and generalized varieties. Zbl 0971.18004 Adámek, Jiří; Rosický, Jiří 28 2001 A unified framework for generalized multicategories. Zbl 1220.18003 Cruttwell, G. S. H.; Shulman, Michael A. 28 2010 The theory and practice of Reedy categories. Zbl 1302.55014 Riehl, Emily; Verity, Dominic 28 2014 Algebraically coherent categories. Zbl 1366.18005 Cigoli, Alan S.; Gray, James R. A.; Van der Linden, Tim 28 2015 A survey of definitions of \(n\)-category. Zbl 0987.18007 Leinster, Tom 27 2002 More morphisms between bundle gerbes. Zbl 1166.55005 Waldorf, Konrad 27 2007 Balanced coalgebroids. Zbl 0960.18005 Mccrudden, Paddy 27 2000 Higher dimensional algebra. VII: Groupoidification. Zbl 1229.18003 Baez, John C.; Hoffnung, Alexander E.; Walker, Christopher D. 27 2010 Tannaka-Krein duality for compact quantum homogeneous spaces. I: General theory. Zbl 1337.46045 De Commer, Kenny; Yamashita, Makoto 27 2013 Baer invariants in semi-abelian categories II: Homology. Zbl 1065.18012 Everaert, T.; Van der Linden, T. 26 2004 Generalized Brown representability in homotopy categories. Zbl 1091.18002 Rosický, Jiří 26 2005 Biequivalences in tricategories. Zbl 1252.18013 Gurski, Nick 26 2012 Baer invariants in semi-abelian categories I: General theory. Zbl 1065.18011 Everaert, T.; Van der Linden, T. 25 2004 Approximable concepts, Chu spaces, and information systems. Zbl 1111.68132 Zhang, Guo-Qiang; Shen, Gongqin 25 2006 Comparative smootheology. Zbl 1220.18013 Stacey, Andrew 24 2011 Decorated cospans. Zbl 1351.18003 Fong, Brendan 24 2015 Resolutions by Polygraphs. Zbl 1020.18001 Métayer, François 23 2003 Categorical representations of categorical groups. Zbl 1108.18003 Barrett, John W.; Mackaay, Marco 23 2006 Compact closed bicategories. Zbl 1356.18003 Stay, Michael 23 2016 Generic commutative separable algebras and cospans of graphs. Zbl 1087.18003 Rosebrugh, R.; Sabadini, N.; Walters, R. F. C. 23 2005 A convenient category for directed homotopy. Zbl 1157.18003 Fajstrup, L.; Rosický, J. 23 2008 Props in network theory. Zbl 1400.18004 Baez, John C.; Coya, Brandon; Rebro, Franciscus 23 2018 Skew monoidales, skew warpings and quantum categories. Zbl 1252.18016 Lack, Stephen; Street, Ross 22 2012 Dualizing cartesian and cocartesian fibrations. Zbl 1423.18025 Barwick, Clark; Glasman, Saul; Nardin, Denis 22 2018 Symmetric monoidal categories model all connective spectra. Zbl 0876.55009 Thomason, R. W. 21 1995 Commutator theory in strongly protomodular categories. Zbl 1068.18006 Bourn, Dominique 21 2004 Pure morphisms of commutative rings are effective descent morphisms for modules. A new proof. Zbl 0937.13002 Mesablishvili, Bachuki 21 2000 Normal functors and strong protomodularity. Zbl 0947.18004 Bourn, Dominique 21 2000 Action accessibility for categories of interest. Zbl 1307.18015 Montoli, Andrea 21 2010 Higher-dimensional categories with finite derivation type. Zbl 1190.18002 Guiraud, Yves; Malbos, Philippe 21 2009 Codensity and the ultrafilter monad. Zbl 1273.18009 Leinster, Tom 21 2013 Simplicial nerve of an \(\mathcal A_\infty\)-category. Zbl 1360.18023 Faonte, Giovanni 21 2017 The double powerlocale and exponentiation: A case study in geometric logic. Zbl 1061.06026 Vickers, Steven 20 2004 Closedness properties of internal relations. I. A unified approach to Mal’tsev, unital and subtractive categories. Zbl 1104.18002 Janelidze, Zurab 20 2006 Vector fields and flows on differentiable stacks. Zbl 1206.37009 Hepworth, Richard 20 2009 Polynomials in categories with pullbacks. Zbl 1330.18002 Weber, Mark 20 2015 Injective hulls of partially ordered monoids. Zbl 1259.06019 Lambek, J.; Barr, Michael; Kennison, John F.; Raphael, R. 20 2012 Pseudogroupoids and commutators. Zbl 1008.18006 Janelidze, George; Pedicchio, M. Cristina 19 2001 Hopf monoidal comonads. Zbl 1250.18006 Chikhladze, Dimitri; Lack, Stephen; Street, Ross 19 2010 Approximate Mal’tsev operations. Zbl 1172.18001 Bourn, Dominique; Janelidze, Zurab 19 2008 Monoidal Grothendieck construction. Zbl 1442.18016 Moeller, Joe; Vasilakopoulou, Christina 19 2020 Cartesian differential storage categories. Zbl 1330.18009 Blute, R.; Cockett, J. R. B.; Seely, R. A. G. 18 2015 Weakly Mal’cev categories. Zbl 1166.18005 Martins-Ferreira, N. 18 2008 Bounded Archimedean \(\ell\)-algebras and Gelfand-Neumark-Stone duality. Zbl 1314.06020 Bezhanishvili, Guram; Morandi, Patrick J.; Olberding, Bruce 18 2013 Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions. Zbl 1273.18022 Shen, Lili; Zhang, Dexue 18 2013 The reflectiveness of covering morphisms in algebra and geometry. Zbl 0866.18004 Janelidze, G.; Kelly, G. M. 17 1997 Internal crossed modules and Peiffer condition. Zbl 1315.18012 Mantovani, Sandra; Metere, Giuseppe 17 2010 On the axioms for adhesive and quasiadhesive categories. Zbl 1248.18001 Garner, Richard; Lack, Stephen 17 2012 Monads on dagger categories. Zbl 1378.18003 Heunen, Chris; Karvonen, Martti 17 2016 A tensor product for Gray-categories. Zbl 0914.18006 Crans, Sjoerd E. 16 1999 Exponentiability in categories of lax algebras. (Dedicated to Nico Pumplün on the occasion of his seventieth birthday). Zbl 1032.18002 Clementino, Maria Manuel; Hofmann, Dirk; Tholen, Walter 16 2003 Double categories, 2-categories, thin structures and connections. Zbl 0918.18005 Brown, Ronald; Mosa, Ghafar H. 16 1999 Theory of interleavings on categories with a flow. Zbl 1433.18002 De Silva, V.; Munch, E.; Stefanou, A. 16 2018 Cartesian bicategories. II. Zbl 1146.18300 Carboni, A.; Kelly, G. M.; Walters, R. F. C.; Wood, R. J. 16 2007 The Hopf algebra of Möbius intervals. Zbl 1236.18001 Lawvere, F. W.; Menni, M. 16 2010 Remarks on punctual local connectedness. Zbl 1239.18004 Johnstone, Peter 16 2011 On actions and strict actions in homological categories. Zbl 1275.18012 Hartl, Manfred; Loiseau, Bruno 16 2012 Differential restriction categories. Zbl 1260.14004 Cockett, J. R. B.; Cruttwell, G. S. H.; Gallagher, J. D. 16 2011 On Yetter’s invariant and an extension of the Dijkgraaf-Witten invariant to categorical groups. Zbl 1119.18009 Martins, Joao Faria; Porter, Timothy 16 2007 A C-system defined by a universe category. Zbl 1436.03311 Voevodsky, Vladimir 16 2015 Applications of Peiffer pairings in the Moore complex of a simplicial group. Zbl 0917.18006 Mutlu, A.; Porter, T. 15 1998 Freeness conditions for 2-crossed modules and complexes. Zbl 0917.18004 Mutlu, A.; Porter, T. 15 1998 Universal construction in monoidal and non-monoidal settings, the Brauer envelope, and pseudocharacters. Zbl 07977821 Im, Mee Seong; Khovanov, Mikhail; Ostrik, Victor 1 2025 Lax comma 2-categories and admissible 2-functors. Zbl 1537.18028 Clementino, Maria Manuel; Lucatelli Nunes, Fernando 4 2024 Completion under strong homotopy cokernels. Zbl 1533.18003 Vitale, Enrico M. 2 2024 Ideally exact categories. Zbl 1541.18009 Janelidze, George 2 2024 Condensation inversion and Witt equivalence via generalised orbifolds. Zbl 07940403 Mulevičius, Vincentas 2 2024 Pivotality, twisted centres, and the anti-double of a Hopf monad. Zbl 1539.18018 Halbig, Sebastian; Zorman, Tony 1 2024 On reachability categories, persistence, and commuting algebras of quivers. Zbl 07844814 Caputi, Luigi; Riihimäki, Henri 1 2024 The oplax limit of an enriched category. Zbl 1544.18008 Fujii, Soichiro; Lack, Stephen 1 2024 Lax comma categories: Cartesian closedness, extensivity, topologicity, and descent. Zbl 1540.18021 Clementino, Maria Manuel; Lucatelli Nunes, Fernando; Prezado, Rui 1 2024 Indexed Grothendieck construction. Zbl 07898687 Caviglia, Elena; Mesiti, Luca 1 2024 Pointwise Kan extensions along 2-fibrations and the 2-category of elements. Zbl 1544.18009 Mesiti, Luca 1 2024 Fréchet modules and descent. Zbl 1512.46053 Ben-Bassat, Oren; Kremnizer, Kobi 3 2023 Colimits in enriched \(\infty\)-categories and Day convolution. Zbl 1514.18007 Hinich, Vladimir 2 2023 Quasi-uniform structures and functors. Zbl 1514.18002 Iragi, Minani; Holgate, David 2 2023 Differential bundles in commutative algebra and algebraic geometry. Zbl 1535.18021 Cruttwell, G. S. H.; Pacaud Lemay, Jean-Simon 2 2023 Pointed semibiproducts of monoids. Zbl 1514.18014 Martins-Ferreira, Nelson 2 2023 Enhanced twisted arrow categories. Zbl 1520.18018 Abellán García, Fernando; Stern, Walker H. 1 2023 Bifunctor theorem and strictification tensor product for double categories with lax double functors. Zbl 1540.18022 Femić, Bojana 1 2023 Category-colored operads, internal operads, and Markl \(\mathbb{O}\)-operads. Zbl 1533.18015 Trnka, Dominik 1 2023 On the construction of Noetherian forms for algebraic structures. Zbl 1514.18011 van Niekerk, Francois Koch 1 2023 Enriched locally generated categories. Zbl 1492.18006 Di Liberti, Ivan; Rosický, Jiří 7 2022 On dualizable objects in monoidal bicategories. Zbl 1494.18016 Pstrągowski, Piotr 7 2022 Weak Fraïssé categories. Zbl 1502.18004 Kubiś, Wiesław 6 2022 Cohomologies, extensions and deformations of differential algebras of arbitrary weight. Zbl 1517.16007 Guo, Li; Li, Yunnan; Sheng, Yunhe; Zhou, Guodong 5 2022 A modular functor from state sums for finite tensor categories and their bimodules. Zbl 1494.18012 Fuchs, Jürgen; Schaumann, Gregor; Schweigert, Christoph 5 2022 Q-system completion is a 3-functor. Zbl 1492.46070 Chen, Quan; Penneys, David 4 2022 The matrix taxonomy of finitely complete categories. Zbl 1499.18018 Hoefnagel, Michael; Jacqmin, Pierre-Alain; Janelidze, Zurab 4 2022 Presentations and algebraic colimits of enriched monads for a subcategory of arities. Zbl 1505.18008 Lucyshyn-Wright, Rory B. B.; Parker, Jason 3 2022 Moment categories and operads. Zbl 1505.18004 Berger, Clemens 3 2022 Double fibrations. Zbl 1516.18017 Cruttwell, G. S. H.; Lambert, M. J.; Pronk, D. A.; Szyld, M. 3 2022 Locally bounded enriched categories. Zbl 1493.18001 Lucyshyn-Wright, Rory B. B.; Parker, Jason 3 2022 On Krull-Schmidt bicategories. Zbl 1490.18005 Dell’Ambrogio, Ivo 2 2022 Central extensions of associative algebras and weakly action representable categories. Zbl 1505.18014 Janelidze, George 2 2022 Indeterminacies and models of homotopy limits. Zbl 1543.18007 Govzmann, Alisa; Pistalo, Damjan; Poncin, Norbert 2 2022 Simple string diagrams and \(n\)-sesquicategories. Zbl 1515.18015 Araújo, Manuel 2 2022 Composing PROBs. Zbl 1498.18022 Graves, Daniel 2 2022 Double categories of relations. Zbl 1507.18024 Lambert, Michael 2 2022 Linearizing combinators. Zbl 1485.18014 Cockett, Robin; Pacaud Lemay, Jean-Simon 2 2022 On the dearth of coproducts in the category of locally compact groups. Zbl 1507.22018 Chirvasitu, Alexandru 1 2022 Probability monads as codensity monads. Zbl 1536.18004 Van Belle, Ruben 1 2022 Extensivity of categories of relational structures. Zbl 1492.18004 Parker, Jason 1 2022 Gray-categories model algebraic tricategories. Zbl 1514.18022 Ferrer, Giovanni 1 2022 The monotone-light factorization for 2-categories via 2-preorders. Zbl 1499.18004 Xarez, João J. 1 2022 Twisted arrow categories, operads and Segal conditions. Zbl 1484.18008 Burkin, Sergei 1 2022 Bicategories of fractions revisited: towards small homs and canonical 2-cells. Zbl 1506.18025 Pronk, Dorette; Scull, Laura 1 2022 On the formal theory of pseudomonads and pseudodistributive laws. Zbl 1457.18023 Gambino, Nicola; Lobbia, Gabriele 4 2021 A practical type theory for symmetric monoidal categories. Zbl 1474.18031 Shulman, Michael 4 2021 Left properness of flows. Zbl 1481.18027 Gaucher, Philippe 4 2021 Discrete double fibrations. Zbl 1464.18020 Lambert, Michael 4 2021 Cauchy completeness for DG-categories. Zbl 1467.18011 Nikolić, Branko; Street, Ross; Tendas, Giacomo 3 2021 Descent data and absolute Kan extensions. Zbl 1466.18013 Lucatelli Nunes, Fernando 3 2021 Algebraic exponentiation for Lie algebras. Zbl 1467.18018 García-Martínez, Xabier; Gray, James R. A. 3 2021 A categorical approach to quantum moment maps. Zbl 1468.18019 Safronov, Pavel 3 2021 2-dimensional bifunctor theorems and distributive laws. Zbl 1477.18045 Faul, Peter F.; Manuell, Graham; Siqueira, José 2 2021 The Moore complex of a simplicial cocommutative Hopf algebra. Zbl 1466.16028 Emir, Kadir 2 2021 Closed dendroidal sets and unital operads. Zbl 1477.18042 Moerdijk, Ieke 2 2021 The comprehensive factorization of Burroni’s \(\mathbb{T}\)-functors. Zbl 1474.18006 Tholen, Walter; Yeganeh, Leila 2 2021 The canonical intensive quality of a cohesive topos. Zbl 1469.18004 Marmolejo, F.; Menni, M. 2 2021 Pivotal objects in monoidal categories and their Hopf monads. Zbl 1458.18009 Ghobadi, Aryan 2 2021 Every elementary higher topos has a natural number object. Zbl 1464.18006 Rasekh, Nima 2 2021 Parsummable categories as a strictification of symmetric monoidal categories. Zbl 1474.18030 Lenz, Tobias 2 2021 Autocompact objects of Ab5 categories. Zbl 1475.18012 Dvořák, Josef; Žemlička, Jan 1 2021 On sifted colimits in the presence of pullbacks. Zbl 1477.18006 Chen, Ruiyuan 1 2021 Remarks on combinatorial and accessible model categories. Zbl 1459.18003 Rosický, Jiri 1 2021 Ladders and completion of triangulated categories. Zbl 1457.18004 Sun, Yongliang; Zhang, Yaohua 1 2021 Dependent products and 1-inaccessible universes. Zbl 1466.18015 Lo Monaco, Giulio 1 2021 (Co)ends for representations of tensor categories. Zbl 1467.18035 Bortolussi, Noelia; Mombelli, Martín 1 2021 An essential local geometric morphism which is not locally connected though its inverse image part is an exponential ideal. Zbl 1467.18006 Garner, Richard; Streicher, Thomas 1 2021 Locally anisotropic toposes. II. Zbl 1467.18005 Funk, Jonathon; Hofstra, Pieter 1 2021 Intrinsic Schreier special objects. Zbl 1482.18005 Montoli, Andrea; Rodelo, Diana; van der Linden, Tim 1 2021 A Hurewicz model structure for directed topology. Zbl 1465.18015 Krishnan, Sanjeevi; North, Paige Randall 1 2021 Tensor-restriction categories. Zbl 1464.18016 Heunen, Chris; Lemay, Jean-Simon Pacaud 1 2021 Maschke type theorems for Hopf monoids. Zbl 1471.18023 Böhm, Gabriella 1 2021 Van Kampen’s theorem for locally sectionable maps. Zbl 1492.18013 Brown, Ronald; Janelidze, George; Peschke, George 1 2021 A note on the categorical notions of normal subobject and of equivalence class. Zbl 1506.18002 Bourn, Dominique; Metere, Giuseppe 1 2021 Spatial realization of a Lie algebra and the bar construction. Zbl 1471.55013 Félix, Yves; Tanré, Daniel 1 2021 Extensions and glueing in double categories. Zbl 1467.18043 Niefield, Susan 1 2021 \((T,\mathbf{V})\)-\(\mathbf{Cat}\) is extensive. Zbl 1471.18005 Clementino, Maria Manuel 1 2021 On the ternary commutator. I: Exact Mal’tsev categories. Zbl 1467.18019 Simeu, Cyrille Sandry; Van der Linden, Tim 1 2021 Coherent nerves for higher quasicategories. Zbl 1468.18003 Gindi, Harry 1 2021 Latent fibrations: fibrations for categories of partial maps. Zbl 1467.18009 Cockett, Robin; Cruttwell, Geoff; Gallagher, Jonathan; Pronk, Dorette 1 2021 Simplicial sets inside cubical sets. Zbl 1467.03007 Streicher, Thomas; Weinberger, Jonathan 1 2021 A remarkable aspect of internal groupoids in regular Mal’tsev categories. Zbl 1482.18001 Bourn, Dominique 1 2021 A closed model structure on the category of weakly unital dg categories. II. Zbl 1461.18016 Panero, Piergiorgio; Shoikhet, Boris 1 2021 Monoidal Grothendieck construction. Zbl 1442.18016 Moeller, Joe; Vasilakopoulou, Christina 19 2020 Orbifolds of Reshetikhin-Turaev TQFTs. Zbl 1440.57016 Carqueville, Nils; Runkel, Ingo; Schaumann, Gregor 15 2020 Classification of constructible cosheaves. Zbl 1442.32039 Curry, Justin; Patel, Amit 11 2020 Structured cospans. Zbl 1451.18008 Baez, John C.; Courser, Kenny 10 2020 The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions. Zbl 1430.18019 Shulman, Michael 9 2020 The folk model category structure on strict \(\omega\)-categories is monoidal. Zbl 1443.18008 Ara, Dimitri; Lucas, Maxime 8 2020 A new Galois structure in the category of internal preorders. Zbl 1435.18009 Facchini, Alberto; Finocchiaro, Carmelo; Gran, Marino 8 2020 The law of excluded middle in the simplicial model of type theory. Zbl 1452.03038 Kapulkin, Chris; Lefanu Lumsdaine, Peter 8 2020 Weak model categories in classical and constructive mathematics. Zbl 1445.55013 Henry, Simon 7 2020 Rank-based persistence. Zbl 1439.55006 Bergomi, Mattia G.; Vertechi, Pietro 7 2020 Braided skew monoidal categories. Zbl 1431.18012 Bourke, John; Lack, Stephen 6 2020 \(\overline{\operatorname{Spec}\mathbb{Z}}\) and the Gromov norm. Zbl 1444.16061 Connes, Alain; Consani, Caterina 6 2020 A characterisation of the category of compact Hausdorff spaces. Zbl 1451.18023 Marra, Vincenzo; Reggio, Luca 6 2020 The existential completion. Zbl 1446.18007 Trotta, Davide 6 2020 Information structures and their cohomology. Zbl 1448.55011 Vigneaux, Juan Pablo 5 2020 Network models. Zbl 1442.18014 Baez, John C.; Foley, John; Moeller, Joe; Pollard, Blake S. 4 2020 ...and 652 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,551 Authors 41 Rosický, Jiří 40 Gran, Marino 38 Lack, Stephen 37 Bourn, Dominique 36 Hofmann, Dirk 35 Clementino, Maria Manuel 31 Garner, Richard 31 van der Linden, Tim 29 Adámek, Jiří 28 Sheng, Yunhe 27 Cockett, J. Robin B. 27 Martins-Ferreira, Nelson 27 Tholen, Walter 24 Janelidze, George 24 Sobociński, Paweł 24 Zanasi, Fabio 23 Janelidze, Zurab 23 Schweigert, Christoph 23 Vitale, Enrico Maria 22 Bezhanishvili, Guram 21 Baez, John C. 21 Kock, Joachim 21 Mantovani, Sandra 21 Metere, Giuseppe 20 Li, Qingguo 19 Mesablishvili, Bachuki 18 Bonchi, Filippo 18 Casas Miras, José Manuel 18 Heunen, Chris 18 Milius, Stefan 18 Montoli, Andrea 18 Sämann, Christian 18 Shulman, Michael A. 18 Street, Ross H. 18 Zhang, Dexue 17 Böhm, Gabriella 17 Cegarra, Antonio Martínez 17 Lai, Hongliang 17 Pacaud Lemay, Jean-Simon 17 Runkel, Ingo 16 Gray, James Richard Andrew 16 Jacqmin, Pierre-Alain 16 Menni, Matías 15 Bourke, John 15 Cigoli, Alan S. 15 Coecke, Bob 15 Fiore, Marcelo P. 15 Fuchs, Jürgen 15 Hackney, Philip 15 Morandi, Patrick J. 14 Rodelo, Diana 14 Waldorf, Konrad 14 Zhao, Bin 13 Everaert, Tomas 13 Fritz, Tobias 13 García-Martínez, Xabier 13 Kissinger, Aleks 13 Kurz, Alexander 13 Power, John 13 Rovelli, Martina 13 Shen, Lili 13 Staton, Sam 13 Velebil, Jiří 13 Vicary, Jamie 12 Haugseng, Rune 12 Kong, Liang 12 López Franco, Ignacio L. 12 Lucyshyn-Wright, Rory B. B. 12 Maietti, Maria Emilia 12 Ozornova, Viktoriya 12 Riehl, Emily 12 Schenkel, Alexander 11 Benini, Marco 11 Borceux, Francis 11 Chatterjee, Saikat 11 Cruttwell, Geoffrey S. H. 11 Das, Apurba 11 Gadducci, Fabio 11 Grandis, Marco 11 Hoefnagel, Michael Anton 11 Ladra González, Manuel 11 Lucatelli Nunes, Fernando 11 Martins, João Nuno Goncalves Faria 11 Rosolini, Giuseppe 11 Sobral, Manuela 11 Sousa, Lurdes 11 Ulualan, Erdal 11 Uustalu, Tarmo 11 Zucchini, Roberto 10 Batanin, Michael A. 10 Bunk, Severin 10 Caramello, Olivia 10 Chirvăsitu, Alexandru 10 Di Liberti, Ivan 10 Fong, Brendan 10 Gambino, Nicola 10 Gaucher, Philippe 10 Hofstra, Pieter J. W. 10 Höhle, Ulrich 10 Kock, Anders Jungersen ...and 2,451 more Authors all top 5 Cited in 300 Journals 308 Journal of Pure and Applied Algebra 268 Theory and Applications of Categories 258 Applied Categorical Structures 188 Advances in Mathematics 100 Journal of Algebra 76 Topology and its Applications 63 Communications in Mathematical Physics 63 Algebraic & Geometric Topology 61 Mathematical Structures in Computer Science 61 Logical Methods in Computer Science 59 Theoretical Computer Science 57 Journal of Homotopy and Related Structures 50 Journal of Geometry and Physics 50 Fuzzy Sets and Systems 47 Journal of High Energy Physics 42 Annals of Pure and Applied Logic 31 Algebra Universalis 30 Communications in Algebra 29 Journal of Algebra and its Applications 29 Higher Structures 25 Transactions of the American Mathematical Society 23 Journal of Mathematical Physics 23 Semigroup Forum 21 Letters in Mathematical Physics 19 Proceedings of the American Mathematical Society 19 Algebras and Representation Theory 19 Tbilisi Mathematical Journal 18 Cahiers de Topologie et Géométrie Différentielle Catégoriques 18 Journal of Applied and Computational Topology 17 Mathematische Zeitschrift 17 Information and Computation 16 Journal of the London Mathematical Society. Second Series 16 Selecta Mathematica. New Series 16 Journal of Noncommutative Geometry 15 Journal of Logical and Algebraic Methods in Programming 15 Categories and General Algebraic Structures with Applications 14 Quaestiones Mathematicae 13 Bulletin of the London Mathematical Society 13 Turkish Journal of Mathematics 13 Documenta Mathematica 12 Cahiers de Topologie et Géométrie Différentielle Catégoriques 12 Mathematical Logic Quarterly (MLQ) 12 Communications in Contemporary Mathematics 12 Forum of Mathematics, Sigma 11 The Journal of Symbolic Logic 11 Memoirs of the American Mathematical Society 11 Geometry & Topology 11 Journal of Topology 10 Nuclear Physics. B 10 Order 10 Differential Geometry and its Applications 10 Hacettepe Journal of Mathematics and Statistics 9 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 9 Journal of Geometric Mechanics 9 SciPost Physics 8 Reviews in Mathematical Physics 8 Compositio Mathematica 8 Quantum Topology 7 Israel Journal of Mathematics 7 Journal of the American Mathematical Society 7 Journal of Knot Theory and its Ramifications 7 Journal of Physics A: Mathematical and Theoretical 7 Annals of \(K\)-Theory 6 Mathematische Annalen 6 Proceedings of the London Mathematical Society. Third Series 6 Studia Logica 6 Forum Mathematicum 6 Indagationes Mathematicae. New Series 6 Journal of Mathematical Sciences (New York) 6 Journal of Lie Theory 6 Transformation Groups 6 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 6 Comptes Rendus. Mathématique. Académie des Sciences, Paris 6 Logica Universalis 6 Advanced Studies: Euro-Tbilisi Mathematical Journal 5 Fortschritte der Physik 5 Collectanea Mathematica 5 Commentationes Mathematicae Universitatis Carolinae 5 Inventiones Mathematicae 5 Bulletin of the Iranian Mathematical Society 5 International Journal of Approximate Reasoning 5 International Journal of Mathematics 5 International Journal of Algebra and Computation 5 Georgian Mathematical Journal 5 The New York Journal of Mathematics 5 Soft Computing 5 The Journal of Logic and Algebraic Programming 5 Science China. Mathematics 5 European Journal of Mathematics 4 International Journal of Theoretical Physics 4 Mathematical Proceedings of the Cambridge Philosophical Society 4 Annali di Matematica Pura ed Applicata. Serie Quarta 4 Archivum Mathematicum 4 Dissertationes Mathematicae 4 Journal of Functional Analysis 4 Journal of Philosophical Logic 4 Journal für die Reine und Angewandte Mathematik 4 Pacific Journal of Mathematics 4 Rendiconti del Seminario Matematico della Università di Padova 4 Journal of Automated Reasoning ...and 200 more Journals all top 5 Cited in 57 Fields 2,320 Category theory; homological algebra (18-XX) 615 Algebraic topology (55-XX) 446 Computer science (68-XX) 445 Mathematical logic and foundations (03-XX) 333 Quantum theory (81-XX) 327 Associative rings and algebras (16-XX) 298 Order, lattices, ordered algebraic structures (06-XX) 285 Group theory and generalizations (20-XX) 221 General topology (54-XX) 220 Nonassociative rings and algebras (17-XX) 192 General algebraic systems (08-XX) 173 Algebraic geometry (14-XX) 160 Differential geometry (53-XX) 155 Manifolds and cell complexes (57-XX) 139 Functional analysis (46-XX) 114 Topological groups, Lie groups (22-XX) 105 Global analysis, analysis on manifolds (58-XX) 100 \(K\)-theory (19-XX) 73 Combinatorics (05-XX) 71 Commutative algebra (13-XX) 35 Relativity and gravitational theory (83-XX) 26 Geometry (51-XX) 23 Dynamical systems and ergodic theory (37-XX) 23 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 22 Probability theory and stochastic processes (60-XX) 22 Mechanics of particles and systems (70-XX) 20 Number theory (11-XX) 19 Several complex variables and analytic spaces (32-XX) 18 Statistics (62-XX) 18 Information and communication theory, circuits (94-XX) 14 Partial differential equations (35-XX) 14 Statistical mechanics, structure of matter (82-XX) 13 Field theory and polynomials (12-XX) 13 Operator theory (47-XX) 12 History and biography (01-XX) 12 Measure and integration (28-XX) 11 General and overarching topics; collections (00-XX) 9 Real functions (26-XX) 9 Convex and discrete geometry (52-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 8 Biology and other natural sciences (92-XX) 7 Optics, electromagnetic theory (78-XX) 7 Systems theory; control (93-XX) 6 Ordinary differential equations (34-XX) 6 Operations research, mathematical programming (90-XX) 5 Numerical analysis (65-XX) 4 Functions of a complex variable (30-XX) 4 Special functions (33-XX) 4 Abstract harmonic analysis (43-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Mechanics of deformable solids (74-XX) 1 Potential theory (31-XX) 1 Difference and functional equations (39-XX) 1 Approximations and expansions (41-XX) 1 Integral equations (45-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Mathematics education (97-XX) Citations by Year