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: Indexed cover-to-cover; Published electronic only as of Vol. 1 (1995). This journal is available open access. Documents Indexed: 854 Publications (since 1995) References Indexed: 255 Publications with 8,466 References. all top 5 Latest Issues 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 22 Rosický, Jiří 19 Wood, Richard J. 18 Adámek, Jiří 17 Lack, Stephen 17 Street, Ross H. 15 Bourn, Dominique 14 Cockett, J. Robin B. 14 Janelidze, George 14 Kennison, John F. 14 Raphael, Robert M. 13 Gran, Marino 12 Niefield, Susan B. 11 Baez, John C. 11 Grandis, Marco 11 Kelly, Gregory Maxwell 11 Menni, Matías 11 van der Linden, Tim 10 Seely, Robert A. G. 10 Tholen, Walter 10 Vitale, Enrico Maria 9 Gray, James Richard Andrew 9 Janelidze, Zurab 9 Marmolejo, Francisco 9 Paré, Robert 9 Shulman, Michael A. 9 Weber, Mark 8 Gaucher, Philippe 8 Pronk, Dorette A. 8 Rosebrugh, Robert D. 7 Brown, Ronald 7 Clementino, Maria Manuel 7 Funk, Jonathon R. 7 Hofstra, Pieter J. W. 7 Kock, Anders 7 Lawvere, Francis William 7 Leinster, Tom 7 Rodelo, Diana 6 Borceux, Francis 6 Cruttwell, G. S. H. 6 Garner, Richard 6 Johnstone, Peter T. 6 Lucyshyn-Wright, Rory B. B. 6 Mesablishvili, Bachuki 6 Porter, Timothy 6 Walters, Robert F. C. 5 Bezhanishvili, Guram 5 Everaert, Tomas 5 Fong, Brendan 5 Garzón, Antonio R. 5 Gurski, Nick 5 Heunen, Chris 5 Hofmann, Dirk 5 Kaliszewski, Steven Paul 5 Koslowski, Jürgen 5 Lyubashenko, Volodymyr V. 5 Montoli, Andrea 5 Pisani, Claudio 5 Quigg, John C. 5 Schweigert, Christoph 5 Steiner, Richard J. 5 Velebil, Jiří 4 Blute, Richard F. 4 Böhm, Gabriella 4 Cheng, Eugenia 4 Courser, Kenny 4 Dawson, Robert James MacGregor 4 Freyd, Peter J. 4 Janelidze-Gray, Tamar 4 Karazeris, Panagis 4 Kenney, Toby 4 Martins-Ferreira, Nelson 4 Metere, Giuseppe 4 Milius, Stefan 4 Morandi, Patrick J. 4 Shen, Lili 4 Shoikhet, Boris B. 4 Sousa, Lurdes 4 Stubbe, Isar 4 Szyld, Martín 4 Verity, Dominic 4 Voevodskiĭ, Vladimir Aleksandrovich 3 Batanin, Michael A. 3 Bédos, Erik 3 Bunge, Marta C. 3 Caramello, Olivia 3 Carboni, Aurelio 3 Cegarra, Antonio Martínez 3 Chikhladze, Dimitri 3 Cigoli, Alan S. 3 de Paiva, Valeria 3 Dubuc, Eduardo J. 3 Egger, Jeffrey M. 3 Fritz, Tobias 3 Golasiński, Marek 3 Guo, Xiuzhan 3 Hasegawa, Masahito 3 Hébert, Michel 3 Jardine, John Frederick 3 Koudenburg, Seerp Roald ...and 561 more Authors all top 5 Fields 805 Category theory; homological algebra (18-XX) 151 Algebraic topology (55-XX) 88 Mathematical logic and foundations (03-XX) 68 Group theory and generalizations (20-XX) 63 General algebraic systems (08-XX) 56 Order, lattices, ordered algebraic structures (06-XX) 54 Associative rings and algebras (16-XX) 53 General topology (54-XX) 42 Computer science (68-XX) 27 Algebraic geometry (14-XX) 27 Functional analysis (46-XX) 19 Manifolds and cell complexes (57-XX) 18 Commutative algebra (13-XX) 18 Nonassociative rings and algebras (17-XX) 17 Differential geometry (53-XX) 14 \(K\)-theory (19-XX) 14 Topological groups, Lie groups (22-XX) 12 Combinatorics (05-XX) 12 Global analysis, analysis on manifolds (58-XX) 12 Quantum theory (81-XX) 10 Field theory and polynomials (12-XX) 8 Dynamical systems and ergodic theory (37-XX) 6 History and biography (01-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 General and overarching topics; collections (00-XX) 5 Several complex variables and analytic spaces (32-XX) 5 Geometry (51-XX) 4 Probability theory and stochastic processes (60-XX) 4 Information and communication theory, circuits (94-XX) 3 Number theory (11-XX) 3 Operations research, mathematical programming (90-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Real functions (26-XX) 2 Measure and integration (28-XX) 2 Convex and discrete geometry (52-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 Statistics (62-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 620 Publications have been cited 4,026 times in 2,222 Documents Cited by ▼ Year ▼ Higher-dimensional algebra. VI: Lie 2-algebras. Zbl 1057.17011Baez, John C.; Crans, Alissa S. 118 2004 Higher-dimensional algebra. V: 2-Groups. Zbl 1056.18002Baez, John C.; Lauda, Aaron D. 106 2004 Categorical structures enriched in a quantaloid: categories, distributors and functors. Zbl 1079.18005Stubbe, Isar 69 2005 Protomodularity, descent, and semidirect products. Zbl 0890.18003Bourn, D.; Janelidze, G. 51 1998 Categorical structures enriched in a quantaloid: tensored and cotensored categories. Zbl 1119.18005Stubbe, Isar 49 2006 Characterization of protomodular varieties of universal algebras. Zbl 1021.08003Bourn, Dominique; Janelidze, George 45 2003 Framed bicategories and monoidal fibrations. Zbl 1192.18005Shulman, Michael 43 2008 Composing PROPs. Zbl 1062.18007Lack, Stephen 38 2004 On the representability of actions in a semi-abelian category. Zbl 1103.18006Borceux, F.; Janelidze, G.; Kelly, G. M. 37 2005 Notes on enriched categories with colimits of some class. Zbl 1082.18004Kelly, G. M.; Schmitt, V. 35 2005 Centrality and normality in protomodular categories. Zbl 1004.18004Bourn, Dominique; Gran, Marino 34 2001 Enriched Lawvere theories. Zbl 0943.18003Power, John 33 1999 The pointed subobject functor, \(3\times 3\) lemmas, and subtractivity of spans. Zbl 1234.18009Janelidze, Zurab 33 2010 Localic completion of generalized metric spaces I. Zbl 1083.54019Vickers, Steven 32 2005 Connections on non-abelian gerbes and their holonomy. Zbl 1279.53024Schreiber, Urs; Waldorf, Konrad 31 2013 TFT Construction of RCFT correlators. V: Proof of modular invariance and factorisation. Zbl 1151.81038Fjelstad, Jens; Fuchs, Jürgen; Runkel, Ingo; Schweigert, Christoph 30 2006 Simplicial matrices and the nerves of weak \(n\)-categories I: Nerves of bicategories. Zbl 1046.18009Duskin, John W. 29 2001 Cartesian differential categories. Zbl 1262.18004Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G. 29 2009 Monads of effective descent type and comonadicity. Zbl 1085.18003Mesablishvili, Bachuki 29 2006 Distributive laws for pseudomonads. Zbl 0919.18004Marmolejo, F. 26 1999 Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Zbl 0879.03022Cockett, J. R. B.; Seely, R. A. G. 26 1997 A note on actions of a monoidal category. Zbl 1009.18005Janelidze, G.; Kelly, G. M. 24 2001 Familial 2-functors and parametric right adjoints. Zbl 1152.18005Weber, Mark 24 2007 Doctrines whose structure forms a fully faithful adjoint string. Zbl 0878.18004Marmolejo, F. 23 1997 Frobenius algebras and ambidextrous adjunctions. Zbl 1092.18003Lauda, Aaron D. 23 2006 Canonical and op-canonical lax algebras. Zbl 1088.18006Seal, Gavin J. 23 2005 Homotopy theory for algebras over polynomial monads. Zbl 1368.18006Batanin, M. A.; Berger, C. 23 2017 On property-like structures. Zbl 0935.18005Kelly, G. M.; Lack, Stephen 22 1997 More morphisms between bundle gerbes. Zbl 1166.55005Waldorf, Konrad 22 2007 Cubical sets and their site. Zbl 1022.18009Grandis, Marco; Mauri, Luca 22 2003 Baer invariants in semi-abelian categories I: General theory. Zbl 1065.18011Everaert, T.; Van der Linden, T. 22 2004 Baer invariants in semi-abelian categories II: Homology. Zbl 1065.18012Everaert, T.; Van der Linden, T. 22 2004 Introduction to coalgebra. Zbl 1080.18005Adámek, Jiří 22 2005 \(\mathfrak V\)-Cat is locally presentable or locally bounded if \(\mathfrak V\) is so. Zbl 1003.18008Kelly, G. M.; Lack, Stephen 21 2001 Opmonoidal monads. Zbl 1018.18006McCrudden, Paddy 21 2002 Categories in control. Zbl 1316.18009Baez, John C.; Erbele, Jason 21 2015 Algebraically coherent categories. Zbl 1366.18005Cigoli, Alan S.; Gray, James R. A.; Van der Linden, Tim 21 2015 Pure morphisms of commutative rings are effective descent morphisms for modules. A new proof. Zbl 0937.13002Mesablishvili, Bachuki 20 2000 A survey of definitions of \(n\)-category. Zbl 0987.18007Leinster, Tom 20 2002 Categorical representations of categorical groups. Zbl 1108.18003Barrett, John W.; Mackaay, Marco 20 2006 On sifted colimits and generalized varieties. Zbl 0971.18004Adámek, Jiří; Rosický, Jiří 20 2001 Higher dimensional algebra. VII: Groupoidification. Zbl 1229.18003Baez, John C.; Hoffnung, Alexander E.; Walker, Christopher D. 20 2010 Approximable concepts, Chu spaces, and information systems. Zbl 1111.68132Zhang, Guo-Qiang; Shen, Gongqin 19 2006 Elementary quotient completion. Zbl 1288.03048Maietti, Maria Emilia; Rosolini, Giuseppe 19 2013 Commutator theory in strongly protomodular categories. Zbl 1068.18006Bourn, Dominique 19 2004 Generic morphisms, parametric representations and weakly cartesian monads. Zbl 1062.18008Weber, Mark 19 2004 Pseudogroupoids and commutators. Zbl 1008.18006Janelidze, George; Pedicchio, M. Cristina 18 2001 Action accessibility for categories of interest. Zbl 1307.18015Montoli, Andrea 18 2010 A compositional framework for passive linear networks. Zbl 1402.18005Baez, John C.; Fong, Brendan 18 2018 Compact closed bicategories. Zbl 1356.18003Stay, Michael 18 2016 Generalized Brown representability in homotopy categories. Zbl 1091.18002Rosický, Jiří 18 2005 The double powerlocale and exponentiation: A case study in geometric logic. Zbl 1061.06026Vickers, Steven 18 2004 Approximate Mal’tsev operations. Zbl 1172.18001Bourn, Dominique; Janelidze, Zurab 18 2008 Normal functors and strong protomodularity. Zbl 0947.18004Bourn, Dominique 17 2000 Tannaka-Krein duality for compact quantum homogeneous spaces. I: General theory. Zbl 1337.46045De Commer, Kenny; Yamashita, Makoto 17 2013 Decorated cospans. Zbl 1351.18003Fong, Brendan 17 2015 Balanced coalgebroids. Zbl 0960.18005Mccrudden, Paddy 16 2000 The theory and practice of Reedy categories. Zbl 1302.55014Riehl, Emily; Verity, Dominic 16 2014 Injective hulls of partially ordered monoids. Zbl 1259.06019Lambek, J.; Barr, Michael; Kennison, John F.; Raphael, R. 16 2012 Skew monoidales, skew warpings and quantum categories. Zbl 1252.18016Lack, Stephen; Street, Ross 16 2012 Codensity and the ultrafilter monad. Zbl 1273.18009Leinster, Tom 16 2013 Closedness properties of internal relations. I. A unified approach to Mal’tsev, unital and subtractive categories. Zbl 1104.18002Janelidze, Zurab 15 2006 A unified framework for generalized multicategories. Zbl 1220.18003Cruttwell, G. S. H.; Shulman, Michael A. 15 2010 Generic commutative separable algebras and cospans of graphs. Zbl 1087.18003Rosebrugh, R.; Sabadini, N.; Walters, R. F. C. 15 2005 Resolutions by Polygraphs. Zbl 1020.18001Métayer, François 15 2003 Cartesian differential storage categories. Zbl 1330.18009Blute, R.; Cockett, J. R. B.; Seely, R. A. G. 15 2015 Double categories, 2-categories, thin structures and connections. Zbl 0918.18005Brown, Ronald; Mosa, Ghafar H. 14 1999 Symmetric monoidal categories model all connective spectra. Zbl 0876.55009Thomason, R. W. 14 1995 Axiomatic cohesion. Zbl 1123.18001Lawvere, F. William 14 2007 Internal crossed modules and Peiffer condition. Zbl 1315.18012Mantovani, Sandra; Metere, Giuseppe 14 2010 Hopf monoidal comonads. Zbl 1250.18006Chikhladze, Dimitri; Lack, Stephen; Street, Ross 14 2010 A convenient category for directed homotopy. Zbl 1157.18003Fajstrup, L.; Rosický, J. 14 2008 Weakly Mal’cev categories. Zbl 1166.18005Martins-Ferreira, N. 14 2008 Exponentiability in categories of lax algebras. (Dedicated to Nico Pumplün on the occasion of his seventieth birthday). Zbl 1032.18002Clementino, Maria Manuel; Hofmann, Dirk; Tholen, Walter 14 2003 Polynomials in categories with pullbacks. Zbl 1330.18002Weber, Mark 14 2015 Biequivalences in tricategories. Zbl 1252.18013Gurski, Nick 14 2012 Bounded Archimedean \(\ell\)-algebras and Gelfand-Neumark-Stone duality. Zbl 1314.06020Bezhanishvili, Guram; Morandi, Patrick J.; Olberding, Bruce 14 2013 Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions. Zbl 1273.18022Shen, Lili; Zhang, Dexue 14 2013 Vector fields and flows on differentiable stacks. Zbl 1206.37009Hepworth, Richard 13 2009 Homology of \(n\)-fold groupoids. Zbl 1229.18014Everaert, Tomas; Gran, Marino 13 2010 Isomorphisms between left and right adjoints. Zbl 1042.18008Fausk, H.; Hu, P.; May, J. P. 13 2003 Operads in higher-dimensional category theory. Zbl 1065.18006Leinster, Tom 13 2004 Abstract physical traces. Zbl 1065.18005Abramsky, Samson; Coecke, Bob 13 2005 Differential restriction categories. Zbl 1260.14004Cockett, J. R. B.; Cruttwell, G. S. H.; Gallagher, J. D. 13 2011 On actions and strict actions in homological categories. Zbl 1275.18012Hartl, Manfred; Loiseau, Bruno 13 2012 Simplicial nerve of an \(\mathcal A_\infty\)-category. Zbl 1360.18023Faonte, Giovanni 13 2017 Factorization systems for symmetric cat-groups. Zbl 0964.18002Kasangian, S.; Vitale, E. M. 12 2000 Central extensions in Mal’tsev varieties. Zbl 0956.08002Janelidze, G.; Kelly, G. M. 12 2000 The reflectiveness of covering morphisms in algebra and geometry. Zbl 0866.18004Janelidze, G.; Kelly, G. M. 12 1997 The Hopf algebra of Möbius intervals. Zbl 1236.18001Lawvere, F. W.; Menni, M. 12 2010 Comparative smootheology. Zbl 1220.18013Stacey, Andrew 12 2011 Higher-dimensional categories with finite derivation type. Zbl 1190.18002Guiraud, Yves; Malbos, Philippe 12 2009 Monads on dagger categories. Zbl 1378.18003Heunen, Chris; Karvonen, Martti 12 2016 On Yetter’s invariant and an extension of the Dijkgraaf-Witten invariant to categorical groups. Zbl 1119.18009Martins, Joao Faria; Porter, Timothy 12 2007 On extensions of lax monads. Zbl 1085.18006Clementino, Maria Manuel; Hofmann, Dirk 12 2004 A C-system defined by a universe category. Zbl 1436.03311Voevodsky, Vladimir 12 2015 Applications of Peiffer pairings in the Moore complex of a simplicial group. Zbl 0917.18006Mutlu, A.; Porter, T. 11 1998 A homotopy double groupoid of a Hausdorff space. Zbl 0986.18010Brown, Ronald; Hardie, Keith A.; Kamps, Klaus Heiner; Porter, Timothy 11 2002 An embedding theorem for Hilbert categories. Zbl 1181.18004Heunen, Chris 11 2009 Internal choice holds in the discrete part of any cohesive topos satisfying stable connected codiscreteness. Zbl 1375.18017Lawvere, F. W.; Menni, M. 11 2015 Q-system completion is a 3-functor. Zbl 07467858Chen, Quan; Penneys, David 1 2022 Every elementary higher topos has a natural number object. Zbl 1464.18006Rasekh, Nima 2 2021 Locally anisotropic toposes. II. Zbl 1467.18005Funk, Jonathon; Hofstra, Pieter 1 2021 Algebraic exponentiation for Lie algebras. Zbl 1467.18018García-Martínez, Xabier; Gray, James R. A. 1 2021 Dependent products and 1-inaccessible universes. Zbl 1466.18015Lo Monaco, Giulio 1 2021 The Moore complex of a simplicial cocommutative Hopf algebra. Zbl 1466.16028Emir, Kadir 1 2021 A remarkable aspect of internal groupoids in regular Mal’tsev categories. Zbl 1482.18001Bourn, Dominique 1 2021 Left properness of flows. Zbl 1481.18027Gaucher, Philippe 1 2021 Monoidal Grothendieck construction. Zbl 1442.18016Moeller, Joe; Vasilakopoulou, Christina 6 2020 Classification of constructible cosheaves. Zbl 1442.32039Curry, Justin; Patel, Amit 5 2020 The law of excluded middle in the simplicial model of type theory. Zbl 1452.03038Kapulkin, Chris; Lefanu Lumsdaine, Peter 4 2020 The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions. Zbl 1430.18019Shulman, Michael 4 2020 \(\overline{\operatorname{Spec}\mathbb{Z}}\) and the Gromov norm. Zbl 1444.16061Connes, Alain; Consani, Caterina 3 2020 Structured cospans. Zbl 1451.18008Baez, John C.; Courser, Kenny 3 2020 Information structures and their cohomology. Zbl 1448.55011Vigneaux, Juan Pablo 2 2020 Braided skew monoidal categories. Zbl 1431.18012Bourke, John; Lack, Stephen 2 2020 \(L'\)-localization in an \(\infty\)-topos. Zbl 1439.18024Vergura, Marco 2 2020 A new Galois structure in the category of internal preorders. Zbl 1435.18009Facchini, Alberto; Finocchiaro, Carmelo; Gran, Marino 2 2020 The folk model category structure on strict \(\omega\)-categories is monoidal. Zbl 1443.18008Ara, Dimitri; Lucas, Maxime 2 2020 An intrinsic approach to the non-abelian tensor product via internal crossed squares. Zbl 1467.18012di Micco, Davide; Van der Linden, Tim 2 2020 The word problem for double categories. Zbl 1444.18021Delpeuch, Antonin 1 2020 Completely distributive enriched categories are not always continuous. Zbl 1444.18007Lai, Hongliang; Zhang, Dexue 1 2020 Exact sequences in the enchilada category. Zbl 1452.46053Eryüzlü, M.; Kaliszewski, S.; Quigg, John 1 2020 Symmetric monoidal categories and \(\Gamma\)-categories. Zbl 1440.18033Sharma, Amit 1 2020 Orbifolds of Reshetikhin-Turaev TQFTs. Zbl 1440.57016Carqueville, Nils; Runkel, Ingo; Schaumann, Gregor 1 2020 Multiple vector bundles: cores, splittings and decompositions. Zbl 1442.53016Heuer, Malte; Jotz Lean, Madeleine 1 2020 Network models. Zbl 1442.18014Baez, John C.; Foley, John; Moeller, Joe; Pollard, Blake S. 1 2020 Cocompletion of restriction categories. Zbl 1441.18005Garner, Richard; Lin, Daniel 1 2020 Weak model categories in classical and constructive mathematics. Zbl 1445.55013Henry, Simon 1 2020 Lax limits of model categories. Zbl 1440.18047Harpaz, Yonatan 1 2020 A recipe for black box functors. Zbl 1442.18043Fong, Brendan; Sarazola, Maru 1 2020 Cohesive toposes of sheaves on monoids of continuous endofunctions of the unit interval. Zbl 1441.18014Turcio, Luis Jesús 1 2020 Segal enriched categories and applications. Zbl 1443.18002Bacard, Hugo V. 1 2020 Internal split opfibrations and cofunctors. Zbl 1456.18008Clarke, Bryce 1 2020 Formal composition of hybrid systems. Zbl 1448.18005Culbertson, Jared; Gustafson, Paul; Koditschek, Daniel E.; Stiller, Peter F. 1 2020 On bicolimits of \(C^*\)-categories. Zbl 1448.18030Antoun, Jamie; Voigt, Christian 1 2020 Internal partial combinatory algebras and their slices. Zbl 1457.03079Zoethout, Jetze 1 2020 Majority categories. Zbl 1411.18002Hoefnagel, Michael Anton 8 2019 Involutive categories, colored \(\ast\)-operads and quantum field theory. Zbl 1406.18005Benini, Marco; Schenkel, Alexander; Woike, Lukas 7 2019 A probability monad as the colimit of spaces of finite samples. Zbl 1410.60007Fritz, Tobias; Perrone, Paolo 5 2019 Cluster-tilting subcategories in extriangulated categories. Zbl 1408.18029Zhou, Panyue; Zhu, Bin 5 2019 Categorification of pre-Lie algebras and solutions of 2-graded classical Yang-Baxter equations. Zbl 1408.17009Sheng, Yunhe 4 2019 Products and coequalizers in pointed categories. Zbl 1430.08002Hoefnagel, Michael 4 2019 Limits in dagger categories. Zbl 1412.18003Heunen, Chris; Karvonen, Martti 3 2019 Six operations formalism for generalized operads. Zbl 1430.18016Ward, Benjamin C. 3 2019 The tangent bundle of a model category. Zbl 1426.55008Harpaz, Yonatan; Nuiten, Joost; Prasma, Matan 3 2019 On finitary functors. Zbl 1470.18006Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 3 2019 Affine geometric spaces in tangent categories. Zbl 1444.18015Blute, R. F.; Cruttwell, G. S. H.; Lucyshyn-Wright, R. B. B. 2 2019 The dual of compact ordered spaces is a variety. Zbl 1446.18003Abbadini, Marco 2 2019 Distributive laws between the Three Graces. Zbl 1448.18029Bremner, Murray; Markl, Martin 2 2019 The formal theory of multimonoidal monads. Zbl 1410.18007Böhm, Gabriella 1 2019 A note on the categorical congruence distributivity. Zbl 07064373Bourn, Dominique 1 2019 Colimits of monoids. Zbl 1417.18002Porst, Hans-E. 1 2019 Lifting bicategories into double categories: the globularily generated condition. Zbl 1442.18021Orendain, Juan 1 2019 Distributors and the comprehensive factorization system for internal groupoids. Zbl 1451.18006Metere, Giuseppe 1 2019 Quotient categories and phases. Zbl 07104228Tull, Sean 1 2019 Strictification tensor product of 2-categories. Zbl 1420.18016Nikolić, Branko 1 2019 Monic skeleta, boundaries, Aufhebung, and the meaning of ‘one-dimensionality’. Zbl 1469.18006Menni, Matias 1 2019 The genuine operadic nerve. Zbl 1426.55012Bonventre, Peter 1 2019 Homotopy theory with \(\ast\)-categories. Zbl 1423.18011Bunke, Ulrich 1 2019 Weak units, universal cells, and coherence via universality for bicategories. Zbl 1423.18016Hadzihasanovic, Amar 1 2019 Characterization of left coextensive varieties of universal algebras. Zbl 1423.18006Broodryk, David Neal 1 2019 A note on internal object action representability of 1-cat groups and crossed modules. Zbl 1423.18029Ramasu, Pako 1 2019 Finitely presentable algebras for finitary monads. Zbl 1468.18006Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten 1 2019 A unified framework for notions of algebraic theory. Zbl 1441.18007Fujii, Soichiro 1 2019 A compositional framework for passive linear networks. Zbl 1402.18005Baez, John C.; Fong, Brendan 18 2018 Dualizing cartesian and cocartesian fibrations. Zbl 1423.18025Barwick, Clark; Glasman, Saul; Nardin, Denis 10 2018 Props in network theory. Zbl 1400.18004Baez, John C.; Coya, Brandon; Rebro, Franciscus 9 2018 Regular patterns, substitudes, Feynman categories and operads. Zbl 1398.18008Batanin, Michael; Kock, Joachim; Weber, Mark 6 2018 Actor of a crossed module of Leibniz algebras. Zbl 1434.17005Casas, José Manuel; Fernández-Casado, Rafael; García-Martínez, Xabier; Khmaladze, Emzar 5 2018 Pseudo-Kan extensions and descent theory. Zbl 1405.18002Lucatelli Nunes, Fernando 5 2018 Decorated corelations. Zbl 1400.18011Fong, Brendan 5 2018 A tangent category alternative to the Faà di Bruno construction. Zbl 1402.18003Lemay, Jean-Simon P. 4 2018 Revisiting the canonicity of canonical triangulations. Zbl 1394.55014Groth, Moritz 4 2018 A parallel section functor for 2-vector bundles. Zbl 1412.18009Schweigert, Christoph; Woike, Lukas 4 2018 On finitely aligned left cancellative small categories, Zappa-Szép products and Exel-Pardo algebras. Zbl 1415.46036Bédos, Erik; Kaliszewski, S.; Quigg, John; Spielberg, Jack 3 2018 On fibrant objects in model categories. Zbl 1393.55012Isaev, Valery 3 2018 Contravariance through enrichment. Zbl 1393.18002Shulman, Michael 3 2018 Generating the algebraic theory of \(C(X)\): the case of partially ordered compact spaces. Zbl 1419.18003Hofmann, Dirk; Neves, Renato; Nora, Pedro 3 2018 Higher isotropy. Zbl 1419.18002Funk, J.; Hofstra, P.; Khan, S. 3 2018 Theory of interleavings on categories with a flow. Zbl 1433.18002De Silva, V.; Munch, E.; Stefanou, A. 3 2018 On the geometric notion of connection and its expression in tangent categories. Zbl 1408.18030Lucyshyn-Wright, Rory B. B. 2 2018 Coalgebroids in monoidal bicategories and their comodules. Zbl 1444.18020Alcalá, Ramón Abud 2 2018 Spans of cospans. Zbl 1412.18008Cicala, Daniel 2 2018 A characterization of final functors between internal groupoids in exact categories. Zbl 06881678Cigoli, Alan S. 2 2018 Stability for inner fibrations revisited. Zbl 1398.55013Stevenson, Danny 2 2018 Tube representations and twisting of graded categories. Zbl 1406.18006Bhowmick, Jyotishman; Ghosh, Shamindra; Rakshit, Narayan; Yamashita, Makoto 1 2018 Polynomials, fibrations and distributive laws. Zbl 1408.18010von Glehn, Tamara 1 2018 Coarse-graining open Markov processes. Zbl 1406.18004Baez, John C.; Courser, Kenny 1 2018 The localic isotropy group of a topos. Zbl 06996619Henry, Simon 1 2018 Spark complexes on good effective orbifold atlases categorically. Zbl 1409.57027Du, Cheng-Yong; Shen, Lili; Zhao, Xiaojuan 1 2018 The Ehresmann-Schein-Nambooripad theorem for inverse categories. Zbl 1406.18003Dewolf, Darien; Pronk, Dorette 1 2018 Crossed products of crossed modules of Hopf monoids. Zbl 1401.18018Alonso Alvarez, J. N.; Fernández Vilaboa, J. M.; González Rodríguez, R. 1 2018 Spans of cospans in a topos. Zbl 1395.18002Cicala, Daniel; Courser, Kenny 1 2018 A construction of certain weak colimits and an exactness property of the 2-category of categories. Zbl 1428.18036Descotte, M. E.; Dubuc, E. J.; Szyld, M. 1 2018 Nearly locally presentable categories. Zbl 1419.18005Positselski, L.; Rosicky, J. 1 2018 On the normally ordered tensor product and duality for Tate objects. Zbl 1411.14005Braunling, O.; Groechenig, M.; Heleodoro, A.; Wolfson, J. 1 2018 Regularity vs. constructive complete (co)distributivity. Zbl 1396.18007Lai, Hongliang; Shen, Lili 1 2018 Homotopy theory for algebras over polynomial monads. Zbl 1368.18006Batanin, M. A.; Berger, C. 23 2017 Simplicial nerve of an \(\mathcal A_\infty\)-category. Zbl 1360.18023Faonte, Giovanni 13 2017 ...and 520 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,725 Authors 35 Gran, Marino 31 Bourn, Dominique 31 Hofmann, Dirk 31 Rosický, Jiří 30 Lack, Stephen 27 Clementino, Maria Manuel 27 Garner, Richard 27 van der Linden, Tim 22 Adámek, Jiří 22 Tholen, Walter 21 Sheng, Yunhe 20 Janelidze, Zurab 20 Martins-Ferreira, Nelson 19 Janelidze, George 19 Vitale, Enrico Maria 18 Mesablishvili, Bachuki 18 Schweigert, Christoph 18 Zhang, Dexue 17 Kock, Joachim 17 Lai, Hongliang 17 Li, Qingguo 16 Baez, John C. 16 Böhm, Gabriella 16 Casas Miras, José Manuel 16 Metere, Giuseppe 15 Cegarra, Antonio Martínez 15 Coecke, Bob 15 Gray, James Richard Andrew 15 Mantovani, Sandra 15 Sämann, Christian 15 Shulman, Michael A. 14 Fuchs, Jürgen 14 Milius, Stefan 14 Montoli, Andrea 14 Street, Ross H. 13 Bezhanishvili, Guram 13 Everaert, Tomas 13 Heunen, Chris 13 Power, John 12 Bourke, John 12 Kong, Liang 12 Rodelo, Diana 12 Zhao, Bin 11 Cockett, J. Robin B. 11 Cockett, Robin 11 Grandis, Marco 11 Jacqmin, Pierre-Alain 11 Martins, João Nuno Goncalves Faria 11 Morandi, Patrick J. 11 Shen, Lili 11 Velebil, Jiří 10 Cigoli, Alan S. 10 Fiore, Marcelo P. 10 García-Martínez, Xabier 10 Höhle, Ulrich 10 Ladra González, Manuel 10 López Franco, Ignacio L. 10 Runkel, Ingo 10 Schenkel, Alexander 10 Sobociński, Paweł 10 Waldorf, Konrad 10 Wisbauer, Robert 9 Benini, Marco 9 Caramello, Olivia 9 Fong, Brendan 9 Kurz, Alexander 9 Menni, Matías 9 Pacaud Lemay, Jean-Simon 9 Paré, Robert 9 Rosolini, Giuseppe 9 Santocanale, Luigi 9 Staton, Sam 9 Stubbe, Isar 9 Szabo, Richard J. 9 Ulualan, Erdal 9 Vickers, Steven 9 Zanasi, Fabio 8 Bonchi, Filippo 8 Guo, Lankun 8 Haugseng, Rune 8 Kock, Anders 8 Liu, Zhangju 8 Riehl, Emily 8 Sobral, Manuela 8 Townsend, Christopher F. 8 Woike, Lukas 7 Batanin, Michael A. 7 Berger, Clemens 7 Borceux, Francis 7 Bunk, Severin 7 Chatterjee, Saikat 7 Fritz, Tobias 7 Garzón, Antonio R. 7 Gaucher, Philippe 7 Gutiérrez García, Javier 7 Han, Shengwei 7 Hofstra, Pieter J. W. 7 Hyland, J. Martin E. 7 Lemay, Jean-Simon P. 7 Lucyshyn-Wright, Rory B. B. ...and 1,625 more Authors all top 5 Cited in 233 Journals 244 Journal of Pure and Applied Algebra 217 Applied Categorical Structures 156 Theory and Applications of Categories 151 Advances in Mathematics 76 Journal of Algebra 65 Topology and its Applications 51 Theoretical Computer Science 48 Communications in Mathematical Physics 42 Journal of Geometry and Physics 42 Fuzzy Sets and Systems 41 Journal of Homotopy and Related Structures 39 Annals of Pure and Applied Logic 35 MSCS. Mathematical Structures in Computer Science 28 Logical Methods in Computer Science 27 Algebra Universalis 25 Algebraic & Geometric Topology 24 Journal of High Energy Physics 21 Transactions of the American Mathematical Society 20 Letters in Mathematical Physics 19 Communications in Algebra 19 Tbilisi Mathematical Journal 18 Cahiers de Topologie et Géométrie Différentielle Catégoriques 18 Journal of Algebra and its Applications 16 Journal of Mathematical Physics 15 Semigroup Forum 14 Algebras and Representation Theory 14 Higher Structures 13 Information and Computation 12 Cahiers de Topologie et Géométrie Différentielle Catégoriques 12 Mathematische Zeitschrift 12 Proceedings of the American Mathematical Society 11 Categories and General Algebraic Structures with Applications 10 Nuclear Physics. B 10 Selecta Mathematica. New Series 9 Communications in Contemporary Mathematics 9 Journal of Noncommutative Geometry 9 Journal of Logical and Algebraic Methods in Programming 8 Differential Geometry and its Applications 8 Documenta Mathematica 8 Journal of Applied and Computational Topology 7 The Journal of Symbolic Logic 7 Hacettepe Journal of Mathematics and Statistics 6 Reviews in Mathematical Physics 6 Quaestiones Mathematicae 6 Order 6 Journal of Knot Theory and its Ramifications 6 Journal of Mathematical Sciences (New York) 6 Turkish Journal of Mathematics 6 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 6 Logica Universalis 5 Israel Journal of Mathematics 5 Commentationes Mathematicae Universitatis Carolinae 5 Compositio Mathematica 5 Mathematische Annalen 5 Studia Logica 5 Mathematical Logic Quarterly (MLQ) 5 Geometry & Topology 5 The Journal of Logic and Algebraic Programming 5 Bulletin of the Malaysian Mathematical Sciences Society. Second Series 5 Comptes Rendus. Mathématique. Académie des Sciences, Paris 4 International Journal of Theoretical Physics 4 Collectanea Mathematica 4 Journal of Philosophical Logic 4 Memoirs of the American Mathematical Society 4 International Journal of Approximate Reasoning 4 International Journal of Mathematics 4 Indagationes Mathematicae. New Series 4 Georgian Mathematical Journal 4 Journal of Functional Programming 4 Abstract and Applied Analysis 4 Central European Journal of Mathematics 4 Quantum Topology 3 Annales de l’Institut Fourier 3 International Journal of Mathematics and Mathematical Sciences 3 Inventiones Mathematicae 3 Synthese 3 Journal of the American Mathematical Society 3 International Journal of Algebra and Computation 3 Archive for Mathematical Logic 3 Journal of Lie Theory 3 Transformation Groups 3 Soft Computing 3 Journal of the European Mathematical Society (JEMS) 3 Journal of Geometric Mechanics 3 Science China. Mathematics 3 Forum of Mathematics, Sigma 3 Axioms 2 Acta Informatica 2 Discrete Mathematics 2 Indian Journal of Pure & Applied Mathematics 2 Journal of Mathematical Analysis and Applications 2 Mathematical Proceedings of the Cambridge Philosophical Society 2 Rocky Mountain Journal of Mathematics 2 Fortschritte der Physik 2 Acta Mathematica Vietnamica 2 Information Sciences 2 Publications Mathématiques 2 Journal of Computer and System Sciences 2 Journal of Functional Analysis 2 Journal für die Reine und Angewandte Mathematik ...and 133 more Journals all top 5 Cited in 54 Fields 1,520 Category theory; homological algebra (18-XX) 386 Algebraic topology (55-XX) 296 Mathematical logic and foundations (03-XX) 282 Computer science (68-XX) 226 Order, lattices, ordered algebraic structures (06-XX) 224 Associative rings and algebras (16-XX) 223 Quantum theory (81-XX) 208 Group theory and generalizations (20-XX) 168 General topology (54-XX) 153 Nonassociative rings and algebras (17-XX) 152 General algebraic systems (08-XX) 111 Differential geometry (53-XX) 103 Algebraic geometry (14-XX) 90 Functional analysis (46-XX) 89 Manifolds and cell complexes (57-XX) 75 Topological groups, Lie groups (22-XX) 67 Global analysis, analysis on manifolds (58-XX) 51 \(K\)-theory (19-XX) 47 Commutative algebra (13-XX) 41 Combinatorics (05-XX) 27 Relativity and gravitational theory (83-XX) 15 Geometry (51-XX) 15 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 14 Mechanics of particles and systems (70-XX) 13 Number theory (11-XX) 13 Dynamical systems and ergodic theory (37-XX) 12 Probability theory and stochastic processes (60-XX) 12 Information and communication theory, circuits (94-XX) 11 Several complex variables and analytic spaces (32-XX) 9 Measure and integration (28-XX) 9 Statistics (62-XX) 8 Field theory and polynomials (12-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 7 History and biography (01-XX) 7 Partial differential equations (35-XX) 7 Operator theory (47-XX) 7 Convex and discrete geometry (52-XX) 6 Statistical mechanics, structure of matter (82-XX) 5 General and overarching topics; collections (00-XX) 4 Special functions (33-XX) 4 Biology and other natural sciences (92-XX) 3 Real functions (26-XX) 3 Ordinary differential equations (34-XX) 3 Abstract harmonic analysis (43-XX) 3 Optics, electromagnetic theory (78-XX) 3 Operations research, mathematical programming (90-XX) 2 Functions of a complex variable (30-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Numerical analysis (65-XX) 2 Systems theory; control (93-XX) 2 Mathematics education (97-XX) 1 Approximations and expansions (41-XX) 1 Integral equations (45-XX) 1 Mechanics of deformable solids (74-XX) Citations by Year