Category Theory

Authors and titles for June 2014

[1] arXiv:1406.0815 [pdf, other]

Title: Convergent presentations and polygraphic resolutions of associative algebras

Yves Guiraud, Eric Hoffbeck, Philippe Malbos

Comments: 65 pages

Journal-ref: Math. Z. 293 (2019), no. 1-2, 113-179

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

[2] arXiv:1406.0961 [pdf, other]

Title: Cartesian closed categories are distributive

Marco Benini

Subjects: Category Theory (math.CT)

[3] arXiv:1406.1251 [pdf, other]

Title: A simplified definition of logically distributive categories

Marco Benini

Subjects: Category Theory (math.CT)

[4] arXiv:1406.1692 [pdf, other]

Title: Universal Associative Geometry

Wolfgang Bertram (IECL)

Comments: several figures ; typeset with XeLatex

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

[5] arXiv:1406.1744 [pdf, other]

Title: On an enhancement of the category of shifted L-infinity algebras

Vasily A. Dolgushev, Christopher L. Rogers

Comments: The final version will appear in "Applied Categorical Structures"

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

[6] arXiv:1406.1751 [pdf, other]

Title: What do homotopy algebras form?

Vasily A. Dolgushev, Alexander E. Hoffnung, Christopher L. Rogers

Comments: The final version will appear in Advances in Mathematics. Comments are still welcome

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

[7] arXiv:1406.2361 [pdf, other]

Title: Completion, closure, and density relative to a monad, with examples in functional analysis and sheaf theory

Rory B. B. Lucyshyn-Wright

Journal-ref: Theory and Applications of Categories, Vol. 29, 2014, No. 31, pp 896-928

Subjects: Category Theory (math.CT); Functional Analysis (math.FA)

[8] arXiv:1406.2569 [pdf, other]

Title: Factorisation and Cohomology of Higher Categories

Scott Balchin

Comments: 14 pages, 3 figures

Subjects: Category Theory (math.CT)

[9] arXiv:1406.3219 [pdf, other]

Title: Natural models of homotopy type theory

Steve Awodey

Comments: 51 pages

Journal-ref: Mathematical Structures in Computer Science, 1--46, 2016

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

[10] arXiv:1406.3300 [pdf, other]

Title: Hom$_*$ commuting with filtered products

Radoslav Dimitric

Subjects: Category Theory (math.CT)

[11] arXiv:1406.3513 [pdf, other]

Title: Several adjoint constructions for biset functors via Mackey-functorial interpretation

Hiroyuki Nakaoka

Comments: 34 pages

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

[12] arXiv:1406.3819 [pdf, other]

Title: Cellular objects and Shelah's singular compactness theorem

Tibor Beke, Jiri Rosicky

Journal-ref: J. Pure Appl. Alg. 220(2016), 1813-1836

Subjects: Category Theory (math.CT)

[13] arXiv:1406.4791 [pdf, other]

Title: The Weakly Globular Double Category of Fractions of a Category

Simona Paoli, Dorette Pronk

Comments: 73 pages. arXiv admin note: substantial text overlap with arXiv:1210.4056

Subjects: Category Theory (math.CT)

[14] arXiv:1406.5479 [pdf, other]

Title: Cyclic theories

Olivia Caramello, Nicholas Wentzlaff

Comments: 25 pages

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

[15] arXiv:1406.5762 [pdf, other]

Title: A theory of 2-pro-objects (with expanded proofs)

M. Emilia Descotte, Eduardo J. Dubuc

Comments: This is a version of the article "A theory of 2-Pro-objects, Cahiers de topologie et géométrie différentielle catégoriques, Vol LV, 2014", in which we have added more details in several proofs, and utilized the elevators calculus graphical notation

Subjects: Category Theory (math.CT)

[16] arXiv:1406.5942 [pdf, other]

Title: Finite matrices are complete for (dagger-)hypergraph categories

Aleks Kissinger

Comments: 15 pages, pre-print

Subjects: Category Theory (math.CT)

[17] arXiv:1406.6030 [pdf, other]

Title: Categorical Probability Theory

Kirk Sturtz

Comments: Several important results omitted in previous versions have been addressed. Most notably is the proof that the integral operator is a measurable function. The title has changed to reflect the fact the theory presented is relevant beyond the Giry monad aspect

Subjects: Category Theory (math.CT); Probability (math.PR)

[18] arXiv:1406.6229 [pdf, other]

Title: A new model for pro-categories

Ilan Barnea, Tomer M. Schlank

Comments: Substantial overlap with arXiv:1305.4607. Accepted for publication in the Journal of Pure and Applied Algebra, reference: JPAA-5048

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

[19] arXiv:1406.6789 [pdf, other]

Title: Exact couples in semiabelian categories revisited

Yaroslav Kopylov, Sven-Ake Wegner

Comments: 4 pages

Journal-ref: Journal of Algebra 414, 264-270 (2014)

Subjects: Category Theory (math.CT)

[20] arXiv:1406.6804 [pdf, other]

Title: On the notion of a semi-abelian category in the sense of Palamodov

Yaroslav Kopylov, Sven-Ake Wegner

Comments: Version of March 3, 2011. 10 pages

Journal-ref: Applied Categorical Structures 20, no. 5, 531-541 (2012)

Subjects: Category Theory (math.CT); Functional Analysis (math.FA)

