Category Theory

Authors and titles for June 2017

[1] arXiv:1706.03291 [pdf, other]

Title: On the surjectivity of the map of spectra associated to a tensor-triangulated functor

Paul Balmer

Comments: 9 pages; minor corrections after refereeing

Journal-ref: Bull. Lond. Math. Soc. 50 (2018), no. 3, 487-495

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

[2] arXiv:1706.03605 [pdf, other]

Title: Products of families of types and (Pi,lambda)-structures on C-systems

Vladimir Voevodsky

Comments: The first part of the paper adds to the general theory of C-systems and may be used as an advanced introduction into C-systems. The paper is the first of the three papers into which the preprint "Products of families of types in the C-systems defined by a universe category" evolved during publication. The paper is published in Theory and Applications of Categories

Subjects: Category Theory (math.CT)

[3] arXiv:1706.03618 [pdf, other]

Title: The (Pi,lambda)-structures on the C-systems defined by universe categories

Vladimir Voevodsky

Comments: This is the third of the three papers into which the preprint "Products of families of types on the C-systems defined by a universe category" evolved during publication. The paper is published in Theory and Applications of Categories

Subjects: Category Theory (math.CT)

[4] arXiv:1706.03620 [pdf, other]

Title: C-systems defined by universe categories: presheaves

Vladimir Voevodsky

Comments: The paper introduces and studies "canonical" presheaves on C-systems defined by universe categories. It is the second of the three papers into which the preprint "Products of families of types in the C-systems defined by a universe category" evolved during publication. The paper is published in Theory and Applications of Categories

Subjects: Category Theory (math.CT)

[5] arXiv:1706.04095 [pdf, other]

Title: Theory of interleavings on categories with a flow

Vin de Silva, Elizabeth Munch, Anastasios Stefanou

Subjects: Category Theory (math.CT)

[6] arXiv:1706.04835 [pdf, other]

Title: The localic Istropy group of a topos

Simon Henry

Comments: 18 pages

Subjects: Category Theory (math.CT)

[7] arXiv:1706.04909 [pdf, other]

Title: Open maps of involutive quantales

Pedro Resende

Comments: Version 2 contains a more detailed description of the coproduct of involutive quantales

Journal-ref: Appl. Categ. Structures 26(4) (2018) 631-644

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

[8] arXiv:1706.05292 [pdf, other]

Title: Generating the algebraic theory of $C(X)$: the case of partially ordered compact spaces

Dirk Hofmann, Renato Neves, Pedro Nora

Subjects: Category Theory (math.CT)

[9] arXiv:1706.06211 [pdf, other]

Title: Affine lines over derivators: Properties

John Zhang

Comments: 31 pages, comments welcome

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

[10] arXiv:1706.06788 [pdf, other]

Title: Categorified cyclic operads

Pierre-Louis Curien, Jovana Obradovic

Comments: 57 pages

Subjects: Category Theory (math.CT)

[11] arXiv:1706.07340 [pdf, other]

Title: Algebraic structures of $F$-manifolds via pre-Lie algebras

Vladimir Dotsenko

Comments: 7 pages, comments are welcome

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

[12] arXiv:1706.07526 [pdf, other]

Title: Modalities in homotopy type theory

Egbert Rijke, Michael Shulman, Bas Spitters

Journal-ref: Logical Methods in Computer Science, Volume 16, Issue 1 (January 8, 2020) lmcs:3826

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

[13] arXiv:1706.08395 [pdf, other]

Title: Compactness in abelian categories

Peter Kálnai, Jan Žemlička

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

[14] arXiv:1706.09575 [pdf, other]

Title: Distributive laws via admissibility

Charles Walker

Comments: 47 pages; some changes to ordering; some minor changes; last updated on 13 March

Subjects: Category Theory (math.CT)

[15] arXiv:1706.09692 [pdf, other]

Title: Enlargement of (fibered) derivators

Fritz Hörmann

Subjects: Category Theory (math.CT)

[16] arXiv:1706.10023 [pdf, other]

Title: The comprehension construction

Emily Riehl, Dominic Verity

Comments: 78 pages; a continuation of the program developed in the papers arXiv:1306.5144, arXiv:1310.8279, arXiv:1401.6247, arXiv:1506.05500, and arXiv:1507.01460, as summarized in arXiv:1608.05314; v2 is the final journal version to appear in Higher Structures

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

[17] arXiv:1706.00526 (cross-list from cs.AI) [pdf, other]

Title: Knowledge Representation in Bicategories of Relations

Evan Patterson

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

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

Title: Group actions on categories and Elagin's Theorem Revisited

Evgeny Shinder

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

[19] arXiv:1706.02630 (cross-list from quant-ph) [pdf, other]

Title: A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)

Francisco Rios (Dalhousie University, Halifax, Canada), Peter Selinger (Dalhousie University, Halifax, Canada)

Comments: In Proceedings QPL 2017, arXiv:1802.09737

Journal-ref: EPTCS 266, 2018, pp. 164-178

Subjects: Quantum Physics (quant-ph); Programming Languages (cs.PL); Category Theory (math.CT)

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

Title: On the Faithfulness of 1-dimensional Topological Quantum Field Theories

Sonja Telebakovic

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

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

Title: A Type-Theoretical Definition of Weak ω-Categories

Eric Finster, Samuel Mimram

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

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

Title: Deligne categories and representations of the infinite symmetric group

Daniel Barter, Inna Entova-Aizenbud, Thorsten Heidersdorf

Comments: v3: minor corrections. To appear in Advances in Mathematics; v2: Corrected a mistake in section 6

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

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

Title: A Model of Parametric Dependent Type Theory in Bridge/Path Cubical Sets

Andreas Nuyts

Comments: Technical report. 61 pages. Erratum in semantics of the reflection rule was rectified to the extent possible. Citations were added, textual errors corrected

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

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

Title: Commutativity in double interchange semigroups

Fatemeh Bagherzadeh, Murray Bremner

Comments: 25 pages, 5 figures, 27 references, comments welcome

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

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

Title: Veronese powers of operads and pure homotopy algebras

Vladimir Dotsenko, Martin Markl, Elisabeth Remm

Comments: 21 pages, comments are welcome

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