Category Theory

Authors and titles for December 2018

[1] arXiv:1812.00046 [pdf, other]

Title: Cylinder topological quantum field theory: A categorical presentation of classical field theory and its symmetries

Juan Orendain

Comments: 51 pages

Subjects: Category Theory (math.CT)

[2] arXiv:1812.00122 [pdf, other]

Title: Joyal's Suspension Functor on $Θ$ and Kan's Combinatorial Spectra

Paul Lessard

Comments: Superseded by Z-Categories 1 (arXiv:2206.00849) and Z-Categories 2 (forthcoming)

Subjects: Category Theory (math.CT)

[3] arXiv:1812.00652 [pdf, other]

Title: An abstract elementary class non-axiomatizable in $L_{(\infty,κ)}$

Simon Henry

Comments: Published in Journal of Symbolic Logic. 13 pages

Subjects: Category Theory (math.CT); Logic (math.LO)

[4] arXiv:1812.01750 [pdf, other]

Title: Operadic categories and décalage

Richard Garner, Joachim Kock, Mark Weber

Comments: 20 pages

Journal-ref: Adv. Math. 377 (2021), 107440

Subjects: Category Theory (math.CT)

[5] arXiv:1812.02452 [pdf, other]

Title: Tannakian categories in positive characteristic

Kevin Coulembier

Comments: v2: with appendix working out the details of a letter from Deligne to Vasiu v3: some typos corrected v4: correction in characterisation super tannakian categories

Journal-ref: Duke Math. J. 169, no. 16 (2020), 3167-3219

Subjects: Category Theory (math.CT); Representation Theory (math.RT)

[6] arXiv:1812.02935 [pdf, other]

Title: Operadic categories as a natural environment for Koszul duality

Michael Batanin, Martin Markl

Comments: 46 pages. Final version

Journal-ref: Compositionality, Volume 5 (2023) (June 5, 2023) compositionality:13522

Subjects: Category Theory (math.CT); Algebraic Topology (math.AT)

[7] arXiv:1812.03255 [pdf, other]

Title: The degenerate Heisenberg category and its Grothendieck ring

Jonathan Brundan, Alistair Savage, Ben Webster

Comments: v3: small corrections based on a referee report

Journal-ref: Ann. Sci. \'Ec. Norm. Sup\'er. 56 (2023), 1517-1563

Subjects: Category Theory (math.CT); Rings and Algebras (math.RA); Representation Theory (math.RT)

[8] arXiv:1812.03583 [pdf, other]

Title: Homotopy limits in the category of dg-categories in terms of $\mathrm{A}_{\infty}$-comodules

Sergey Arkhipov, Sebastian Ørsted

Comments: 31 pages; updated a reference

Subjects: Category Theory (math.CT)

[9] arXiv:1812.03601 [pdf, other]

Title: A recipe for black box functors

Brendan Fong, Maru Sarazola

Comments: 32 pages + 2 page appendix

Journal-ref: Theory and Applications of Categories, Vol. 35, No. 26 (2020), pp. 979-1011

Subjects: Category Theory (math.CT)

[10] arXiv:1812.03947 [pdf, other]

Title: Operadic approach to cohomology of associative triple and N-tuple systems

Fatemeh Bagherzadeh, Murray Bremner

Comments: 14 pages

Subjects: Category Theory (math.CT); Rings and Algebras (math.RA)

[11] arXiv:1812.04143 [pdf, other]

Title: Vector product and composition algebras in braided monoidal additive categories

Ross Street

Comments: 23 pages

Subjects: Category Theory (math.CT)

[12] arXiv:1812.05062 [pdf, other]

Title: Time-reversal homotopical properties of concurrent systems

Cameron Calk, Eric Goubault, Philippe Malbos

Subjects: Category Theory (math.CT); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Algebraic Topology (math.AT)

[13] arXiv:1812.05332 [pdf, other]

Title: Polygraphs and Discrete Conduch{é} $ω$-Functors

Léonard Guetta (IRIF (UMR\_8243))

