×

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: 900 Publications (since 1995)
References Indexed: 301 Publications with 9,888 References.
all top 5

Authors

24 Barr, Michael
22 Rosický, Jiří
19 Wood, Richard J.
18 Adámek, Jiří
17 Cockett, J. Robin B.
17 Lack, Stephen
17 Street, Ross H.
15 Bourn, Dominique
15 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 Janelidze, Zurab
10 Pronk, Dorette A.
10 Seely, Robert A. G.
10 Tholen, Walter
10 Vitale, Enrico Maria
9 Gray, James Richard Andrew
9 Kock, Anders Jungersen
9 Marmolejo, Francisco
9 Paré, Robert
9 Shulman, Michael A.
9 Weber, Mark
8 Gaucher, Philippe
8 Lucyshyn-Wright, Rory B. B.
8 Rosebrugh, Robert D.
7 Brown, Ronald
7 Clementino, Maria Manuel
7 Cruttwell, Geoffrey S. H.
7 Funk, Jonathon R.
7 Hofstra, Pieter J. W.
7 Lawvere, Francis William
7 Leinster, Tom
7 Rodelo, Diana
6 Borceux, Francis
6 Garner, Richard
6 Johnstone, Peter T.
6 Mesablishvili, Bachuki
6 Montoli, Andrea
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 Martins-Ferreira, Nelson
5 Pisani, Claudio
5 Quigg, John C.
5 Schweigert, Christoph
5 Steiner, Richard J.
5 Stubbe, Isar
5 Szyld, Martín
5 Velebil, Jiří
4 Blute, Richard F.
4 Böhm, Gabriella
4 Caramello, Olivia
4 Cheng, Eugenia
4 Courser, Kenny
4 Dawson, Robert James MacGregor
4 Freyd, Peter J.
4 Fritz, Tobias
4 Hoefnagel, Michael Anton
4 Janelidze-Gray, Tamar
4 Karazeris, Panagis
4 Kenney, Toby
4 Mantovani, Sandra
4 Metere, Giuseppe
4 Milius, Stefan
4 Morandi, Patrick J.
4 Parker, Jason T.
4 Shen, Lili
4 Shoikhet, Boris B.
4 Sousa, Lurdes
4 Verity, Dominic
4 Voevodskiĭ, Vladimir Aleksandrovich
4 Xarez, João J.
3 Batanin, Michael A.
3 Bédos, Erik
3 Bunge, Marta C.
3 Carboni, Aurelio
3 Cegarra, Antonio Martínez
3 Chatterjee, Saikat
3 Chikhladze, Dimitri
3 Cigoli, Alan S.
3 de Paiva, Valeria
3 Dubuc, Eduardo J.
3 Egger, Jeffrey M.
3 Golasiński, Marek
...and 601 more Authors
all top 5

Fields

