Category Theory

Authors and titles for August 2008

[1] arXiv:0808.1519 [pdf, other]

Title: De Morgan classifying toposes

Olivia Caramello

Comments: 37 pages

Journal-ref: Advances in Mathematics 222 (6), 2117-2144 (2009)

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

[2] arXiv:0808.1627 [pdf, other]

Title: Quasi-commutative algebras

Alexei Davydov

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

[3] arXiv:0808.1972 [pdf, other]

Title: De Morgan's law and the theory of fields

Olivia Caramello, Peter Johnstone

Journal-ref: Advances in Mathematics 222 (6), 2145-2152 (2009)

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

[4] arXiv:0808.3627 [pdf, other]

Title: Butterflies I: morphisms of 2-group stacks

Ettore Aldrovandi, Behrang Noohi

Comments: 89 pages, comments on weak morphisms moved to new section 4.2, appendix A removed

Journal-ref: Advances in Mathematics 221 (2009), 687-773

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

[5] arXiv:0808.3964 [pdf, other]

Title: A Cubical Set Approach to 2-Bundles with Connection and Wilson Surfaces

Joao Faria Martins, Roger Picken

Comments: Improvement on the exposition. Approximately 60 pages, 2 figures

Subjects: Category Theory (math.CT); High Energy Physics - Theory (hep-th); Differential Geometry (math.DG)

[6] arXiv:0808.1023 (cross-list from quant-ph) [pdf, other]

Title: Categorical quantum mechanics

Samson Abramsky, Bob Coecke

Comments: 63 pages with 22 pictures; Chapter in the Handbook of Quantum Logic and Quantum Structures vol II, Elsevier, 2008

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

[7] arXiv:0808.1029 (cross-list from quant-ph) [pdf, other]

Title: Bases in diagrammatic quantum protocols

Bob Coecke, Eric Oliver Paquette, Simon Perdrix

Comments: 21 pages and loads of pictures. Proceedings of Mathematical Foundations of Programming Semantics XXIV, Electronic Notes in theoretical Computer Science, to appear

Subjects: Quantum Physics (quant-ph); Category Theory (math.CT); Logic (math.LO); Quantum Algebra (math.QA)

[8] arXiv:0808.1032 (cross-list from quant-ph) [pdf, other]

Title: Introducing categories to the practicing physicist

Bob Coecke

Comments: 30 pages and 19 pictures

Journal-ref: What is category theory? Advanced Studies in Mathematics and Logic, volume 30, pages 45-74, Polimetrica Publishing, 2006

Subjects: Quantum Physics (quant-ph); Mathematical Physics (math-ph); Category Theory (math.CT); Logic (math.LO)

[9] arXiv:0808.1037 (cross-list from quant-ph) [pdf, other]

Title: Toy quantum categories

Bob Coecke, Bill Edwards

Comments: 11 pages and 8 pictures. In the proceedings of Quantum Physics and Logic 2008, Electronic Notes in theoretical Computer Science, to appear

Subjects: Quantum Physics (quant-ph); Category Theory (math.CT); Logic (math.LO); Quantum Algebra (math.QA)

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

Title: Constructive Gelfand duality for C*-algebras

Thierry Coquand, Bas Spitters

Comments: 6pages

Journal-ref: Mathematical Proceedings of the Cambridge Philosophical society , Volume 147, Issue 02, September 2009, pp 323-337

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

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

Title: Integrals and Valuations

Thierry Coquand, Bas Spitters

Comments: Submitted for publication 15/05/08

Journal-ref: Logic and Analysis (2009) 1(3) p.1-22

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

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

Title: The Weil Representation in Characteristic Two

Shamgar Gurevich, Ronny Hadani

Comments: This paper was submitted for publication May 1, 2008

Subjects: Representation Theory (math.RT); Mathematical Physics (math-ph); Algebraic Geometry (math.AG); Category Theory (math.CT); Group Theory (math.GR); Number Theory (math.NT); Quantum Algebra (math.QA); Symplectic Geometry (math.SG); Quantum Physics (quant-ph)

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

Title: Combinatorics of labelling in higher dimensional automata

Philippe Gaucher

Comments: 47 pages, LaTeX2e, no figures

Journal-ref: Theoretical Computer Science vol 411 (11-13), pp 1452-1483, 2010

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

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

Title: Sheaves of ordered spaces and interval theories

Krzysztof Worytkiewicz

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

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

Title: Connections on non-abelian Gerbes and their Holonomy

Urs Schreiber, Konrad Waldorf

Comments: 57 pages. v1 is preliminary. v2 is completely rewritten, former Sections 1 and 2 have been moved into a separate paper (arXiv:1303.4663), and the discussion of non-abelian surface holonomy has been improved and extended. v3 is the final and published version with a few minor corrections

Journal-ref: Theory Appl. Categ., Vol. 28, 2013, No. 17, pp 476-540

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

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

Title: Two-dimensional models of type theory

Richard Garner

Comments: 46 pages; v2: final journal version

Journal-ref: Mathematical Structures in Computer Science 19 (2009), no. 4, pages 687--736

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

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

Title: A bicategorical version of Masuoka's theorem. Applications to bimodules over functor categories and to firm bimodules

J. Gómez-Torrecillas, B. Mesablishvili

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

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

Title: On satellites in semi-abelian categories: Homology without projectives

Julia Goedecke, Tim Van der Linden

Comments: 29 pages; major changes in Example 4.15, minor changes throughout the text

Journal-ref: Math. Proc. Cambridge Philos. Soc. 147 (2009), no. 3, 629-657

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

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

Title: On slim double Lie groupoids

Nicolas Andruskiewitsch, Jesus Alonso Ochoa Arango, Alejandro Tiraboschi

Comments: 15 pages

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

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

Title: Triangulated structures induced by simplicial descent categories

Beatriz Rodriguez Gonzalez

Comments: new results (the stable case) and new examples (fibrant spectra) added; other improvements made

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

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

Title: (Co)Simplicial Descent Categories

Beatriz Rodriguez Gonzalez

Comments: Final version. To appear in the J. Pure Appl. Algebra

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

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

Title: Sur l'homologie des groupes orthogonaux et symplectiques \`a coefficients tordus

Aurélien Djament (LMJL), Christine Vespa (IRMA)

Comments: 51 pages ; à paraître aux Annales scientifiques de l'Ecole normale supérieure

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

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

Title: A Thomason Model Structure on the Category of Small n-fold Categories

Thomas M. Fiore, Simona Paoli

Comments: More details added. 23 new pages for a total of 77 pages.

Journal-ref: Algebr. Geom. Topol. 10 (2010) 1933-2008

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