[21] arXiv:1406.6928 [pdf, other]

Title: Descent, fields of invariants and generic forms via symmetric monoidal categories

Ehud Meir

Comments: 47 pages. A more detailed description of the kernel completion was added

Subjects: Category Theory (math.CT)

[22] arXiv:1406.6994 [pdf, other]

Title: Algebraic Kan extensions in double categories

Seerp Roald Koudenburg

Comments: 61 pages. Changes in v2 include a slightly sharpened statement of the main theorem (5.7) as well as a new remark (5.8). This is the final version, as it appears in TAC

Journal-ref: Theory and Applications of Categories, 30(5):86-146, 2015

Subjects: Category Theory (math.CT)

[23] arXiv:1406.7854 [pdf, other]

Title: The linearity of traces in monoidal categories and bicategories

Kate Ponto, Michael Shulman

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

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

Title: Univalent universes for elegant models of homotopy types

Denis-Charles Cisinski

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

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

Title: Modules over etale groupoid algebras as sheaves

Benjamin Steinberg

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

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

Title: Capturing Goodwillie's Derivative

David Barnes, Rosona Eldred

Comments: Final version, to appear. Substantially shortened from earlier version, with a significantly expanded introduction, new results and examples. 27 pages

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

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

Title: Uniformly Presented Vector Spaces

John D. Wiltshire-Gordon

Comments: 44 pages

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

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

Title: Model structure on co-Segal commutative dg-algebras in characteristic p>0

Hugo V. Bacard

Comments: 44 pages, First draft. Comments are always welcome

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

[29] arXiv:1406.1278 (cross-list from quant-ph) [pdf, other]

Title: Abstract structure of unitary oracles for quantum algorithms

William Zeng (University of Oxford), Jamie Vicary (University of Singapore and University of Oxford)

Comments: In Proceedings QPL 2014, arXiv:1412.8102

Journal-ref: EPTCS 172, 2014, pp. 270-284

Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Category Theory (math.CT)

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

Title: The dagger lambda calculus

Philip Atzemoglou (University of Oxford)

Comments: In Proceedings QPL 2014, arXiv:1412.8102

Journal-ref: EPTCS 172, 2014, pp. 217-235

Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Category Theory (math.CT); Quantum Physics (quant-ph)

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

Title: Coherence for Skew-Monoidal Categories

Tarmo Uustalu

Comments: In Proceedings MSFP 2014, arXiv:1406.1534

Journal-ref: EPTCS 153, 2014, pp. 68-77

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

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

Title: Symmetric self-adjoint Hopf categories and a categorical Heisenberg double

Adam Gal, Elena Gal

Comments: final version, to appear in Q.J. Math

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

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

Title: Comparison of models for $(\infty, n)$-categories, II

Julia E. Bergner, Charles Rezk

Comments: 28 pages; minor expository changes from previous version

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

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

Title: The balanced tensor product of module categories

Christopher L. Douglas, Christopher Schommer-Pries, Noah Snyder

Comments: 19 pages; v3 is author-final version

Journal-ref: Kyoto J. Math. 59, no. 1 (2019), 167-179

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

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

Title: Categorical crepant resolutions for quotient singularities

Roland Abuaf

Comments: 14 pages. Comments welcome

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

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

Title: The Frobenius anatomy of word meanings II: possessive relative pronouns

Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke

Comments: 40 pages, Journal of Logic and Computation, Essays dedicated to Roy Dyckhoff on the occasion of his retirement, S. Graham-Lengrand and D. Galmiche (eds.), 2014

Subjects: Computation and Language (cs.CL); Category Theory (math.CT)

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

Title: Notions of Computation as Monoids

Exequiel Rivas, Mauro Jaskelioff

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

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

Title: Residue fields for a class of rational $\mathbf{E}_\infty$-rings and applications

Akhil Mathew

Comments: 41 pages. Final version, to appear in JPAA

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

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

Title: A "classification" of congruence primal arithmetical algebras

Shohei Izawa

Comments: 15 pages

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

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

Title: Realizability of Univalence: Modest Kan complexes

Wouter Pieter Stekelenburg

Comments: This paper has been replaced by 'Constructive Simplicial Homotopy'

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

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

Title: On the third cohomology group of commutative monoids

María Calvo-Cervera, Antonio M. Cegarra, Benjamín A. Heredia

Comments: 18 pages

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

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

Title: Categorical Tori

Nora Ganter

Journal-ref: SIGMA 14 (2018), 014, 18 pages

Subjects: Representation Theory (math.RT); Category Theory (math.CT); K-Theory and Homology (math.KT)

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

Title: Maximal exact structures on additive categories

Dennis Sieg, Sven-Ake Wegner

Comments: Version of May 22, 2011. 9 pages

Journal-ref: Math. Nachr. 284, no. 16, 2093-2100 (2011)

Subjects: Functional Analysis (math.FA); Category Theory (math.CT)

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

Title: New enhancements of derived categories of coherent sheaves and applications

Valery A. Lunts, Olaf M. Schnürer

Comments: 61 pages, minor changes

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

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

Title: Quillen-Segal objects and structures: an overview

Hugo V. Bacard

Comments: 24 pages. First draft. Comments are always welcome. arXiv admin note: text overlap with arXiv:1406.1115

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

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

Title: The linearity of fixed point invariants

Kate Ponto, Michael Shulman

Comments: v2: Expanded introduction; final version

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