Skip to main content
Cornell University
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arxiv logo > math.CT

Help | Advanced Search

arXiv logo
Cornell University Logo

quick links

  • Login
  • Help Pages
  • About

Category Theory

Authors and titles for January 2017

Total of 37 entries
Showing up to 50 entries per page: fewer | more | all
[1] arXiv:1701.00113 [pdf, other]
Title: The convolution algebra of an absolutely locally compact topos
Simon Henry
Comments: 36 pages
Subjects: Category Theory (math.CT); Operator Algebras (math.OA)
[2] arXiv:1701.00567 [pdf, other]
Title: Monoidal categories enriched in braided monoidal categories
Scott Morrison, David Penneys
Comments: 38 pages
Subjects: Category Theory (math.CT); Quantum Algebra (math.QA)
[3] arXiv:1701.00658 [pdf, other]
Title: A Topological Perspective on Interacting Algebraic Theories
Amar Hadzihasanovic
Comments: In Proceedings QPL 2016, arXiv:1701.00242
Journal-ref: EPTCS 236, 2017, pp. 70-86
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO)
[4] arXiv:1701.02152 [pdf, other]
Title: Derivator Six Functor Formalisms -- Definition and Construction I
Fritz Hörmann
Comments: arXiv admin note: text overlap with arXiv:1603.02146
Subjects: Category Theory (math.CT)
[5] arXiv:1701.03028 [pdf, other]
Title: Monads on higher monoidal categories
Marcelo Aguiar, Mariana Haim, Ignacio Lopez Franco
Comments: 44 pages
Subjects: Category Theory (math.CT)
[6] arXiv:1701.03778 [pdf, other]
Title: Aspects of algebraic Algebras
Dirk Hofmann, Lurdes Sousa
Comments: small corrections
Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3 (July 10, 2017) lmcs:2644
Subjects: Category Theory (math.CT)
[7] arXiv:1701.04223 [pdf, other]
Title: Idempotent completion of n-angulated categories
Zengqiang Lin
Comments: 7 pages
Subjects: Category Theory (math.CT); Representation Theory (math.RT)
[8] arXiv:1701.04611 [pdf, other]
Title: Arithmetic universes and classifying toposes
Steven Vickers
Comments: 24 pages
Subjects: Category Theory (math.CT)
[9] arXiv:1701.05139 [pdf, other]
Title: Distributors and the comprehensive factorization system for internal groupoids
Giuseppe Metere
Journal-ref: Theory and Applications of Categories, Vol. 34, 2019, No. 5, pp 109-120
Subjects: Category Theory (math.CT)
[10] arXiv:1701.05510 [pdf, other]
Title: Lax orthogonal factorisations in monad-quantale-enriched categories
Maria Manuel Clementino, Ignacio Lopez Franco
Comments: 13 pages. Minor changes from previous version
Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3 (September 27, 2017) lmcs:2667
Subjects: Category Theory (math.CT)
[11] arXiv:1701.05937 [pdf, other]
Title: The frame of smashing tensor-ideals
Paul Balmer, Henning Krause, Greg Stevenson
Comments: 21 pages; minor revision before publication
Journal-ref: Math. Proc. Cambridge Philos. Soc. 168 (2020), no. 2, 323-343
Subjects: Category Theory (math.CT); Algebraic Topology (math.AT)
[12] arXiv:1701.07538 [pdf, other]
Title: The join construction
Egbert Rijke
Subjects: Category Theory (math.CT); Logic (math.LO)
[13] arXiv:1701.07653 [pdf, other]
Title: Some remarks on connectors and groupoids in Goursat categories
Marino Gran, Diana Rodelo, Idriss Tchoffo Nguefeu
Comments: 14 pages, revised version (minor corrections)
Journal-ref: Logical Methods in Computer Science, Volume 13, Issue 3, Algebraic methods (August 23, 2017) lmcs:2671
Subjects: Category Theory (math.CT); Rings and Algebras (math.RA)
[14] arXiv:1701.08152 [pdf, other]
Title: Functional distribution monads in functional-analytic contexts
Rory B. B. Lucyshyn-Wright
Subjects: Category Theory (math.CT); Functional Analysis (math.FA)
[15] arXiv:1701.08189 [pdf, other]
Title: Varieties of Cubical Sets
Ulrik Buchholtz, Edward Morehouse
Comments: 16 pages; to appear in proceedings of RAMiCS 2017
Subjects: Category Theory (math.CT); Logic in Computer Science (cs.LO); Algebraic Topology (math.AT); Logic (math.LO)
[16] arXiv:1701.08359 [pdf, other]
Title: The universal property of derived geometry
Andrew W. Macpherson
Comments: The reasoning in the paper in its present form is inadequate to support its conclusions. After some effort to revise it, I have decided that the best approach is to withdraw it and develop the material instead as several smaller projects
Subjects: Category Theory (math.CT); Algebraic Geometry (math.AG); Differential Geometry (math.DG)
[17] arXiv:1701.00660 (cross-list from cs.LO) [pdf, other]
Title: Ambiguity and Incomplete Information in Categorical Models of Language
Dan Marsden (University of Oxford)
Comments: In Proceedings QPL 2016, arXiv:1701.00242
Journal-ref: EPTCS 236, 2017, pp. 95-107
Subjects: Logic in Computer Science (cs.LO); Computation and Language (cs.CL); Category Theory (math.CT)
[18] arXiv:1701.00665 (cross-list from math.RA) [pdf, other]
Title: A note on split extensions of bialgebras
Xabier García-Martínez, Tim Van der Linden
Comments: Reduced the context to algebraically closed fields
Journal-ref: Forum Math. 30 (2018), No. 5, 1089-1096
Subjects: Rings and Algebras (math.RA); Category Theory (math.CT)
[19] arXiv:1701.01301 (cross-list from math.LO) [pdf, other]
Title: Infinitary first-order categorical logic
Christian Espíndola
Journal-ref: Annals of Pure and Applied Logic - Volume 170, Issue 2, pp. 137-162 (2019)
Subjects: Logic (math.LO); Category Theory (math.CT)
[20] arXiv:1701.01528 (cross-list from math.AT) [pdf, other]
Title: Examples of descent up to nilpotence
Akhil Mathew
Comments: 31 pages
Subjects: Algebraic Topology (math.AT); Category Theory (math.CT)
[21] arXiv:1701.01991 (cross-list from math.QA) [pdf, other]
Title: Eight classes of new Hopf algebras of dimension $128$ without the Chevalley property
Naihong Hu, Rongquan Xiong
Comments: 33 pages. arXiv admin note: substantial text overlap with arXiv:1612.04987
Journal-ref: Rev. Un. Mat. Argentina 59 (2018)
Subjects: Quantum Algebra (math.QA); Mathematical Physics (math-ph); Category Theory (math.CT); Rings and Algebras (math.RA); Representation Theory (math.RT)
[22] arXiv:1701.02024 (cross-list from math.LO) [pdf, other]
Title: A proposition is the (homotopy) type of its proofs
Steve Awodey
Subjects: Logic (math.LO); Category Theory (math.CT)
[23] arXiv:1701.02547 (cross-list from cs.PL) [pdf, other]
Title: A Convenient Category for Higher-Order Probability Theory
Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
Journal-ref: Logic in Computer Science 2017
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Category Theory (math.CT); Probability (math.PR)
[24] arXiv:1701.02573 (cross-list from math.AG) [pdf, other]
Title: Relative singular locus and Balmer spectrum of matrix factorizations
Yuki Hirano
Comments: Title changed, Example 5.10 added. To appear in Transactions of the AMS
Subjects: Algebraic Geometry (math.AG); Category Theory (math.CT); Representation Theory (math.RT)
[25] arXiv:1701.03895 (cross-list from math.QA) [pdf, other]
Title: The Serre automorphism via homotopy actions and the Cobordism Hypothesis for oriented manifolds
Jan Hesse, Alessandro Valentino
Comments: Accepted for publication in cahiers de topologie et géométrie différentielle catégoriques
Subjects: Quantum Algebra (math.QA); Algebraic Topology (math.AT); Category Theory (math.CT)
[26] arXiv:1701.04732 (cross-list from quant-ph) [pdf, other]
Title: A categorical semantics for causal structure
Aleks Kissinger, Sander Uijlen
Comments: Extended version of a LICS 2017 paper with the same title
Journal-ref: Logical Methods in Computer Science, Volume 15, Issue 3 (August 9, 2019) lmcs:4426
Subjects: Quantum Physics (quant-ph); Logic in Computer Science (cs.LO); Mathematical Physics (math-ph); Category Theory (math.CT)
[27] arXiv:1701.04919 (cross-list from cs.LO) [pdf, other]
Title: Linear Exponential Comonads without Symmetry
Masahito Hasegawa (RIMS, Kyoto University)
Comments: In Proceedings LINEARITY 2016, arXiv:1701.04522
Journal-ref: EPTCS 238, 2017, pp. 54-63
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[28] arXiv:1701.05330 (cross-list from math.FA) [pdf, other]
Title: Effective descent morphisms for Banach modules
Bachuki Mesablishvili
Subjects: Functional Analysis (math.FA); Category Theory (math.CT)
[29] arXiv:1701.05493 (cross-list from math.RA) [pdf, other]
Title: A characterisation of Lie algebras amongst anti-commutative algebras
Xabier García-Martínez, Tim Van der Linden
Comments: Final version to appear in Journal of Pure and Applied Algebra
Journal-ref: J. Pure Appl. Algebra 223 (2019), 4857--4870
Subjects: Rings and Algebras (math.RA); Category Theory (math.CT)
[30] arXiv:1701.05687 (cross-list from math.AG) [pdf, other]
Title: Scalar extensions of categorical resolutions of singularities
Zhaoting Wei
Comments: 12 pages; Proposition 2.4 and Lemma 4.5 added, the proofs of Proposition 3.3 and Proposition 4.6 (previously Proposition 4.5) revised; to appear in Journal of Pure and Applied Algebra
Journal-ref: J. Pure Appl. Algebra 222 (2018), no. 7, 1565-1578
Subjects: Algebraic Geometry (math.AG); Category Theory (math.CT); Rings and Algebras (math.RA)
[31] arXiv:1701.06238 (cross-list from math.DG) [pdf, other]
Title: Synthetic geometry of differential equations: I. Jets and comonad structure
Igor Khavkine, Urs Schreiber
Comments: 68 pages, xypic commutative diagrams
Subjects: Differential Geometry (math.DG); Mathematical Physics (math-ph); Category Theory (math.CT)
[32] arXiv:1701.07051 (cross-list from math.CO) [pdf, other]
Title: The multiresolution analysis of flow graphs
Steve Huntsman
Comments: WoLLIC 2019; 19 pages. See v1 for MATLAB code
Subjects: Combinatorics (math.CO); Category Theory (math.CT)
[33] arXiv:1701.07601 (cross-list from cs.LO) [pdf, other]
Title: Quotients in monadic programming: Projective algebras are equivalent to coalgebras
Dusko Pavlovic, Peter-Michael Seidel
Comments: 31 pages, 21 diagram; in this version: fixed typos; short version in LICS 2017
Journal-ref: ACM/IEEE Symposia on Logic in Computer Science (LICS), 32, IEEE 2017, pp. 1-12
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[34] arXiv:1701.07820 (cross-list from cond-mat.str-el) [pdf, other]
Title: Hierarchy construction and non-Abelian families of generic topological orders
Tian Lan, Xiao-Gang Wen
Comments: 4+20 pages with a series of tables, comments welcome
Journal-ref: Phys. Rev. Lett. 119, 040403 (2017)
Subjects: Strongly Correlated Electrons (cond-mat.str-el); Category Theory (math.CT)
[35] arXiv:1701.08075 (cross-list from quant-ph) [pdf, other]
Title: Categorical Probabilistic Theories
Stefano Gogioso (University of Oxford), Carlo Maria Scandolo (University of Oxford)
Comments: In Proceedings QPL 2017, arXiv:1802.09737
Journal-ref: EPTCS 266, 2018, pp. 367-385
Subjects: Quantum Physics (quant-ph); Category Theory (math.CT)
[36] arXiv:1701.08369 (cross-list from cs.LO) [pdf, other]
Title: A homotopy-theoretic model of function extensionality in the effective topos
Daniil Frumin, Benno van den Berg
Comments: v2: The section "A non-contractible uniform object." was removed due to an error in Lemma 6.5, Proposition 7.3 was changed to account for the fact that only the "only if" direction holds
Subjects: Logic in Computer Science (cs.LO); Category Theory (math.CT)
[37] arXiv:1701.08669 (cross-list from quant-ph) [pdf, other]
Title: Fully graphical treatment of the quantum algorithm for the Hidden Subgroup Problem
Stefano Gogioso, Aleks Kissinger
Comments: For submission to LMCS
Subjects: Quantum Physics (quant-ph); Category Theory (math.CT)
Total of 37 entries
Showing up to 50 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack