Category Theory

Authors and titles for May 2015

[1] arXiv:1505.00048 [pdf, other]

Title: PROPs for Linear Systems

Simon Wadsley, Nick Woods

Comments: 11 pages, with TikZ figures; submitted to QPL 2015

Subjects: Category Theory (math.CT)

[2] arXiv:1505.00220 [pdf, other]

Title: Derivations in Codifferential Categories

Richard Blute, Rory B. B. Lucyshyn-Wright, Keith O'Neill

Comments: 25 Pages

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

[3] arXiv:1505.00343 [pdf, other]

Title: A first-order logic for string diagrams

Aleks Kissinger, David Quick

Comments: 15 pages + appendix

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

[4] arXiv:1505.00712 [pdf, other]

Title: Regular and exact (virtual) double categories

Patrick Schultz

Comments: 26 pages

Subjects: Category Theory (math.CT)

[5] arXiv:1505.00974 [pdf, other]

Title: Fibered Multiderivators and (co)homological descent

Fritz Hörmann

Comments: 88 pages

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

[6] arXiv:1505.01098 [pdf, other]

Title: Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra

Toshiki Kataoka, Dusko Pavlovic

Comments: 22 pages, 5 figures and 9 diagrams

Journal-ref: Leibniz International Proceedings in Informatics (LIPIcs), vol 35, Leibniz-Zentrum fuer Informatik 2015, pp. 130-155

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

[7] arXiv:1505.01669 [pdf, other]

Title: When coproducts are biproducts

Richard Garner, Daniel Schäppi

Comments: 4 pages; final journal version

Journal-ref: Math. Proc. Camb. Phil. Soc. 161 (2016) 47-51

Subjects: Category Theory (math.CT)

[8] arXiv:1505.02048 [pdf, other]

Title: Remarks on Units of Skew Monoidal Categories

Jim Andrianopoulos

Subjects: Category Theory (math.CT)

[9] arXiv:1505.02430 [pdf, other]

Title: Bundle functors and fibrations

Anders Kock

Comments: 24 pages

Subjects: Category Theory (math.CT)

[10] arXiv:1505.03053 [pdf, other]

Title: Polynomial Functors on Pointed Categories

Qimh Richey Xantcha

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

[11] arXiv:1505.04987 [pdf, other]

Title: On toposes generated by cardinal finite objects

Simon Henry

Comments: 18 pages. The logical framework has been clarified by the use of this http URL stack semantics. Proofs of the last section have been improved. Some typos corrected

Subjects: Category Theory (math.CT)

[12] arXiv:1505.05010 [pdf, other]

Title: Monoids, Segal's condition and bisimplicial spaces

Zoran Petric

Comments: 10 pages

Subjects: Category Theory (math.CT)

[13] arXiv:1505.06446 [pdf, other]

Title: Martin-Lof identity types in the C-systems defined by a universe category

Vladimir Voevodsky

Subjects: Category Theory (math.CT)

[14] arXiv:1505.06940 [pdf, other]

Title: Higher categorical aspects of Hall Algebras

Tobias Dyckerhoff

Comments: 60 pages, preliminary version, comments very welcome

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

[15] arXiv:1505.06941 [pdf, other]

Title: A1-homotopy invariants of topological Fukaya categories of surfaces

Tobias Dyckerhoff

Comments: 32 pages, v3: references added, comments welcome, v4: strengthened main result, submitted

Journal-ref: Compositio Math. 153 (2017) 1673-1705

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

[16] arXiv:1505.07615 [pdf, other]

Title: Intersection products for tensor triangular Chow groups

Sebastian Klein

Comments: 34 pages

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

[17] arXiv:1505.07736 [pdf, other]

Title: Finitary Corecursion for the Infinitary Lambda Calculus

Stefan Milius, Thorsten Wißmann

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

[18] arXiv:1505.07782 [pdf, other]

Title: Crossed-modules and Whitehead sequences

Nelson Martins-Ferreira

Subjects: Category Theory (math.CT)

[19] arXiv:1505.00138 (cross-list from cs.CL) [pdf, other]

Title: Compositional Distributional Semantics with Compact Closed Categories and Frobenius Algebras

Dimitri Kartsaklis

Comments: Ph.D. Dissertation, University of Oxford

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Category Theory (math.CT); Quantum Algebra (math.QA); Quantum Physics (quant-ph)

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

Title: Graphs for Juncture

Kosta Dosen, Zoran Petric

Comments: 128 pages

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

[21] arXiv:1505.01766 (cross-list from math.OA) [pdf, other]

Title: Inverse semigroups associated to subshifts

Charles Starling

