Category Theory

Authors and titles for January 2011

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

Title: Semantics of Higher-Order Recursion Schemes

Jiri Adamek (Institut fuer Theoretische Informatik, Technische Universitaet Braunschweig, Ger), Stefan Milius (Institut fuer Theoretische Informatik, Technische Universitaet Braunschweig, Ger), Jiri Velebil (Faculty of Electrical Engineering, Czech Technical University of Prague, Prague)

Journal-ref: Logical Methods in Computer Science, Volume 7, Issue 1 (April 1, 2011) lmcs:1177

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

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

Title: Thom-Sebastiani & Duality for Matrix Factorizations

Anatoly Preygel

Comments: 78 pages. Draft

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

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

Title: Global matrix factorizations

Kevin H. Lin, Daniel Pomerleano

Comments: Final version, 16 pages

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

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

Title: A constructive Galois connection between closure and interior

Francesco Ciraulo, Giovanni Sambin

Comments: This is a revised version. Content is reorganized so to separate clearly what requires an impredicative proof from what can be proven also predicatively. Moreover, some results are given in a more general form and some counterexamples are added

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

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

Title: No-go theorems for functorial localic spectra of noncommutative rings

Benno van den Berg, Chris Heunen

Comments: In Proceedings QPL 2011, arXiv:1210.0298

Journal-ref: EPTCS 95, 2012, pp. 21-25

Subjects: Rings and Algebras (math.RA); Category Theory (math.CT); Quantum Physics (quant-ph)

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

Title: Does full imply faithful?

Alberto Canonaco, Dmitri Orlov, Paolo Stellari

Comments: 12 pages. Minor changes. Final version to appear in J. Noncommut. Geom

Journal-ref: J. Noncommut. Geom., 7 (2013), no. 2, 357--371

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