61. 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
62. Experience Implementing a Performant Category-Theory Library in Coq
    2014/01/29 by Jason Gross, Adam Chlipala, David I. Spivak · 1 voice
    Mathematics · Computer Science · #math.CT #cs.LO
63. The theory and practice of Reedy categories
    2013/04/25 by Emily Riehl, Dominic Verity · 1 voice · 1 citation
    Mathematics · #math.CT #math.AT
64. Rethinking set theory
    2012/12/28 by Tom Leinster · 2 voices
    Mathematics · #math.LO #math.CT
65. Models for Gapped Boundaries and Domain Walls
    2011/04/26 by Alexei Kitaev, Liang Kong · 1 voice · 14 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
66. An informal introduction to topos theory
    2010/12/27 by Tom Leinster, Leinster, Tom · 1 voice · 1 citation
    Computer Science · Mathematics · #Advanced Topology and Set Theory #Algebraic Geometry (math.AG) #Category Theory (math.CT) #Constraint Satisfaction and Optimization #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #math.AG #math.CT #math.LO
67. Galois Theory of Algorithms
    2010/10/29 by Noson S. Yanofsky, Yanofsky, Noson S. · 4 voices
    Computer Science · #Computability, Logic, AI Algorithms #cs.DM #cs.LO #math.CT #math.GR #math.RA
68. Multi-Level Languages are Generalized Arrows
    2010/07/16 by Adam Megacz, Megacz, Adam · 1 voice
    #cs.PL #math.CT
69. Mathematical Foundations for a Compositional Distributional Model of Meaning
    2010/03/23 by Bob Coecke, Mehrnoosh Sadrzadeh, Stephen Clark · 3 voices · 12 citations
    Computer Science · Mathematics · #cs.CL #cs.LO #math.CT
70. Set theory for category theory
    2008/10/07 by Michael A. Shulman, Shulman, Michael A. · 1 voice · 2 citations
    Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #math.CT #math.LO
71. An elementary illustrated introduction to simplicial sets
    2008/09/24 by Greg Friedman · 2 voices · 1 citation
    #math.AT #math.CT #math.GT
72. Parallel Transport and Functors
    2007/05/03 by Urs Schreiber, Konrad Waldorf · 1 voice · 2 citations
    Mathematics · #math.DG #math.CT
73. Support varieties - an ideal approach
    2005/08/20 by Aslak Bakke Buan, Henning Krause, Buan, Aslak Bakke +3 · 3 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 #Representation Theory (math.RT) #math.AG #math.CT #math.RT
74. On the non additivity of the trace in derived categories
    2005/06/29 by Daniel Ferrand, Ferrand, Daniel · 1 citation
    Mathematics · #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CT
75. Pregroupoids and their enveloping groupoids
    2005/02/03 by Anders Kock, Kock, Anders · 2 citations
    Decision Sciences · Mathematics · #20L05 #58H05 #Category Theory (math.CT) #Differential Geometry (math.DG) #FOS: Mathematics #Fuzzy and Soft Set Theory #math.CT #math.DG #msc:20L05 #msc:58H05
76. Spectral enrichments of model categories
    2005/02/01 by Daniel Dugger, Dugger, Daniel · 1 citation
    Mathematics · #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #math.AT #math.CT
77. Notes on enriched categories with colimits of some class
    2005/01/22 by G. M. Kelly, V. Schmitt, Kelly, G. M. +2 · 1 citation
    Mathematics · #18A35 #18A99 #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CT #msc:18A35 #msc:18A99
78. Notes on Grothendieck topologies, fibered categories and descent theory
    2004/12/28 by Angelo Vistoli, Vistoli, Angelo · 1 voice · 17 citations
    Mathematics · #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #math.AG #math.CT
79. Categorical structures enriched in a quantaloid: tensored and cotensored categories
    2004/11/16 by Isar Stubbe, Stubbe, Isar · 3 citations
    Computer Science · Mathematics · #Advanced Algebra and Logic #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CT
80. Towards an axiomatization of the theory of higher categories
    2004/09/30 by B. Toen, Toen, B. · 1 citation
    Mathematics · #Category Theory (math.CT) #FOS: Mathematics #math.CT
81. Lie 2-Algebras
    2004/09/30 by Alissa S. Crans, Crans, Alissa S. · 1 citation
    Mathematics · #Category Theory (math.CT) #FOS: Mathematics #Geometric Topology (math.GT) #Quantum Algebra (math.QA) #math.CT #math.GT #math.QA
82. Categorical structures enriched in a quantaloid: categories, distributors and functors
    2004/09/24 by Isar Stubbe, Stubbe, Isar · 15 citations
    Computer Science · Mathematics · #Advanced Algebra and Logic #Category Theory (math.CT) #Constraint Satisfaction and Optimization #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CT
83. The spectrum of prime ideals in tensor triangulated categories
    2004/09/20 by Paul Balmer, Balmer, Paul · 16 citations
    Mathematics · #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Homotopy and Cohomology in Algebraic Topology #math.AG #math.CT #math.RT #msc:14A20 #msc:18E30 #msc:20C99
84. Extensions of racks and quandles
    2004/08/31 by Nicholas Jackson · 1 citation
    Mathematics · #math.CT #math.GT #msc:18G15 #msc:18E10 #msc:18G60
85. Thin Elements and Commutative Shells in Cubical omega-categories
    2004/08/23 by Philip J. Higgins, Higgins, Philip J. · 1 citation
    Mathematics · #18D05 #18D35 #55U99 #Algebraic Topology (math.AT) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #math.AT #math.CT #msc:18D05 #msc:18D35 #msc:55U99
86. Nonabelian Algebraic Topology
    2004/07/15 by Ronald Brown, Brown, Ronald · 3 citations
    Mathematics · #18D05 #18D15 #18G50 #55P15 #55U40 #57M07 #Advanced Topics in Algebra #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #math.AT #math.CT #msc:18D05 #msc:18D15 #msc:18G50 #msc:55P15 #msc:55U40 #msc:57M07
87. Baxter Algebras and Shuffle Products
    2004/07/09 by Li Guo, William Keigher · 4 citations
    Mathematics · #math.RA #math.AC #math.CO #math.CT #msc:16A06 #msc:47B99
88. Obstruction theory for objects in abelian and derived categories
    2004/07/01 by Wendy T. Lowen, Wendy Lowen, Lowen, Wendy T. · 1 citation
    Business, Management and Accounting · Mathematics · #13D10 #18E30 #18G35 #Category Theory (math.CT) #FOS: Mathematics #K-Theory and Homology (math.KT) #Optics and Image Analysis #math.CT #math.KT #msc:13D10 #msc:18E30 #msc:18G35
89. A Full and faithful Nerve for 2-categories
    2004/06/30 by M. Bullejos, Manuel Bullejos, Bullejos, M. +5 · 1 citation
    Mathematics · Medicine · #18D05 #55U10 #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Intracranial Aneurysms: Treatment and Complications #math.CT #msc:18D05 #msc:55U10
90. A model category structure on the category of simplicial categories
    2004/06/24 by Julia E. Bergner, Bergner, Julia E. · 10 citations
    Mathematics · #18D20 #18G55 #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:18G55

prev more