- On symmetric fusion categories in positive characteristic
2015/03/04 by Victor Ostrik, Ostrik, Victor · 4 citations
Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Quantum Algebra (math.QA) #math.CT #math.QA
- Tensors, !-graphs, and non-commutative quantum structures (extended version)
2015/03/04 by Aleks Kissinger, Kissinger, Aleks, David Quick +1 · 1 citation
Computer Science · Mathematics · Physics and Astronomy · #Category Theory (math.CT) #Computational Physics and Python Applications #Data Visualization and Analytics #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Noncommutative and Quantum Gravity Theories #Quantum Mechanics and Applications #Quantum Physics (quant-ph) #cs.LO #math.CT #quant-ph
- Fibrations of predicates and bicategories of relations
2015/02/27 by Finn Lawler, Lawler, Finn · 1 citation
Computer Science · Mathematics · #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #math.CT
- Equivariant complete Segal spaces
2015/02/23 by Julia E. Bergner, Steven Greg Chadwick, Bergner, Julia E. +1 · 1 citation
Mathematics · #55U35 #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #math.AT #math.CT #msc:55U35
- On some properties of the category of cocommutative Hopf algebras
2015/02/13 by Christine Vespa, Vespa, Christine, Marc Wambst +1 · 1 citation
Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Quantum Algebra (math.QA) #math.CT #math.QA
- Boundary-bulk relation for topological orders as the functor mapping higher categories to their centers
2015/02/05 by Liang Kong, Kong, Liang, Xiao-Gang Wen +3 · 22 citations
Mathematics · Physics and Astronomy · #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #Topological Materials and Phenomena #cond-mat.str-el #math.CT #math.QA
- A Geometric Bohr topos
2015/02/06 by Simon Henry, Henry, Simon · 1 citation
Mathematics · Physics and Astronomy · #Advanced Operator Algebra Research #Advanced Topics in Algebra #Category Theory (math.CT) #FOS: Mathematics #Operator Algebras (math.OA) #Quantum Mechanics and Applications #math.CT #math.OA
- Open System Categorical Quantum Semantics in Natural Language Processing
2015/02/03 by Robin Piedeleu, Piedeleu, Robin, Dimitri Kartsaklis +5 · 2 citations
Computer Science · Mathematics · #Category Theory (math.CT) #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Quantum Algebra (math.QA) #cs.CL #cs.LO #math.CT #math.QA
- A Diagrammatic Axiomatisation for Qubit Entanglement
2015/01/28 by Amar Hadzihasanovic, Hadzihasanovic, Amar · 6 citations
Computer Science · Mathematics · Physics and Astronomy · #16T05 (Secondary) #81P45 (Primary) 18D10 #Category Theory (math.CT) #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #Logic in Computer Science (cs.LO) #Quantum Computing Algorithms and Architecture #Quantum Mechanics and Applications #Quantum Physics (quant-ph) #cs.LO #math.CT #msc:16T05 #msc:18D10 #msc:81P45 #quant-ph
- Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids
2015/01/27 by Mark V. Lawson, Lawson, Mark V. · 1 citation
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Category Theory (math.CT) #FOS: Mathematics #Rings, Modules, and Algebras #math.CT
- Categorical Semantics for Schrödinger's Equation
2015/01/23 by Stefano Gogioso, Gogioso, Stefano · 1 citation
Computer Science · Mathematics · Physics and Astronomy · #Category Theory (math.CT) #FOS: Mathematics #FOS: Physical sciences #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #Quantum Physics (quant-ph) #math.CT #quant-ph
- Varieties of Languages in a Category
2015/01/21 by Jiri Adamek, Jiřı́ Adámek, Stefan Milius +7 · 2 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #cs.FL #cs.LO #math.CT #semigroups and automata theory
- Quillen adjunctions induce adjunctions of quasicategories
2015/01/13 by Aaron Mazel-Gee, Mazel-Gee, Aaron · 3 citations
Mathematics · #Advanced Topics in Algebra #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.AT #math.CT
- Non-Wellfounded Trees in Homotopy Type Theory
2015/01/01 by Benedikt Ahrens, Paolo Capriotti, Régis Spadotti · 2 voices
Computer Science · Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #cs.LO #math.CT
- Operads as polynomial 2-monads
2014/12/24 by Mark Weber, Weber, Mark · 3 citations
Mathematics · #18D20 #18D50 #55P48 #Advanced Topics in Algebra #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.AT #math.CT #msc:18D20 #msc:18D50 #msc:55P48
- On purity and applications to coderived and singularity categories
2014/12/04 by Jan Šťovíček, Jan Stovicek, Stovicek, Jan · 9 citations
Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #math.AG #math.CT #math.RA #math.RT #msc:14F05 #msc:16B70 #msc:16E65 #msc:18E30 #msc:55U35
- Geometric constructions preserve fibrations
2014/11/10 by Bertfried Fauser, Fauser, Bertfried, Steven Vickers +1 · 1 citation
Computer Science · Mathematics · #18D30 (Primary) 18D05 #81P10 (Secondary) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems #math.CT #msc:18D05 #msc:18D30 #msc:81P10
- Extended 3-dimensional bordism as the theory of modular objects
2014/11/04 by Bruce Bartlett, Bartlett, Bruce, Christopher L. Douglas +6 · 4 citations
Mathematics · #18D05 #57M25 #57N10 #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Geometric Topology (math.GT) #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Quantum Algebra (math.QA) #math.AT #math.CT #math.GT #math.QA #msc:18D05 #msc:57M25 #msc:57N10
- Non-commutative deformations and quasi-coherent modules
2014/11/02 by Hoang Dinh Van, Liyu Liu, Van, Hoang Dinh +3 · 2 citations
Mathematics · #14F05 #18F15 #18F20 #Algebraic Geometry (math.AG) #Category Theory (math.CT) #FOS: Mathematics #math.AG #math.CT #msc:14F05 #msc:18F15 #msc:18F20
- Two Models for the Homotopy Theory of Cocomplete Homotopy Theories
2014/11/02 by Karol Szumiło, Szumiło, Karol · 1 citation
Mathematics · #18G55 (Secondary) #55U35 (Primary) #Advanced Topics in Algebra #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.AT #math.CT #msc:18G55 #msc:55U35
- B-systems
2014/10/20 by Vladimir Voevodsky, Voevodsky, Vladimir · 1 citation
Mathematics · #03B15 #03B22 #03F50 #03G25 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #math.CT #math.LO #msc:03B15 #msc:03B22 #msc:03F50 #msc:03G25
- Krull-Schmidt categories and projective covers
2014/10/10 by Henning Krause, Krause, Henning · 10 citations
Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Representation Theory (math.RT) #math.CT #math.RT
- Weak Hopf Quasigroups
2014/10/08 by J. N. Alonso Álvarez, J. M. Fernández Vilaboa, Álvarez, J. N. Alonso +3 · 3 citations
Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Quantum Algebra (math.QA) #math.CT #math.QA
- Tensor categorical foundations of algebraic geometry
2014/10/07 by Martin Brandenburg, Brandenburg, Martin · 5 citations
Mathematics · #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.AG #math.CT
- Bridgeland stability conditions on the acyclic triangular quiver
2014/10/03 by George Dimitrov, Dimitrov, George, Ludmil Katzarkov +1 · 1 citation
Mathematics · #Algebraic Geometry (math.AG) #Category Theory (math.CT) #FOS: Mathematics #Representation Theory (math.RT) #math.AG #math.CT #math.RT
- A C-system defined by a universe category
2014/09/28 by Vladimir Voevodsky, Voevodsky, Vladimir · 2 citations
Computer Science · Mathematics · #03B15 #03F50 #03G25 #Advanced Topology and Set Theory #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems #math.CT #math.LO #msc:03B15 #msc:03F50 #msc:03G25
- Kan extensions and cartesian monoidal categories
2014/09/23 by Ross Street, Street, Ross · 1 citation
Mathematics · #18A40 #18C10 #18D10 #18D20 #Category Theory (math.CT) #FOS: Mathematics #math.CT #msc:18A40 #msc:18C10 #msc:18D10 #msc:18D20
- Bogomolov-Tian-Todorov theorems for Landau-Ginzburg models
2014/09/21 by Ludmil Katzarkov, Katzarkov, Ludmil, Maxim Kontsevich +3 · 4 citations
Mathematics · Physics and Astronomy · #Algebraic Geometry (math.AG) #Category Theory (math.CT) #FOS: Mathematics #FOS: Physical sciences #High Energy Physics - Theory (hep-th) #Symplectic Geometry (math.SG) #hep-th #math.AG #math.CT #math.SG
- Dualizing cartesian and cocartesian fibrations
2014/09/07 by Clark Barwick, Barwick, Clark, Saul Glasman +3 · 11 citations
Mathematics · Medicine · Physics and Astronomy · #Advanced Differential Geometry Research #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Ophthalmology and Eye Disorders #math.AT #math.CT
- Quasistrict symmetric monoidal 2-categories via wire diagrams
2014/09/07 by Bruce Bartlett, Bartlett, Bruce · 1 citation
Mathematics · #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Quantum Algebra (math.QA) #math.AT #math.CT #math.QA
prev more