Comments: 24 pages. The results in the published version are not correct as stated, but become correct when one assumes X satisfies Matsumoto's condition (I). A corrigendum has been submitted to J. Algebra, and has been reproduced one pages 20-22 of this entry. Some references fixed between last version and this

Subjects: Operator Algebras (math.OA); Category Theory (math.CT); Dynamical Systems (math.DS)

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

Title: Algebras of finite representation type arising from maximal rigid objects

Aslak Bakke Buan, Yann Palu, Idun Reiten

Comments: 23 pages

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

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

Title: Brane actions, Categorification of Gromov-Witten theory and Quantum K-theory

Etienne Mann, Marco Robalo

Comments: final version, 64 pages, accepted for publication in Geometry & Topology

Journal-ref: Geom. Topol. 22 (2018) 1759-1836

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

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

Title: Spectral Mackey functors and equivariant algebraic K-theory (II)

C. Barwick, S. Glasman, J. Shah

Comments: 40 pages. v2: New authors added; somewhat awkward case-based system for the operad structures on effective Burnside infinity-categories from the previous version now streamlined, thanks to the (new) notion of symmetric promonoidal infinity-category

Journal-ref: Tunisian J. Math. 2 (2020) 97-146

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

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

Title: Categorifying the magnitude of a graph

Richard Hepworth, Simon Willerton

Comments: 29 pages, one figure and many tables. v2: minor changes

Journal-ref: Homology, Homotopy and Applications, vol. 19(2), 2017, pp.31-60

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

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

Title: On the magnitude of a finite dimensional algebra

Joseph Chuang, Alastair King, Tom Leinster

Comments: 9 pages. Version 2: minor edits; matches journal version

Journal-ref: Theory and Applications of Categories 31 (2016), 63-72

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

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

Title: Reversible monadic computing

Chris Heunen, Martti Karvonen

Comments: 19 pages

Journal-ref: Proceedings MFPS, Electronic Notes in Theoretical Computer Science 319:217--237, 2015

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

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

Title: Bornological quasi-metrizability in generalized topology

Artur Piękosz, Eliza Wajch

Comments: Submitted and accepted to Hacettepe Journal of Mathematics and Statistics. arXiv admin note: substantial text overlap with arXiv:1408.4823

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

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

Title: Giraud's Theorem and Categories of Representations

Renaud Gauthier

Comments: 48 pages

Subjects: Algebraic Geometry (math.AG); Category Theory (math.CT)

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

Title: Constructing colimits by gluing vector bundles

Daniel Schäppi

Comments: 63 pages

Subjects: Algebraic Geometry (math.AG); Category Theory (math.CT)

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

Title: The 2-braid group and Garside normal form

Lars Thorge Jensen

Comments: 40 pages

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

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

Title: Descent via Tannaka duality

Daniel Schäppi

Comments: 42 pages

Subjects: Algebraic Geometry (math.AG); Category Theory (math.CT)

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

Title: Connectivity structure of multiple relations

Stéphane Dugowson (LISMMA)

Comments: in French

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

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

Title: Approximations of superstability in concrete accessible categories

Michael Lieberman, Jiri Rosicky

Comments: 17 pages

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

[35] arXiv:1505.06294 (cross-list from cs.CL) [pdf, other]

Title: A Frobenius Model of Information Structure in Categorical Compositional Distributional Semantics

Dimitri Kartsaklis, Mehrnoosh Sadrzadeh

Comments: Accepted for presentation in the 14th Meeting on Mathematics of Language (2015)

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Category Theory (math.CT); Rings and Algebras (math.RA)

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

Title: $\mathcal{Q}$-closure spaces

Lili Shen

Comments: 33 pages, final version

Journal-ref: Fuzzy Sets and Systems, 300:102-133, 2016

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

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

Title: Cartesian modules over representations of small categories

Sergio Estrada, Simone Virili

Subjects: Rings and Algebras (math.RA); Algebraic Geometry (math.AG); Algebraic Topology (math.AT); Category Theory (math.CT)

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

Title: Model structure on differential graded commutative algebras over the ring of differential operators

Gennaro di Brino, Damjan Pistalo, Norbert Poncin

Subjects: Algebraic Topology (math.AT); Mathematical Physics (math-ph); Category Theory (math.CT); Rings and Algebras (math.RA)

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

Title: Model categorical Koszul-Tate resolution for algebras over differential operators

Gennaro di Brino, Damjan Pistalo, Norbert Poncin

Subjects: Algebraic Topology (math.AT); Mathematical Physics (math-ph); Category Theory (math.CT); Rings and Algebras (math.RA)