Category Theory

Authors and titles for January 2014

[1] arXiv:1401.0149 [pdf, other]

Title: Transformation Double Categories Associated to 2-Group Actions

Jeffrey C. Morton, Roger Picken

Comments: 40 pages. To appear in Theory and Applications of Categories

Subjects: Category Theory (math.CT)

[2] arXiv:1401.0275 [pdf, other]

Title: Mutation pairs and triangulated quotients

Zengqiang Lin, Minxiong Wang

Comments: 16 pages

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

[3] arXiv:1401.0315 [pdf, other]

Title: Enriched factorization systems

Rory B. B. Lucyshyn-Wright

Journal-ref: Theory and Applications of Categories, Vol. 29, 2014, No. 18, pp 475-495

Subjects: Category Theory (math.CT)

[4] arXiv:1401.1172 [pdf, other]

Title: Logical systems II: Free semantics

Michal R. Przybylek

Subjects: Category Theory (math.CT)

[5] arXiv:1401.1484 [pdf, other]

Title: Monotone-light factorisation systems and torsion theories

Tomas Everaert, Marino Gran

Comments: 12 pages

Journal-ref: Bulletin des Sciences Math\'ematiques, 137, 2013, 996-1006

Subjects: Category Theory (math.CT)

[6] arXiv:1401.2037 [pdf, other]

Title: Milnor-Moore Categories and Monadic Decomposition

Alessandro Ardizzoni, Claudia Menini

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

[7] arXiv:1401.3757 [pdf, other]

Title: Pushouts of categories, derived limits and colimits

Lukáš Vokřínek

Comments: 6 pages

Subjects: Category Theory (math.CT)

[8] arXiv:1401.4259 [pdf, other]

Title: A new Frobenius exact structure on the category of complexes

Yan-Fu Ben, Yan-Hong Bao, Xian-Neng Du

Comments: 15 pages

Journal-ref: Journal of Pure and Applied Algebra, 219 (2015), 2756-2770

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

[9] arXiv:1401.4585 [pdf, other]

Title: Arrow's Theorem by Arrow Theory

Samson Abramsky

Comments: 13 pages

Subjects: Category Theory (math.CT)

[10] arXiv:1401.4697 [pdf, other]

Title: Functorial Semantics of Second-Order Algebraic Theories

Marcelo Fiore, Ola Mahmoud

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

[11] arXiv:1401.4772 [pdf, other]

Title: Orbispaces and their Mapping Spaces via Groupoids: A Categorical Approach

Vesta Coufal, Dorette Pronk, Carmen Rovi, Laura Scull, Courtney Thatcher

Subjects: Category Theory (math.CT)

[12] arXiv:1401.5604 [pdf, other]

Title: Further remarks on the "Smith is Huq" condition

Nelson Martins-Ferreira, Tim Van der Linden

Comments: 13 pages

Journal-ref: Appl. Categ. Structures 23 (2015) 527--541

Subjects: Category Theory (math.CT)

[13] arXiv:1401.5656 [pdf, other]

Title: Yoneda lemma for complete Segal spaces

David Kazhdan, Yakov Varshavsky

Comments: revised version, comments are welcome

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

[14] arXiv:1401.6247 [pdf, other]

Title: Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions

Emily Riehl, Dominic Verity

Comments: 33 pages; a sequel to arXiv:1306.5144 and arXiv:1310.8279; v3: final journal version with updated internal references to the new version of "Homotopy coherent adjunctions and the formal theory of monads"

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

[15] arXiv:1401.6574 [pdf, other]

Title: Category theory, logic and formal linguistics: some connections, old and new

Jean Gillibert (IMB), Christian Retoré (LaBRI)

Comments: Survey on the occasion of a special issue of the journal of applied logic

Journal-ref: Journal of Applied Logic 12, 1 (2014) 1--13

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

[16] arXiv:1401.7220 [pdf, other]

Title: Category Theory Using String Diagrams

Daniel Marsden

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

[17] arXiv:1401.7694 [pdf, other]

Title: Experience Implementing a Performant Category-Theory Library in Coq

Jason Gross, Adam Chlipala, David I. Spivak

Comments: The final publication will be available at this http URL. This version includes a full bibliography which does not fit in the Springer version; other than the more complete references, this is the version submitted as a final copy to ITP 2014

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

