vix.ing · top · new · best · stats · spec
  1. An alternative description of braided monoidal categories
    2013/07/23 by Alexei Davydov, Ingo Runkel, Davydov, Alexei +1 · 1 citation
    Mathematics · Physics and Astronomy · #Category Theory (math.CT) #FOS: Mathematics #FOS: Physical sciences #Mathematical Physics (math-ph) #Quantum Algebra (math.QA) #math-ph #math.CT #math.MP #math.QA
  2. Towards Synthetic Descriptive Set Theory: An instantiation with represented spaces
    2013/07/07 by Arno Pauly, Matthew de Brecht, Pauly, Arno +1 · 1 citation
    Computer Science · Mathematics · #03D78 #03E15 #18A99 #54H05 #Category Theory (math.CT) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #acm:03D78 #acm:03E15 #acm:18A99 #acm:54H05 #cs.LO #math.CT #math.LO #msc:03D78 #msc:03E15 #msc:18A99 #msc:54H05
  3. Categories of assemblies for realizability
    2013/07/02 by Wouter Pieter Stekelenburg, Stekelenburg, Wouter Pieter · 1 voice
    Computer Science · Mathematics · #03G30 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #math.CT #math.LO #msc:03G30
  4. Matrix Factorizations for Complete Intersections and Minimal Free Resolutions
    2013/06/11 by David Eisenbud, Irena Peeva, Eisenbud, David +1 · 4 citations
    Computer Science · Mathematics · Physics and Astronomy · #Algebraic Geometry and Number Theory #Commutative Algebra and Its Applications #Polynomial and algebraic computation #math-ph #math.AC #math.AG #math.CT #math.MP #msc:13D02
  5. Categories of Quantum and Classical Channels
    2013/05/16 by Bob Coecke, Coecke, Bob, Chris Heunen +3 · 7 citations
    Computer Science · Mathematics · Physics and Astronomy · #Advanced Operator Algebra Research #Quantum Information and Cryptography #Quantum Mechanics and Applications #math.CT #msc:16B50 #msc:18D35 #msc:46L89 #msc:46N50 #msc:81P16 #msc:81P45 #quant-ph
  6. On the equivalence between Lurie's model and the dendroidal model for infinity-operads
    2013/05/15 by Gijs Heuts, Vladimir Hinich, Heuts, Gijs +3 · 2 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
  7. On algebras of finite Cohen-Macaulay type
    2013/05/10 by Apostolos Beligiannis · 1 citation
    Mathematics · #math.RT #math.CT #math.KT #math.RA #msc:16E65 #msc:16G50 #msc:16G60 #msc:18G25 #msc:18E30 #msc:13H10
  8. On Arithmetic Modular Categories
    2013/05/09 by Orit Davidovich, Tobias Hagge, Davidovich, Orit +3 · 3 citations
    Mathematics · #18D10 #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Quantum Algebra (math.QA) #Representation Theory (math.RT) #math.CT #math.QA #math.RT #msc:18D10
  9. On direct summands of homological functors on length categories
    2013/05/08 by Alex Martsinkovsky, Martsinkovsky, Alex · 2 citations
    Mathematics · Medicine · #18A25 #18G15 #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications #Representation Theory (math.RT) #math.CT #math.RT #msc:18A25 #msc:18G15
  10. The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
    2013/05/01 by David I. Spivak, Spivak, David I. · 7 citations
    Computer Science · Mathematics · #03B10 #03B70 #03D20 #18A15 #18B10 #18D50 #68P15 #94C99 #B.6 #Category Theory (math.CT) #D.1.6 #D.3.3 #Databases (cs.DB) #E.1 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #G.2.2 #G.4 #H.2.1 #H.2.3 #H.5 #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #acm:03B10 #acm:03B70 #acm:03D20 #acm:18A15 #acm:18B10 #acm:18D50 #acm:68P15 #acm:94C99 #cs.DB #math.CT #math.LO #msc:03B10 #msc:03B70 #msc:03D20 #msc:18A15 #msc:18B10 #msc:18D50 #msc:68P15 #msc:94C99
  11. The theory and practice of Reedy categories
    2013/04/25 by Emily Riehl, Dominic Verity · 1 voice · 1 citation
    Mathematics · #math.AT #math.CT #msc:18D10 #msc:18G30 #msc:55U35
  12. Two-dimensional regularity and exactness
    2013/04/18 by John Bourke, Bourke, John, Richard Garner +1 · 1 citation
    Mathematics · #Category Theory (math.CT) #FOS: Mathematics #math.CT
  13. Some remarks on multicategories and additive categories
    2013/04/10 by Claudio Pisani, Pisani, Claudio · 1 citation
    Mathematics · #18C10 #18D10 #18D30 #18D50 #18D99 #18E05 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CT #msc:18C10 #msc:18D10 #msc:18D30 #msc:18D50 #msc:18D99 #msc:18E05
  14. Recollements of Module Categories
    2013/04/09 by Chrysostomos Psaroudakis, Psaroudakis, Chrysostomos, Jorge Vitória +2 · 2 citations
    Mathematics · #16S90 #18E35 #18E40 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Representation Theory (math.RT) #Rings and Algebras (math.RA) #Rings, Modules, and Algebras #math.CT #math.RA #math.RT #msc:16S90 #msc:18E35 #msc:18E40
  15. A classification of small homotopy functors from spectra to spectra
    2013/03/28 by Boris Chorny, Chorny, Boris · 1 citation
    Mathematics · #18G55 #55P42 #55P65 #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #math.AT #math.CT #msc:18G55 #msc:55P42 #msc:55P65
  16. Boolean sets, skew Boolean algebras and a non-commutative Stone duality
    2013/03/24 by Ganna Kudryavtseva, Mark V. Lawson, Mark V Lawson +2 · 2 citations
    Computer Science · Mathematics · #Advanced Algebra and Logic #Rings, Modules, and Algebras #math.CT #semigroups and automata theory
  17. Un schéma simplicial de Grothendieck-Pridham
    2013/03/20 by Brahim Benzeghli, Benzeghli, Brahim · 1 citation
    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
  18. On Artin algebras arising from Morita contexts
    2013/03/08 by Edward L. Green, Chrysostomos Psaroudakis, Green, Edward L. +1 · 5 citations
    Mathematics · #16E10 #16E65 #16G #16G50 #16S50 #Category Theory (math.CT) #FOS: Mathematics #Representation Theory (math.RT) #Rings and Algebras (math.RA) #math.CT #math.RA #math.RT #msc:16E10 #msc:16E65 #msc:16G #msc:16G50 #msc:16S50
  19. Category theory for scientists (Old version)
    2013/02/27 by David I. Spivak, Spivak, David I. · 3 voices · 2 citations
    Computer Science · Mathematics · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Multi-Agent Systems and Negotiation #math.CT #msc:18-01
  20. Lie monads and dualities
    2013/02/27 by Isar Goyvaerts, Goyvaerts, Isar, Joost Vercruysse +1 · 1 citation
    Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Rings and Algebras (math.RA) #math.CT #math.RA
  21. Tight spans, Isbell completions and semi-tropical modules
    2013/02/18 by Simon Willerton, Willerton, Simon · 5 citations
    Computer Science · Mathematics · #Advanced Algebra and Logic #Homotopy and Cohomology in Algebraic Topology #Logic, programming, and type systems #math.CT #math.MG
  22. Morita theory in enriched context
    2013/02/12 by Kruna Ratković, Kruna Segrt Ratkovic, Ratkovic, Kruna Segrt · 2 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
  23. Enriched categories as a free cocompletion
    2013/01/15 by Richard Garner, Garner, Richard, Michael Shulman +1 · 1 citation
    Mathematics · #18A35 #18D05 #18D20 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CT #msc:18A35 #msc:18D05 #msc:18D20
  24. Realizability Categories
    2013/01/10 by Wouter Pieter Stekelenburg, Stekelenburg, Wouter Pieter · 4 citations
    Computer Science · Mathematics · #03G30 #Category Theory (math.CT) #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #math.CT #math.LO #msc:03G30
  25. Rethinking set theory
    2012/12/28 by Tom Leinster · 2 voices
    Mathematics · #math.CT #math.LO
  26. Fibred 2-categories and bicategories
    2012/12/27 by Mitchell Buckley, Buckley, Mitchell · 4 citations
    Mathematics · Medicine · #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications #math.CT
  27. A Categorical Treatment of Ornaments
    2012/12/16 by Pierre-Evariste Dagand, Conor McBride, Dagand, Pierre-Evariste +1 · 1 citation
    Computer Science · Mathematics · #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Programming Languages (cs.PL) #cs.PL #math.CT
  28. Generalized Hopf Modules for bimonads
    2012/12/14 by Marcelo Aguiar, Stephen U. Chase, Aguiar, Marcelo +1 · 2 citations
    Mathematics · #16T05 #16T15 #18A40 #18C15 #18D10 #18D35 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Rings and Algebras (math.RA) #math.CT #math.RA #msc:16T05 #msc:16T15 #msc:18A40 #msc:18C15 #msc:18D10 #msc:18D35
  29. The additivity of traces in monoidal derivators
    2012/12/13 by Moritz Groth, Groth, Moritz, Kate Ponto +3 · 2 citations
    Mathematics · #Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #math.AG #math.AT #math.CT
  30. Resolutions in factorization categories
    2012/12/13 by Matthew Ballard, Ballard, Matthew, Dragos Deliu +7 · 1 citation
    Mathematics · #Algebraic Geometry (math.AG) #Category Theory (math.CT) #Commutative Algebra (math.AC) #FOS: Mathematics #math.AC #math.AG #math.CT

prev more