Comprehension and Quotient Structures in the Language of 2-Categories - Archive ouverte HAL Access content directly
Conference Papers Year :

Comprehension and Quotient Structures in the Language of 2-Categories

Paul-André Melliès
Institut de Recherche en Informatique Fondamentale
Nicolas Rolland
  • Function : Author
  • PersonId : 758402
  • IdRef : 17720544X

Domains

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]

Paul-André Melliès  : Connect in order to contact the contributor

https://hal.inria.fr/hal-03103167

Submitted on : Thursday, January 7, 2021-11:31:54 PM

Last modification on : Wednesday, February 8, 2023-5:11:16 PM

Not file

Dates and versions

hal-03103167 , version 1 (07-01-2021)

Identifiers

  • HAL Id : hal-03103167 , version 1

Cite

Paul-André Melliès, Nicolas Rolland. Comprehension and Quotient Structures in the Language of 2-Categories. Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020), Jun 2020, Paris, France. ⟨hal-03103167⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INSMI UP-SCIENCES IRIF
25 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More