849 Category theory; homological algebra (18-XX)
154 Algebraic topology (55-XX)
91 Mathematical logic and foundations (03-XX)
71 Group theory and generalizations (20-XX)
70 General algebraic systems (08-XX)
61 Order, lattices, ordered algebraic structures (06-XX)
59 Associative rings and algebras (16-XX)
57 General topology (54-XX)
45 Computer science (68-XX)
29 Algebraic geometry (14-XX)
29 Functional analysis (46-XX)
20 Nonassociative rings and algebras (17-XX)
19 Manifolds and cell complexes (57-XX)
18 Commutative algebra (13-XX)
18 Topological groups, Lie groups (22-XX)
17 Differential geometry (53-XX)
14 \(K\)-theory (19-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 Several complex variables and analytic spaces (32-XX)
6 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
5 General and overarching topics; collections (00-XX)
5 Geometry (51-XX)
5 Probability theory and stochastic processes (60-XX)
4 Information and communication theory, circuits (94-XX)
3 Number theory (11-XX)
3 Real functions (26-XX)
3 Operations research, mathematical programming (90-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Measure and integration (28-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

Citations contained in zbMATH Open

685 Publications have been cited 5,056 times in 2,778 Documents Cited by Year
Higher-dimensional algebra. VI: Lie 2-algebras. Zbl 1057.17011
Baez, John C.; Crans, Alissa S.
149
2004
Higher-dimensional algebra. V: 2-Groups. Zbl 1056.18002
Baez, John C.; Lauda, Aaron D.
127
2004
Categorical structures enriched in a quantaloid: categories, distributors and functors. Zbl 1079.18005
Stubbe, Isar
78
2005
Framed bicategories and monoidal fibrations. Zbl 1192.18005
Shulman, Michael
60
2008
Protomodularity, descent, and semidirect products. Zbl 0890.18003
Bourn, D.; Janelidze, G.
59
1998
Categorical structures enriched in a quantaloid: tensored and cotensored categories. Zbl 1119.18005
Stubbe, Isar
55
2006
Characterization of protomodular varieties of universal algebras. Zbl 1021.08003
Bourn, Dominique; Janelidze, George
50
2003
Composing PROPs. Zbl 1062.18007
Lack, Stephen
49
2004
On the representability of actions in a semi-abelian category. Zbl 1103.18006
Borceux, F.; Janelidze, G.; Kelly, G. M.
43
2005
Notes on enriched categories with colimits of some class. Zbl 1082.18004
Kelly, G. M.; Schmitt, V.
42
2005
Enriched Lawvere theories. Zbl 0943.18003
Power, John
39
1999
Connections on non-abelian gerbes and their holonomy. Zbl 1279.53024
Schreiber, Urs; Waldorf, Konrad
38
2013
TFT Construction of RCFT correlators. V: Proof of modular invariance and factorisation. Zbl 1151.81038
Fjelstad, Jens; Fuchs, Jürgen; Runkel, Ingo; Schweigert, Christoph
38
2006
Simplicial matrices and the nerves of weak \(n\)-categories I: Nerves of bicategories. Zbl 1046.18009
Duskin, John W.
37
2001
Localic completion of generalized metric spaces I. Zbl 1083.54019
Vickers, Steven
36
2005
Centrality and normality in protomodular categories. Zbl 1004.18004
Bourn, Dominique; Gran, Marino
36
2001
The pointed subobject functor, \(3\times 3\) lemmas, and subtractivity of spans. Zbl 1234.18009
Janelidze, Zurab
36
2010
Homotopy theory for algebras over polynomial monads. Zbl 1368.18006
Batanin, M. A.; Berger, C.
36
2017
Cartesian differential categories. Zbl 1262.18004
Blute, R. F.; Cockett, J. R. B.; Seely, R. A. G.
33
2009
Monads of effective descent type and comonadicity. Zbl 1085.18003
Mesablishvili, Bachuki
32
2006
Categories in control. Zbl 1316.18009
Baez, John C.; Erbele, Jason
31
2015
\(\mathfrak V\)-Cat is locally presentable or locally bounded if \(\mathfrak V\) is so. Zbl 1003.18008
Kelly, G. M.; Lack, Stephen
31
2001
Familial 2-functors and parametric right adjoints. Zbl 1152.18005
Weber, Mark
31
2007
Distributive laws for pseudomonads. Zbl 0919.18004
Marmolejo, F.
30
1999
Frobenius algebras and ambidextrous adjunctions. Zbl 1092.18003
Lauda, Aaron D.
29
2006
Opmonoidal monads. Zbl 1018.18006
McCrudden, Paddy
29
2002
Introduction to coalgebra. Zbl 1080.18005
Adámek, Jiří
29
2005
A note on actions of a monoidal category. Zbl 1009.18005
Janelidze, G.; Kelly, G. M.
28
2001
Canonical and op-canonical lax algebras. Zbl 1088.18006
Seal, Gavin J.
27
2005
Proof theory for full intuitionistic linear logic, bilinear logic, and MIX categories. Zbl 0879.03022
Cockett, J. R. B.; Seely, R. A. G.
27
1997
Cubical sets and their site. Zbl 1022.18009
Grandis, Marco; Mauri, Luca
27
2003
Elementary quotient completion. Zbl 1288.03048
Maietti, Maria Emilia; Rosolini, Giuseppe
27
2013
More morphisms between bundle gerbes. Zbl 1166.55005
Waldorf, Konrad
26
2007
Doctrines whose structure forms a fully faithful adjoint string. Zbl 0878.18004
Marmolejo, F.
26
1997
Baer invariants in semi-abelian categories II: Homology. Zbl 1065.18012
Everaert, T.; Van der Linden, T.
26
2004
A compositional framework for passive linear networks. Zbl 1402.18005
Baez, John C.; Fong, Brendan
25
2018
Baer invariants in semi-abelian categories I: General theory. Zbl 1065.18011
Everaert, T.; Van der Linden, T.
25
2004
A survey of definitions of \(n\)-category. Zbl 0987.18007
Leinster, Tom
24
2002
On property-like structures. Zbl 0935.18005
Kelly, G. M.; Lack, Stephen
24
1997
Higher dimensional algebra. VII: Groupoidification. Zbl 1229.18003
Baez, John C.; Hoffnung, Alexander E.; Walker, Christopher D.
24
2010
Algebraically coherent categories. Zbl 1366.18005
Cigoli, Alan S.; Gray, James R. A.; Van der Linden, Tim
23
2015
The theory and practice of Reedy categories. Zbl 1302.55014
Riehl, Emily; Verity, Dominic
23
2014
Generalized Brown representability in homotopy categories. Zbl 1091.18002
Rosický, Jiří
23
2005
On sifted colimits and generalized varieties. Zbl 0971.18004
Adámek, Jiří; Rosický, Jiří
23
2001
Compact closed bicategories. Zbl 1356.18003
Stay, Michael
21
2016
Pure morphisms of commutative rings are effective descent morphisms for modules. A new proof. Zbl 0937.13002
Mesablishvili, Bachuki
21
2000
Codensity and the ultrafilter monad. Zbl 1273.18009
Leinster, Tom
21
2013
Generic morphisms, parametric representations and weakly cartesian monads. Zbl 1062.18008
Weber, Mark
21
2004
Isomorphisms between left and right adjoints. Zbl 1042.18008
Fausk, H.; Hu, P.; May, J. P.
21
2003
Categorical representations of categorical groups. Zbl 1108.18003
Barrett, John W.; Mackaay, Marco
21
2006
Approximable concepts, Chu spaces, and information systems. Zbl 1111.68132
Zhang, Guo-Qiang; Shen, Gongqin
21
2006
Generic commutative separable algebras and cospans of graphs. Zbl 1087.18003
Rosebrugh, R.; Sabadini, N.; Walters, R. F. C.
20
2005
Balanced coalgebroids. Zbl 0960.18005
Mccrudden, Paddy
20
2000
Normal functors and strong protomodularity. Zbl 0947.18004
Bourn, Dominique
20
2000
Commutator theory in strongly protomodular categories. Zbl 1068.18006
Bourn, Dominique
20
2004
Injective hulls of partially ordered monoids. Zbl 1259.06019
Lambek, J.; Barr, Michael; Kennison, John F.; Raphael, R.
20
2012
Action accessibility for categories of interest. Zbl 1307.18015
Montoli, Andrea
20
2010
Tannaka-Krein duality for compact quantum homogeneous spaces. I: General theory. Zbl 1337.46045
De Commer, Kenny; Yamashita, Makoto
20
2013
Dualizing cartesian and cocartesian fibrations. Zbl 1423.18025
Barwick, Clark; Glasman, Saul; Nardin, Denis
19
2018
Axiomatic cohesion. Zbl 1123.18001
Lawvere, F. William
19
2007
The double powerlocale and exponentiation: A case study in geometric logic. Zbl 1061.06026
Vickers, Steven
19
2004
Biequivalences in tricategories. Zbl 1252.18013
Gurski, Nick
19
2012
Resolutions by Polygraphs. Zbl 1020.18001
Métayer, François
19
2003
A unified framework for generalized multicategories. Zbl 1220.18003
Cruttwell, G. S. H.; Shulman, Michael A.
19
2010
Decorated cospans. Zbl 1351.18003
Fong, Brendan
18
2015
Categories enriched over a quantaloid: Isbell adjunctions and Kan adjunctions. Zbl 1273.18022
Shen, Lili; Zhang, Dexue
18
2013
Skew monoidales, skew warpings and quantum categories. Zbl 1252.18016
Lack, Stephen; Street, Ross
18
2012
Approximate Mal’tsev operations. Zbl 1172.18001
Bourn, Dominique; Janelidze, Zurab
18
2008
Pseudogroupoids and commutators. Zbl 1008.18006
Janelidze, George; Pedicchio, M. Cristina
18
2001
Symmetric monoidal categories model all connective spectra. Zbl 0876.55009
Thomason, R. W.
18
1995
Applications of Peiffer pairings in the Moore complex of a simplicial group. Zbl 0917.18006
Mutlu, A.; Porter, T.
18
1998
Comparative smootheology. Zbl 1220.18013
Stacey, Andrew
18
2011
A C-system defined by a universe category. Zbl 1436.03311
Voevodsky, Vladimir
17
2015
Polynomials in categories with pullbacks. Zbl 1330.18002
Weber, Mark
17
2015
Cartesian differential storage categories. Zbl 1330.18009
Blute, R.; Cockett, J. R. B.; Seely, R. A. G.
17
2015
On actions and strict actions in homological categories. Zbl 1275.18012
Hartl, Manfred; Loiseau, Bruno
17
2012
Bounded Archimedean \(\ell\)-algebras and Gelfand-Neumark-Stone duality. Zbl 1314.06020
Bezhanishvili, Guram; Morandi, Patrick J.; Olberding, Bruce
17
2013
Weakly Mal’cev categories. Zbl 1166.18005
Martins-Ferreira, N.
17
2008
Vector fields and flows on differentiable stacks. Zbl 1206.37009
Hepworth, Richard
17
2009
Closedness properties of internal relations. I. A unified approach to Mal’tsev, unital and subtractive categories. Zbl 1104.18002
Janelidze, Zurab
17
2006
Hopf monoidal comonads. Zbl 1250.18006
Chikhladze, Dimitri; Lack, Stephen; Street, Ross
17
2010
Simplicial nerve of an \(\mathcal A_\infty\)-category. Zbl 1360.18023
Faonte, Giovanni
17
2017
Monads on dagger categories. Zbl 1378.18003
Heunen, Chris; Karvonen, Martti
16
2016
Higher-dimensional categories with finite derivation type. Zbl 1190.18002
Guiraud, Yves; Malbos, Philippe
16
2009
Double categories, 2-categories, thin structures and connections. Zbl 0918.18005
Brown, Ronald; Mosa, Ghafar H.
16
1999
Internal crossed modules and Peiffer condition. Zbl 1315.18012
Mantovani, Sandra; Metere, Giuseppe
16
2010
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
Props in network theory. Zbl 1400.18004
Baez, John C.; Coya, Brandon; Rebro, Franciscus
16
2018
Operads in higher-dimensional category theory. Zbl 1065.18006
Leinster, Tom
15
2004
On Yetter’s invariant and an extension of the Dijkgraaf-Witten invariant to categorical groups. Zbl 1119.18009
Martins, Joao Faria; Porter, Timothy
15
2007
A convenient category for directed homotopy. Zbl 1157.18003
Fajstrup, L.; Rosický, J.
15
2008
Higher dimensional Peiffer elements in simplicial commutative algebras. Zbl 0874.18011
Arvasi, Z.; Porter, T.
14
1997
The reflectiveness of covering morphisms in algebra and geometry. Zbl 0866.18004
Janelidze, G.; Kelly, G. M.
14
1997
Joyal’s arithmetic universe as list-arithmetic pretopos. Zbl 1245.03111
Maietti, Maria Emilia
14
2010
Abstract physical traces. Zbl 1065.18005
Abramsky, Samson; Coecke, Bob
14
2005
A theory of enriched sketches. Zbl 0981.18006
Borceux, F.; Quinteiro, C.; Rosický, J.
14
1998
Freeness conditions for 2-crossed modules and complexes. Zbl 0917.18004
Mutlu, A.; Porter, T.
14
1998
The Hopf algebra of Möbius intervals. Zbl 1236.18001
Lawvere, F. W.; Menni, M.
14
2010
Remarks on punctual local connectedness. Zbl 1239.18004
Johnstone, Peter
14
2011
Differential restriction categories. Zbl 1260.14004
Cockett, J. R. B.; Cruttwell, G. S. H.; Gallagher, J. D.
14
2011
Quasi-uniform structures and functors. Zbl 1514.18002
Iragi, Minani; Holgate, David
2
2023
Pointed semibiproducts of monoids. Zbl 1514.18014
Martins-Ferreira, Nelson
1
2023
Fréchet modules and descent. Zbl 1512.46053
Ben-Bassat, Oren; Kremnizer, Kobi
1
2023
Colimits in enriched \(\infty\)-categories and Day convolution. Zbl 1514.18007
Hinich, Vladimir
1
2023
Enhanced twisted arrow categories. Zbl 1520.18018
Abellán García, Fernando; Stern, Walker H.
1
2023
Enriched locally generated categories. Zbl 1492.18006
Di Liberti, Ivan; Rosický, Jiří
3
2022
Weak Fraïssé categories. Zbl 1502.18004
Kubiś, Wiesław
3
2022
A modular functor from state sums for finite tensor categories and their bimodules. Zbl 1494.18012
Fuchs, Jürgen; Schaumann, Gregor; Schweigert, Christoph
2
2022
Cohomologies, extensions and deformations of differential algebras of arbitrary weight. Zbl 1517.16007
Guo, Li; Li, Yunnan; Sheng, Yunhe; Zhou, Guodong
2
2022
Q-system completion is a 3-functor. Zbl 1492.46070
Chen, Quan; Penneys, David
2
2022
Extensivity of categories of relational structures. Zbl 1492.18004
Parker, Jason
1
2022
Locally bounded enriched categories. Zbl 1493.18001
Lucyshyn-Wright, Rory B. B.; Parker, Jason
1
2022
The matrix taxonomy of finitely complete categories. Zbl 1499.18018
Hoefnagel, Michael; Jacqmin, Pierre-Alain; Janelidze, Zurab
1
2022
On the dearth of coproducts in the category of locally compact groups. Zbl 1507.22018
Chirvasitu, Alexandru
1
2022
Twisted arrow categories, operads and Segal conditions. Zbl 1484.18008
Burkin, Sergei
1
2022
On dualizable objects in monoidal bicategories. Zbl 1494.18016
Pstrągowski, Piotr
1
2022
Linearizing combinators. Zbl 1485.18014
Cockett, Robin; Pacaud Lemay, Jean-Simon
1
2022
Central extensions of associative algebras and weakly action representable categories. Zbl 1505.18014
Janelidze, George
1
2022
Presentations and algebraic colimits of enriched monads for a subcategory of arities. Zbl 1505.18008
Lucyshyn-Wright, Rory B. B.; Parker, Jason
1
2022
Moment categories and operads. Zbl 1505.18004
Berger, Clemens
1
2022
Gray-categories model algebraic tricategories. Zbl 1514.18022
Ferrer, Giovanni
1
2022
Every elementary higher topos has a natural number object. Zbl 1464.18006
Rasekh, Nima
4
2021
A categorical approach to quantum moment maps. Zbl 1468.18019
Safronov, Pavel
3
2021
Descent data and absolute Kan extensions. Zbl 1466.18013
Lucatelli Nunes, Fernando
2
2021
The Moore complex of a simplicial cocommutative Hopf algebra. Zbl 1466.16028
Emir, Kadir
2
2021
Pivotal objects in monoidal categories and their Hopf monads. Zbl 1458.18009
Ghobadi, Aryan
2
2021
Closed dendroidal sets and unital operads. Zbl 1477.18042
Moerdijk, Ieke
2
2021
Algebraic exponentiation for Lie algebras. Zbl 1467.18018
García-Martínez, Xabier; Gray, James R. A.
2
2021
Left properness of flows. Zbl 1481.18027
Gaucher, Philippe
1
2021
Tensor-restriction categories. Zbl 1464.18016
Heunen, Chris; Lemay, Jean-Simon Pacaud
1
2021
Discrete double fibrations. Zbl 1464.18020
Lambert, Michael
1
2021
A closed model structure on the category of weakly unital dg categories. II. Zbl 1461.18016
Panero, Piergiorgio; Shoikhet, Boris
1
2021
A homotopy theory of coherently commutative monoidal quasi-categories. Zbl 1476.18014
Sharma, Amit
1
2021
Parsummable categories as a strictification of symmetric monoidal categories. Zbl 1474.18030
Lenz, Tobias
1
2021
On the formal theory of pseudomonads and pseudodistributive laws. Zbl 1457.18023
Gambino, Nicola; Lobbia, Gabriele
1
2021
Dependent products and 1-inaccessible universes. Zbl 1466.18015
Lo Monaco, Giulio
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
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
The comprehensive factorization of Burroni’s \(\mathbb{T}\)-functors. Zbl 1474.18006
Tholen, Walter; Yeganeh, Leila
1
2021
\((T,\mathbf{V})\)-\(\mathbf{Cat}\) is extensive. Zbl 1471.18005
Clementino, Maria Manuel
1
2021
Coherent nerves for higher quasicategories. Zbl 1468.18003
Gindi, Harry
1
2021
A practical type theory for symmetric monoidal categories. Zbl 1474.18031
Shulman, Michael
1
2021
Locally anisotropic toposes. II. Zbl 1467.18005
Funk, Jonathon; Hofstra, Pieter
1
2021
Cauchy completeness for DG-categories. Zbl 1467.18011
Nikolić, Branko; Street, Ross; Tendas, Giacomo
1
2021
2-dimensional bifunctor theorems and distributive laws. Zbl 1477.18045
Faul, Peter F.; Manuell, Graham; Siqueira, José
1
2021
On sifted colimits in the presence of pullbacks. Zbl 1477.18006
Chen, Ruiyuan
1
2021
Intrinsic Schreier special objects. Zbl 1482.18005
Montoli, Andrea; Rodelo, Diana; van der Linden, Tim
1
2021
Autocompact objects of Ab5 categories. Zbl 1475.18012
Dvořák, Josef; Žemlička, Jan
1
2021
Monoidal Grothendieck construction. Zbl 1442.18016
Moeller, Joe; Vasilakopoulou, Christina
11
2020
Classification of constructible cosheaves. Zbl 1442.32039
Curry, Justin; Patel, Amit
8
2020
The law of excluded middle in the simplicial model of type theory. Zbl 1452.03038
Kapulkin, Chris; Lefanu Lumsdaine, Peter
8
2020
Orbifolds of Reshetikhin-Turaev TQFTs. Zbl 1440.57016
Carqueville, Nils; Runkel, Ingo; Schaumann, Gregor
8
2020
The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions. Zbl 1430.18019
Shulman, Michael
7
2020
A new Galois structure in the category of internal preorders. Zbl 1435.18009
Facchini, Alberto; Finocchiaro, Carmelo; Gran, Marino
6
2020
Braided skew monoidal categories. Zbl 1431.18012
Bourke, John; Lack, Stephen
5
2020
\(\overline{\operatorname{Spec}\mathbb{Z}}\) and the Gromov norm. Zbl 1444.16061
Connes, Alain; Consani, Caterina
5
2020
Network models. Zbl 1442.18014
Baez, John C.; Foley, John; Moeller, Joe; Pollard, Blake S.
4
2020
Weak model categories in classical and constructive mathematics. Zbl 1445.55013
Henry, Simon
4
2020
Homotopy theory with marked additive categories. Zbl 1440.18011
Bunke, Ulrich; Engel, Alexander; Kasprowski, Daniel; Winges, Christoph
4
2020
The existential completion. Zbl 1446.18007
Trotta, Davide
4
2020
The folk model category structure on strict \(\omega\)-categories is monoidal. Zbl 1443.18008
Ara, Dimitri; Lucas, Maxime
3
2020
Rank-based persistence. Zbl 1439.55006
Bergomi, Mattia G.; Vertechi, Pietro
3
2020
Lax orthogonal factorisations in ordered structures. Zbl 1446.18015
Manuel Clementino, Maria; López Franco, Ignacio
3
2020
Structured cospans. Zbl 1451.18008
Baez, John C.; Courser, Kenny
3
2020
A characterisation of the category of compact Hausdorff spaces. Zbl 1451.18023
Marra, Vincenzo; Reggio, Luca
3
2020
Cocompletion of restriction categories. Zbl 1441.18005
Garner, Richard; Lin, Daniel
2
2020
\(L'\)-localization in an \(\infty\)-topos. Zbl 1439.18024
Vergura, Marco
2
2020
Symmetric monoidal categories and \(\Gamma\)-categories. Zbl 1440.18033
Sharma, Amit
2
2020
Cohesive toposes of sheaves on monoids of continuous endofunctions of the unit interval. Zbl 1441.18014
Turcio, Luis Jesús
2
2020
Segal enriched categories and applications. Zbl 1443.18002
Bacard, Hugo V.
2
2020
An intrinsic approach to the non-abelian tensor product via internal crossed squares. Zbl 1467.18012
di Micco, Davide; Van der Linden, Tim
2
2020
Information structures and their cohomology. Zbl 1448.55011
Vigneaux, Juan Pablo
2
2020
Multiple vector bundles: cores, splittings and decompositions. Zbl 1442.53016
Heuer, Malte; Jotz Lean, Madeleine
2
2020
Formal composition of hybrid systems. Zbl 1448.18005
Culbertson, Jared; Gustafson, Paul; Koditschek, Daniel E.; Stiller, Peter F.
2
2020
On bicolimits of \(C^*\)-categories. Zbl 1448.18030
Antoun, Jamie; Voigt, Christian
2
2020
Internal partial combinatory algebras and their slices. Zbl 1457.03079
Zoethout, Jetze
2
2020
A localization of bicategories via homotopies. Zbl 1444.18023
Descotte, M. E.; Dubuc, E. J.; Szyld, M.
1
2020
Lax limits of model categories. Zbl 1440.18047
Harpaz, Yonatan
1
2020
A recipe for black box functors. Zbl 1442.18043
Fong, Brendan; Sarazola, Maru
1
2020
The word problem for double categories. Zbl 1444.18021
Delpeuch, Antonin
1
2020
Completely distributive enriched categories are not always continuous. Zbl 1444.18007
Lai, Hongliang; Zhang, Dexue
1
2020
Morita invariance of equivariant Lusternik-Schnirelmann category and invariant topological complexity. Zbl 1462.55001
Angel, A.; Colman, H.; Grant, M.; Oprea, J.
1
2020
Augmented virtual double categories. Zbl 1440.18044
Koudenburg, Seerp Roald
1
2020
Exact sequences in the enchilada category. Zbl 1452.46053
Eryüzlü, M.; Kaliszewski, S.; Quigg, John
1
2020
On the construction of limits and colimits in \(\infty\)-categories. Zbl 1451.18043
Riehl, Emily; Verity, Dominic
1
2020
PROPs for involutive monoids and involutive bimonoids. Zbl 1455.16030
Graves, Daniel
1
2020
Internal split opfibrations and cofunctors. Zbl 1456.18008
Clarke, Bryce
1
2020
Involutive categories, colored \(\ast\)-operads and quantum field theory. Zbl 1406.18005
Benini, Marco; Schenkel, Alexander; Woike, Lukas
13
2019
Majority categories. Zbl 1411.18002
Hoefnagel, Michael Anton
11
2019
A probability monad as the colimit of spaces of finite samples. Zbl 1410.60007
Fritz, Tobias; Perrone, Paolo
10
2019
Categorification of pre-Lie algebras and solutions of 2-graded classical Yang-Baxter equations. Zbl 1408.17009
Sheng, Yunhe
9
2019
On finitary functors. Zbl 1470.18006
Adámek, Jiri; Milius, Stefan; Sousa, Lurdes; Wissmann, Thorsten
8
2019
Six operations formalism for generalized operads. Zbl 1430.18016
Ward, Benjamin C.
7
2019
Cluster-tilting subcategories in extriangulated categories. Zbl 1408.18029
Zhou, Panyue; Zhu, Bin
7
2019
Products and coequalizers in pointed categories. Zbl 1430.08002
Hoefnagel, Michael
6
2019
The dual of compact ordered spaces is a variety. Zbl 1446.18003
Abbadini, Marco
5
2019
Limits in dagger categories. Zbl 1412.18003
Heunen, Chris; Karvonen, Martti
5
2019
The tangent bundle of a model category. Zbl 1426.55008
Harpaz, Yonatan; Nuiten, Joost; Prasma, Matan
4
2019
...and 585 more Documents
all top 5

Cited by 2,129 Authors

38 Gran, Marino
36 Lack, Stephen
35 Rosický, Jiří
34 Hofmann, Dirk
33 Bourn, Dominique
32 Clementino, Maria Manuel
30 van der Linden, Tim
27 Garner, Richard
26 Adámek, Jiří
26 Tholen, Walter
25 Martins-Ferreira, Nelson
23 Sheng, Yunhe
22 Cockett, J. Robin B.
22 Janelidze, Zurab
21 Janelidze, George
21 Schweigert, Christoph
20 Kock, Joachim
20 Shulman, Michael A.
20 Vitale, Enrico Maria
19 Bezhanishvili, Guram
19 Metere, Giuseppe
18 Baez, John C.
18 Casas Miras, José Manuel
18 Li, Qingguo
18 Mantovani, Sandra
18 Mesablishvili, Bachuki
18 Montoli, Andrea
18 Sobociński, Paweł
18 Zanasi, Fabio
18 Zhang, Dexue
17 Böhm, Gabriella
17 Lai, Hongliang
17 Sämann, Christian
17 Street, Ross H.
16 Cegarra, Antonio Martínez
16 Gray, James Richard Andrew
16 Milius, Stefan
15 Bonchi, Filippo
15 Bourke, John
15 Coecke, Bob
15 Fuchs, Jürgen
14 Heunen, Chris
14 Morandi, Patrick J.
13 Cigoli, Alan S.
13 Everaert, Tomas
13 Jacqmin, Pierre-Alain
13 Power, John
13 Rodelo, Diana
13 Zhao, Bin
12 Hackney, Philip
12 Kong, Liang
12 Kurz, Alexander
12 Runkel, Ingo
12 Schenkel, Alexander
12 Shen, Lili
12 Velebil, Jiří
12 Waldorf, Konrad
11 Benini, Marco
11 Chatterjee, Saikat
11 Fiore, Marcelo P.
11 García-Martínez, Xabier
11 Grandis, Marco
11 Haugseng, Rune
11 Ladra González, Manuel
11 López Franco, Ignacio L.
11 Lucyshyn-Wright, Rory B. B.
11 Martins, João Nuno Goncalves Faria
11 Sobral, Manuela
11 Staton, Sam
11 Zucchini, Roberto
10 Borceux, Francis
10 Bunk, Severin
10 Caramello, Olivia
10 Das, Apurba
10 Fritz, Tobias
10 Höhle, Ulrich
10 Kock, Anders Jungersen
10 Menni, Matías
10 Pacaud Lemay, Jean-Simon
10 Rosolini, Giuseppe
10 Sousa, Lurdes
10 Stubbe, Isar
10 Ulualan, Erdal
10 Vickers, Steven
10 Wisbauer, Robert
9 Bunke, Ulrich
9 Fong, Brendan
9 Gambino, Nicola
9 Kissinger, Aleks
9 Liu, Zhangju
9 Maietti, Maria Emilia
9 Mucuk, Osman
9 Paré, Robert
9 Riehl, Emily
9 Santocanale, Luigi
9 Spivak, David I.
9 Szabo, Richard J.
9 Uustalu, Tarmo
9 Woike, Lukas
9 Zhang, Xia
...and 2,029 more Authors
all top 5

Cited in 272 Journals

286 Journal of Pure and Applied Algebra
242 Applied Categorical Structures
189 Theory and Applications of Categories
177 Advances in Mathematics
89 Journal of Algebra
74 Topology and its Applications
56 Communications in Mathematical Physics
55 Theoretical Computer Science
52 MSCS. Mathematical Structures in Computer Science
47 Journal of Geometry and Physics
47 Fuzzy Sets and Systems
47 Algebraic & Geometric Topology
46 Journal of Homotopy and Related Structures
41 Annals of Pure and Applied Logic
41 Logical Methods in Computer Science
40 Journal of High Energy Physics
28 Algebra Universalis
26 Journal of Algebra and its Applications
25 Transactions of the American Mathematical Society
24 Communications in Algebra
20 Letters in Mathematical Physics
20 Higher Structures
19 Journal of Mathematical Physics
19 Tbilisi Mathematical Journal
18 Semigroup Forum
18 Algebras and Representation Theory
18 Cahiers de Topologie et Géométrie Différentielle Catégoriques
15 Proceedings of the American Mathematical Society
14 Journal of the London Mathematical Society. Second Series
14 Information and Computation
13 Mathematische Zeitschrift
13 Selecta Mathematica. New Series
13 Journal of Logical and Algebraic Methods in Programming
13 Journal of Applied and Computational Topology
12 Cahiers de Topologie et Géométrie Différentielle Catégoriques
12 Journal of Noncommutative Geometry
11 Quaestiones Mathematicae
11 Turkish Journal of Mathematics
11 Communications in Contemporary Mathematics
11 Categories and General Algebraic Structures with Applications
10 Nuclear Physics. B
10 The Journal of Symbolic Logic
10 Mathematical Logic Quarterly (MLQ)
10 Hacettepe Journal of Mathematics and Statistics
9 Order
9 Differential Geometry and its Applications
9 Forum of Mathematics, Sigma
8 Documenta Mathematica
8 Journal of Geometric Mechanics
7 Israel Journal of Mathematics
7 Reviews in Mathematical Physics
7 Bulletin of the London Mathematical Society
7 Memoirs of the American Mathematical Society
7 Journal of Knot Theory and its Ramifications
6 Compositio Mathematica
6 Mathematische Annalen
6 Forum Mathematicum
6 Indagationes Mathematicae. New Series
6 Journal of Mathematical Sciences (New York)
6 Transformation Groups
6 Geometry & Topology
6 Bulletin of the Malaysian Mathematical Sciences Society. Second Series
6 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications
6 Logica Universalis
5 Collectanea Mathematica
5 Commentationes Mathematicae Universitatis Carolinae
5 Inventiones Mathematicae
5 Studia Logica
5 Journal of the American Mathematical Society
5 International Journal of Mathematics
5 The New York Journal of Mathematics
5 Journal of Lie Theory
5 Soft Computing
5 The Journal of Logic and Algebraic Programming
5 Comptes Rendus. Mathématique. Académie des Sciences, Paris
5 Journal of Topology
5 Science China. Mathematics
4 International Journal of Theoretical Physics
4 Mathematical Proceedings of the Cambridge Philosophical Society
4 Fortschritte der Physik
4 Journal of Philosophical Logic
4 International Journal of Approximate Reasoning
4 International Journal of Algebra and Computation
4 Georgian Mathematical Journal
4 Journal of Functional Programming
4 Abstract and Applied Analysis
4 Annales Henri Poincaré
4 Central European Journal of Mathematics
4 Journal of Physics A: Mathematical and Theoretical
4 Quantum Topology
4 Annals of \(K\)-Theory
3 Annales de l’Institut Fourier
3 Annali di Matematica Pura ed Applicata. Serie Quarta
3 Glasgow Mathematical Journal
3 Publications Mathématiques
3 International Journal of Mathematics and Mathematical Sciences
3 Journal für die Reine und Angewandte Mathematik
3 Pacific Journal of Mathematics
3 Proceedings of the Edinburgh Mathematical Society. Series II
3 Proceedings of the London Mathematical Society. Third Series
...and 172 more Journals
all top 5

Cited in 56 Fields

1,904 Category theory; homological algebra (18-XX)
501 Algebraic topology (55-XX)
361 Mathematical logic and foundations (03-XX)
344 Computer science (68-XX)
275 Associative rings and algebras (16-XX)
270 Quantum theory (81-XX)
265 Order, lattices, ordered algebraic structures (06-XX)
241 Group theory and generalizations (20-XX)
201 General topology (54-XX)
193 Nonassociative rings and algebras (17-XX)
175 General algebraic systems (08-XX)
135 Algebraic geometry (14-XX)
135 Differential geometry (53-XX)
123 Manifolds and cell complexes (57-XX)
113 Functional analysis (46-XX)
99 Topological groups, Lie groups (22-XX)
85 Global analysis, analysis on manifolds (58-XX)
74 \(K\)-theory (19-XX)
57 Commutative algebra (13-XX)
56 Combinatorics (05-XX)
31 Relativity and gravitational theory (83-XX)
20 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
19 Geometry (51-XX)
18 Mechanics of particles and systems (70-XX)
17 Dynamical systems and ergodic theory (37-XX)
16 Number theory (11-XX)
16 Probability theory and stochastic processes (60-XX)
15 Several complex variables and analytic spaces (32-XX)
13 Statistics (62-XX)
13 Information and communication theory, circuits (94-XX)
12 History and biography (01-XX)
11 Measure and integration (28-XX)
10 Partial differential equations (35-XX)
10 Operator theory (47-XX)
9 Field theory and polynomials (12-XX)
9 Convex and discrete geometry (52-XX)
8 Statistical mechanics, structure of matter (82-XX)
7 General and overarching topics; collections (00-XX)
7 Linear and multilinear algebra; matrix theory (15-XX)
6 Biology and other natural sciences (92-XX)
4 Real functions (26-XX)
4 Special functions (33-XX)
4 Ordinary differential equations (34-XX)
4 Operations research, mathematical programming (90-XX)
4 Systems theory; control (93-XX)
3 Abstract harmonic analysis (43-XX)
3 Optics, electromagnetic theory (78-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 Mathematics education (97-XX)
1 Potential theory (31-XX)
1 Approximations and expansions (41-XX)
1 Integral equations (45-XX)
1 Mechanics of deformable solids (74-XX)
1 Classical thermodynamics, heat transfer (80-XX)

Citations by Year