Journal-ref: Higher Structures, 2020, 4(2)

Subjects: Category Theory (math.CT)

[14] arXiv:1812.05765 [pdf, other]

Title: Graphical Regular Logic

Brendan Fong, David I Spivak

Comments: 47 pages

Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Logic (math.LO)

[15] arXiv:1812.06242 [pdf, other]

Title: Homological Algebra of Heyting modules

Abhishek Banerjee

Subjects: Category Theory (math.CT)

[16] arXiv:1812.07272 [pdf, other]

Title: Heavily Separable Functors

Alessandro Ardizzoni, Claudia Menini

Subjects: Category Theory (math.CT); Rings and Algebras (math.RA); Representation Theory (math.RT)

[17] arXiv:1812.07656 [pdf, other]

Title: The Double Category of Paired Dialgebras on the Chu Category

Aydin Manzouri

Comments: 141 pages

Subjects: Category Theory (math.CT)

[18] arXiv:1812.09661 [pdf, other]

Title: Lax familial representability and lax generic factorizations

Charles Walker

Comments: 47 pages; final author version; to appear in TAC

Subjects: Category Theory (math.CT)

[19] arXiv:1812.10527 [pdf, other]

Title: An Elementary Approach to Truncations

Nima Rasekh

Comments: 84 Pages, major changes compared to the previous version: The definition of truncation levels is now internal, there is a new treatment of internal localizations, we give some non-presentable examples and give some applications. Comments very welcome

Subjects: Category Theory (math.CT); Algebraic Topology (math.AT)

[20] arXiv:1812.10586 [pdf, other]

Title: Associative $n$-categories

Christoph Dorn

Comments: 499 pages | v2: final version submitted to Oxford University Research Archive (2019)

Subjects: Category Theory (math.CT)

[21] arXiv:1812.10649 [pdf, other]

Title: Colimit-Dense Subcategories

J. Adámek, A. Brooke-Taylor, T. Campion, L. Positselski, J. Rosický

Journal-ref: Comment. Math. Univ. Carol. 60 (2019), 447-462

Subjects: Category Theory (math.CT)

[22] arXiv:1812.10941 [pdf, other]

Title: Janelidze's Categorical Galois Theory as a step in the Joyal and Tierney result

Christopher Townsend

Subjects: Category Theory (math.CT)

[23] arXiv:1812.11222 [pdf, other]

Title: Order-enriched solid functors

Lurdes Sousa, Walter Tholen

Subjects: Category Theory (math.CT)

[24] arXiv:1812.00008 (cross-list from math.RT) [pdf, other]

Title: Decorated Marked Surfaces: Calabi-Yau categories and related topics

Yu Qiu

Comments: This survey is contributed to the proceedings of the 51st Symposium on Ring Theory and Representation Theory (Sep. 2018 @ Okayama)

Subjects: Representation Theory (math.RT); Category Theory (math.CT); Geometric Topology (math.GT)

[25] arXiv:1812.01317 (cross-list from cs.LO) [pdf, other]

Title: Graded Monads and Graded Logics for the Linear Time -- Branching Time Spectrum

Ulrich Dorsch, Stefan Milius, Lutz Schröder

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

[26] arXiv:1812.02329 (cross-list from math.CO) [pdf, other]

Title: The continuous weak order

Maria João Gouveia (ULISBOA), Luigi Santocanale (LIS)

Comments: arXiv admin note: text overlap with arXiv:1807.06862

Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Category Theory (math.CT); Logic (math.LO); Rings and Algebras (math.RA)

[27] arXiv:1812.03439 (cross-list from math.QA) [pdf, other]

Title: Categorical aspects of cointegrals on quasi-Hopf algebras

Taiki Shibata (Okayama University of Science), Kenichi Shimizu (Shibaura Institute of Technology)

Comments: 48 pages; to appear in Journal of Algebra

Subjects: Quantum Algebra (math.QA); Category Theory (math.CT)

[28] arXiv:1812.03932 (cross-list from math.AT) [pdf, other]

