Comprehension and Quotient Structures in the Language of 2-Categories

Computer Science [cs] / Logic in Computer Science [cs.LO]

Computer Science [cs] / Computation and Language [cs.CL]

Mathematics [math] / Algebraic Geometry [math.AG]

Computer Science [cs] / Computer Science and Game Theory [cs.GT]

Computer Science [cs] / Mathematical Software [cs.MS]

Computer Science [cs] / Formal Languages and Automata Theory [cs.FL]

Computer Science [cs] / Programming Languages [cs.PL]

Mathematics [math] / Category Theory [math.CT]

Mathematics [math] / Logic [math.LO]

Mathematics [math] / Algebraic Topology [math.AT]

Mathematics [math] / Quantum Algebra [math.QA]