vix.ing · top · new · best · stats · spec
  1. Extendability in the Sheaf-theoretic Approach: Construction of Bell Models from Kochen-Specker Models
    2014/02/19 by Shane Mansfield, Mansfield, Shane, Rui Soares Barbosa +1 · 1 citation
    Arts and Humanities · Computer Science · Mathematics · Physics and Astronomy · #Computability, Logic, AI Algorithms #Philosophy and History of Science #Quantum Mechanics and Applications #cs.LO #math.CT #quant-ph
  2. On unimodular finite tensor categories
    2014/02/14 by Kenichi Shimizu, Shimizu, Kenichi · 4 citations
    Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Quantum Algebra (math.QA) #math.CT #math.QA
  3. Higher Inductive Types as Homotopy-Initial Algebras
    2014/02/04 by Kristina Sojakova, Sojakova, Kristina · 1 citation
    Computer Science · Mathematics · #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #cs.LO #math.CT #math.LO
  4. Sequential multicategories
    2014/02/02 by Claudio Pisani, Pisani, Claudio · 2 citations
    Mathematics · #18C10 #18D10 #18D50 #18D99 #18E05 #Category Theory (math.CT) #FOS: Mathematics #math.CT #msc:18C10 #msc:18D10 #msc:18D50 #msc:18D99 #msc:18E05
  5. Category Theory Using String Diagrams
    2014/01/28 by Dan Marsden, Daniel Marsden, Marsden, Daniel · 1 voice · 7 citations
    Computer Science · Mathematics · #Advanced Database Systems and Queries #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO #math.CT
  6. Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras
    2014/01/23 by Dimitri Kartsaklis, Kartsaklis, Dimitri, Mehrnoosh Sadrzadeh +5 · 2 citations
    Computer Science · Mathematics · #Advanced Algebra and Logic #Artificial Intelligence (cs.AI) #Category Theory (math.CT) #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Mathematics #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies #cs.AI #cs.CL #math.CT
  7. Leibniz homology of Lie algebras as functor homology
    2014/01/23 by Eric Hoffbeck, Éric Hoffbeck, Christine Vespa +2 · 1 citation
    Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #math.AT #math.CT
  8. Further remarks on the "Smith is Huq" condition
    2014/01/22 by Nelson Martins-Ferreira, Tim Van der Linden · 1 citation
    Mathematics · #math.CT #msc:08A30 #msc:18D35 #msc:18E10 #msc:20J15
  9. Left-induced model structures and diagram categories
    2014/01/15 by Marzieh Bayeh, Bayeh, Marzieh, Kathryn Hess +10 · 5 citations
    Mathematics · #18G35 #18G55 #55U35 #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:18G35 #msc:18G55 #msc:55U35
  10. A Serre-Swan theorem for gerbe modules on étale Lie groupoids
    2014/01/13 by Christoph Schweigert, Christopher Tropp, Schweigert, Christoph +3 · 1 citation
    Mathematics · #Advanced Topics in Algebra #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #Differential Geometry (math.DG) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.AT #math.CT #math.DG
  11. Milnor-Moore Categories and Monadic Decomposition
    2014/01/09 by Alessandro Ardizzoni, Claudia Menini, Ardizzoni, Alessandro +1 · 1 citation
    Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Primary 18C15 #Quantum Algebra (math.QA) #Rings and Algebras (math.RA) #Secondary 17B75 #math.CT #math.QA #math.RA #msc:17B75 #msc:18C15
  12. The Tangent Functor Monad and Foliations
    2014/01/05 by Benoît Jubin, Jubin, Benoît · 2 citations
    Mathematics · #53C12 (Primary) 18C15 (Secondary) #Category Theory (math.CT) #Differential Geometry (math.DG) #FOS: Mathematics #math.CT #math.DG #msc:18C15 #msc:53C12
  13. Experience Implementing a Performant Category-Theory Library in Coq
    2014/01/01 by Jason Gross, Adam Chlipala, David I. Spivak · 1 voice · 1 citation
    Computer Science · Mathematics · #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #cs.LO #math.CT
  14. Transformation Double Categories Associated to 2-Group Actions
    2013/12/31 by Jeffrey C. Morton, Morton, Jeffrey C., Roger Picken +1 · 2 citations
    Computer Science · Mathematics · #18B40 #18D10 #20L99 #Category Theory (math.CT) #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Topological and Geometric Data Analysis #math.CT #msc:18B40 #msc:18D10 #msc:20L99
  15. Operads with general groups of equivariance, and some 2-categorical aspects of operads in Cat
    2013/12/20 by Alexander S. Corner, Corner, Alexander S., Nick Gurski +1 · 3 citations
    Mathematics · #18D05 #18D10 #18D50 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CT #msc:18D05 #msc:18D10 #msc:18D50
  16. Model categories with simple homotopy categories
    2013/12/16 by Jean-Marie Droz, Droz, Jean-Marie, Inna Zakharevich +1 · 1 citation
    Mathematics · #Algebraic Topology (math.AT) #Category Theory (math.CT) #Combinatorics (math.CO) #FOS: Mathematics #math.AT #math.CO #math.CT
  17. On a symmetry of Müger's centralizer for the Drinfeld double of a semisimple Hopf algebra
    2013/12/11 by Sebastian Burciu, Burciu, Sebastian · 1 citation
    Mathematics · Physics and Astronomy · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Nonlinear Waves and Solitons #Quantum Algebra (math.QA) #math.CT #math.QA
  18. Non-semistable exceptional objects in hereditary categories
    2013/11/27 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
  19. Characteristic subobjects in semi-abelian categories
    2013/11/21 by Alan S. Cigoli, Andrea Montoli, Cigoli, Alan S. +1 · 2 citations
    Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Rings and Algebras (math.RA) #math.CT #math.RA
  20. Category-Theoretic Quantitative Compositional Distributional Models of Natural Language Semantics
    2013/11/06 by Edward Grefenstette, Grefenstette, Edward · 4 citations
    Computer Science · Mathematics · #18C50 (secondary) #68T50 (primary) 03B65 #Category Theory (math.CT) #Computation and Language (cs.CL) #FOS: Computer and information sciences #FOS: Mathematics #I.2.7 #Logic (math.LO) #Machine Learning (cs.LG) #Natural Language Processing Techniques #Speech and dialogue systems #Topic Modeling #acm:03B65 #acm:18C50 #acm:68T50 #cs.CL #cs.LG #math.CT #math.LO #msc:03B65 #msc:18C50 #msc:68T50
  21. A Categorical Theory of Patches
    2013/11/01 by Samuel Mimram, Cinzia Di Giusto · 2 voices · 2 citations
    Computer Science · Mathematics · #Advanced Software Engineering Methodologies #Logic, programming, and type systems #Software Engineering Research #cs.LO #math.CT
  22. Homotopy coherent adjunctions and the formal theory of monads
    2013/10/30 by Emily Riehl, Riehl, Emily, Dominic Verity +1 · 4 citations
    Mathematics · #18D20 #18G30 #55U10 #55U35 #55U40 #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Primary 18G55 #Secondary 18A40 #math.AT #math.CT #msc:18A40 #msc:18D20 #msc:18G30 #msc:18G55 #msc:55U10 #msc:55U35 #msc:55U40
  23. Sweedler Theory for (co)algebras and the bar-cobar constructions
    2013/09/26 by Matthieu Anel, Anel, Matthieu, André Joyal +1 · 1 citation
    Mathematics · #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Rings and Algebras (math.RA) #math.AT #math.CT #math.RA
  24. Spherical DG-functors
    2013/09/19 by Rina Anno, Anno, Rina, Timothy Logvinenko +1 · 3 citations
    Mathematics · #14F05 (Primary) #18D20 #18E30 #18G99 #Algebraic Geometry (math.AG) #Category Theory (math.CT) #FOS: Mathematics #math.AG #math.CT #msc:14F05 #msc:18D20 #msc:18E30 #msc:18G99
  25. Fusion categories between C \boxtimes D and C * D
    2013/08/27 by Masaki Izumi, Scott Morrison, Izumi, Masaki +3 · 3 citations
    Mathematics · #Advanced Operator Algebra Research #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Operator Algebras (math.OA) #Quantum Algebra (math.QA) #math.CT #math.OA #math.QA
  26. Dualizability in Low-Dimensional Higher Category Theory
    2013/08/16 by Christopher Schommer-Pries, Schommer-Pries, Christopher · 1 citation
    Mathematics · #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #math.AT #math.CT
  27. A correspondence between a class of monoids and self-similar group actions II
    2013/08/13 by Mark V. Lawson, Alistair R. Wallis, Lawson, Mark V. +1 · 1 citation
    Computer Science · Mathematics · #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Geometric and Algebraic Topology #Group Theory (math.GR) #Rings, Modules, and Algebras #math.CT #math.GR #semigroups and automata theory
  28. Homotopy Type Theory: Univalent Foundations of Mathematics
    2013/08/03 by The Univalent Foundations Program, Program, The Univalent Foundations · 17 citations
    Computer Science · Mathematics · #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Programming Languages (cs.PL) #cs.PL #math.AT #math.CT #math.LO
  29. The operad of temporal wiring diagrams: formalizing a graphical language for discrete-time processes
    2013/07/25 by Dylan Rupel, David I. Spivak, Rupel, Dylan +1 · 3 citations
    Biochemistry, Genetics and Molecular Biology · Computer Science · Mathematics · #08A70 #18B20 #18D50 #68Q05 #91B74 #92B20 #93A13 #Advanced Database Systems and Queries #B.5.2 #B.7.2 #C.0 #C.1 #Category Theory (math.CT) #D.2.2 #D.2.6 #D.3.3 #F.1.1 #F.4.3 #FOS: Biological sciences #FOS: Computer and information sciences #FOS: Mathematics #Model-Driven Software Engineering Techniques #Neurons and Cognition (q-bio.NC) #Programming Languages (cs.PL) #Semantic Web and Ontologies #acm:08A70 #acm:18B20 #acm:18D50 #acm:68Q05 #acm:91B74 #acm:92B20 #acm:93A13 #cs.PL #math.CT #msc:08A70 #msc:18B20 #msc:18D50 #msc:68Q05 #msc:91B74 #msc:92B20 #msc:93A13 #q-bio.NC
  30. The univalence axiom for elegant Reedy presheaves
    2013/07/23 by Michael Shulman, Shulman, Michael · 1 citation
    Mathematics · #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #math.AT #math.CT

prev more