Title: A note on a Holstein construction

Sergey Arkhipov, Daria Poliakova

Comments: 12 pages, no figures; revised argument in Appendix A; Appendix B (Erratum) added

Journal-ref: Homology, Homotopy and Applications, Vol. 22, No. 2, 04.2020, p. 151-162

Subjects: Algebraic Topology (math.AT); Category Theory (math.CT)

[29] arXiv:1812.04036 (cross-list from math.AT) [pdf, other]

Title: A multiplicative comparison of Waldhausen and Segal K-theory

Anna Marie Bohmann, Angélica Osorno

Comments: 46 pages; accepted for publication

Journal-ref: Math. Z. 295 (2020), no. 3-4, 1205-1243

Subjects: Algebraic Topology (math.AT); Category Theory (math.CT); K-Theory and Homology (math.KT)

[30] arXiv:1812.04402 (cross-list from math.RA) [pdf, other]

Title: Homotopy categories of totally acyclic complexes with applications to the flat-cotorsion theory

Lars Winther Christensen, Sergio Estrada, Peder Thompson

Comments: Added Proposition 4.2, updated after review. Final version, to appear in Contemp. Math.; 20 pp

Subjects: Rings and Algebras (math.RA); Category Theory (math.CT)

[31] arXiv:1812.04563 (cross-list from math.RA) [pdf, other]

Title: Equivalences of (co)module algebra structures over Hopf algebras

Ana Agore, Alexey Gordienko, Joost Vercruysse

Comments: 35 pages; to appear in Journal of Noncommutative Geometry

Journal-ref: Journal of Noncommutative Geometry, 15:3 (2021), 951-993

Subjects: Rings and Algebras (math.RA); Category Theory (math.CT); Quantum Algebra (math.QA)

[32] arXiv:1812.04937 (cross-list from math.CO) [pdf, other]

Title: Split Grothendieck rings of rooted trees and skew shapes via monoid representations

David Beers, Matt Szczesny

Comments: arXiv admin note: text overlap with arXiv:1706.03900

Journal-ref: Involve 12 (2019) 1379-1397

Subjects: Combinatorics (math.CO); Category Theory (math.CT); Rings and Algebras (math.RA); Representation Theory (math.RT)

[33] arXiv:1812.05432 (cross-list from math.DG) [pdf, other]

Title: On fibrations of Lie groupoids

Bohui Chen, Cheng-Yong Du, Yu Wang

Comments: 28 pages; fonts modified; title changed; comments are welcome; final version; to appear in J. Geom. Phys

Journal-ref: Journal of Geometry and Physics, 2020, vol. 152, article103644

Subjects: Differential Geometry (math.DG); Category Theory (math.CT); Group Theory (math.GR); Symplectic Geometry (math.SG)

[34] arXiv:1812.07521 (cross-list from math.LO) [pdf, other]

Title: Gradual and fuzzy subsets

Josefa M. Garcia, Pascual Jara

Comments: 32 pages

Subjects: Logic (math.LO); Category Theory (math.CT); Group Theory (math.GR)

[35] arXiv:1812.07599 (cross-list from math.GN) [pdf, other]

Title: A generalization of Gelfand-Naimark-Stone duality to completely regular spaces

Guram Bezhanishvili, Patrick J. Morandi, Bruce Olberding

Comments: 26 pages; comments welcome

Subjects: General Topology (math.GN); Category Theory (math.CT)

[36] arXiv:1812.07600 (cross-list from math.AT) [pdf, other]

Title: Homology groups of cubical sets with connections

Helene Barcelo, Curtis Greene, Abdul Salam Jarrah, Volkmar Welker

Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Category Theory (math.CT)

[37] arXiv:1812.07624 (cross-list from math.AT) [pdf, other]

Title: Goerss--Hopkins obstruction theory for $\infty$-categories

Aaron Mazel-Gee

Subjects: Algebraic Topology (math.AT); Category Theory (math.CT)