[18] arXiv:1401.7748 [pdf, other]

Title: Non-Simplicial Nerves for Two-Dimensional Categorical Structures

Nathaniel Watson

Comments: 247 page. Ph.D. Dissertation (2013)

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

[19] arXiv:1401.7867 [pdf, other]

Title: Remarks on the Tripos To Topos Construction: extensionality, comprehensions, quotients and cauchy-complete objects

Fabio Pasquali

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

[20] arXiv:1401.8116 [pdf, other]

Title: Functoriality of groupoid quantales. I

Pedro Resende

Comments: 29 pages. Some typos corrected in the most recent version

Journal-ref: J. Pure Appl. Algebra 219 (2015) 3089--3109

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

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

Title: The Tangent Functor Monad and Foliations

Benoît Jubin

Comments: 50 pages, slightly edited version of the author's PhD dissertation

Subjects: Differential Geometry (math.DG); Category Theory (math.CT)

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

Title: Terminal semantics for codata types in intensional Martin-Löf type theory

Benedikt Ahrens, Régis Spadotti

Comments: 14 pages, ancillary files contain formalized proof in the proof assistant Coq; v2: 20 pages, title and abstract changed, give a terminal semantics for streams as well as for matrices, Coq proof files updated accordingly

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

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

Title: Existence of slices in a tame context

Sophie Marques

Comments: Submitted in CEJM

Subjects: Algebraic Geometry (math.AG); Commutative Algebra (math.AC); Category Theory (math.CT); Group Theory (math.GR); Number Theory (math.NT)

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

Title: A Serre-Swan theorem for gerbe modules on étale Lie groupoids

Christoph Schweigert, Christopher Tropp, Alessandro Valentino

Comments: 13 pages

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

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

Title: Left-induced model structures and diagram categories

Marzieh Bayeh, Kathryn Hess, Varvara Karpova, Magdalena Kedziorek, Emily Riehl, Brooke Shipley

Comments: 33 pages; v2 fixes an error in the construction of the Postnikov presentation in section 3 and contains several minor improvements suggested by the referee. To appear in the Proceedings of the August 2013 "Women in Topology" workshop at BIRS, which will be published by Contemporary Mathematics

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

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

Title: The magnitude of a graph

Tom Leinster

Comments: 19 pages. Version 2: introduction rewritten; substance unchanged

Journal-ref: Math. Proc. Camb. Phil. Soc. 166 (2019) 247-264

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

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

Title: Compositional Operators in Distributional Semantics

Dimitri Kartsaklis

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

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

Title: Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras

Dimitri Kartsaklis, Mehrnoosh Sadrzadeh, Stephen Pulman, Bob Coecke

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

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

Title: Leibniz homology of Lie algebras as functor homology

Eric Hoffbeck (LAGA), Christine Vespa (IRMA)

Comments: 26 pages

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

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

Title: Tilting theory via stable homotopy theory

Moritz Groth, Jan Stovicek

Comments: minor improvements in the presentation (the definition of a strong stable equivalence made more precise, references updated and added)

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

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

Title: Chasing diagrams in cryptography

Dusko Pavlovic

Comments: 17 pages, 4 figures; to appear in: 'Categories in Logic, Language and Physics. Festschrift on the occasion of Jim Lambek's 90th birthday', Claudia Casadio, Bob Coecke, Michael Moortgat, and Philip Scott (editors); this version: fixed typos found by kind readers

Journal-ref: Lecture Notes in Computer Science, vol 8222, Springer 2014, pp. 353-367

Subjects: Cryptography and Security (cs.CR); Category Theory (math.CT)

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

Title: Higher-dimensional study of extensions via torsors

Cristiana Bertolin, Ahmet Emin Tatar

Comments: We change the title and we add new results

Journal-ref: Ann. Mat. Pura Appl. 197 (2018), no. 2, pp. 433--468

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

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

Title: A Model Structure for Enriched Coloured Operads

Giovanni Caviglia

Comments: 44 pages, Preliminary version, comments are welcome

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

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

Title: Selective Categories and Linear Canonical Relations

David Li-Bland, Alan Weinstein

Journal-ref: SIGMA 10 (2014), 100, 31 pages

Subjects: Symplectic Geometry (math.SG); Category Theory (math.CT)