[38] arXiv:1812.08079 (cross-list from cs.LO) [pdf, other]

Title: Building on the Diamonds between Theories: Theory Presentation Combinators

Jacques Carette, Russell O'Connor, Yasmine Sharoda

Comments: Extended version of paper with a similar title at CICM 2012, also listed as arXiv:1204.0053. Submitted to a journal. Almost the entire article has been rewritten

Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)

[39] arXiv:1812.08897 (cross-list from math.RA) [pdf, other]

Title: On strongly harmonic and Gelfand modules

Mauricio Medina-Bárcenas, Lorena Morales-Callejas, Martha Lizbeth Shaid Sandoval-Miranda, Luis Ángel Zaldívar

Comments: This version will be appear in Communications in Algebra

Subjects: Rings and Algebras (math.RA); Category Theory (math.CT)

[40] arXiv:1812.09189 (cross-list from math.GR) [pdf, other]

Title: Co-induced actions for topological and filtered groups

Jacques Darné (LPP, IF)

Subjects: Group Theory (math.GR); Algebraic Topology (math.AT); Category Theory (math.CT); General Topology (math.GN)

[41] arXiv:1812.09190 (cross-list from math.GN) [pdf, other]

Title: Factorizing the Top-Loc adjunction through positive topologies

Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio

Subjects: General Topology (math.GN); Logic in Computer Science (cs.LO); Category Theory (math.CT); Logic (math.LO)

[42] arXiv:1812.09751 (cross-list from math.KT) [pdf, other]

Title: Weight structures and the algebraic $K$-theory of stable $\infty$-categories

Ernest E. Fontes

Comments: Now includes relation to other recent results; improved exposition and clarity in the corollaries of the main theorem

Subjects: K-Theory and Homology (math.KT); Algebraic Topology (math.AT); Category Theory (math.CT)

[43] arXiv:1812.09915 (cross-list from math.AT) [pdf, other]

Title: Möbius functions of directed restriction species and free operads, via the generalised Rota formula

Louis Carlier

Comments: 18 pages

Subjects: Algebraic Topology (math.AT); Combinatorics (math.CO); Category Theory (math.CT)

[44] arXiv:1812.10026 (cross-list from cs.LO) [pdf, other]

Title: Induction, Coinduction, and Fixed Points: A Concise Comparative Survey

Moez A. AbdelGawad

Comments: 13 pages (split article into three articles)

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT)

[45] arXiv:1812.10445 (cross-list from math.QA) [pdf, other]

Title: Modified traces for quasi-Hopf algebras

Johannes Berger, Azat M. Gainutdinov, Ingo Runkel

Comments: 21 pages; generalized Lemma 3.7 to the non-unimodular setting

Journal-ref: J. Algebra 548 (2020) 96-119

Subjects: Quantum Algebra (math.QA); Category Theory (math.CT)

[46] arXiv:1812.11234 (cross-list from math.QA) [pdf, other]

Title: Higher Gauss sums of modular categories

Siu-Hung Ng, Andrew Schopieray, Yilong Wang

Comments: 26 pages. Typos and minor mistakes are corrected. Question 7.3 in the previous version is answered

Journal-ref: Selecta Mathematica (2019) 25:53

Subjects: Quantum Algebra (math.QA); Category Theory (math.CT); Number Theory (math.NT)

[47] arXiv:1812.11575 (cross-list from math.AG) [pdf, other]

Title: Topological Quantum Field Theories for character varieties

Ángel González-Prieto

Comments: 202 pages, 18 figures, PhD thesis (Madrid, 2018)

Subjects: Algebraic Geometry (math.AG); Mathematical Physics (math-ph); Category Theory (math.CT); Representation Theory (math.RT)

[48] arXiv:1812.11952 (cross-list from math.KT) [pdf, other]

Title: On weight complexes, pure functors, and detecting weights

Mikhail V. Bondarko

Comments: Several minor corrections made. Appendices (closely related to weight complexes) were extended

Subjects: K-Theory and Homology (math.KT); Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Category Theory (math.CT)