Analytic functors between presheaf categories over groupoids
From MaRDI portal
Publication:2253181
DOI10.1016/j.tcs.2014.03.004zbMath1418.18003arXiv1303.5638OpenAlexW2060601144MaRDI QIDQ2253181
Publication date: 25 July 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1303.5638
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Unnamed Item
- Unnamed Item
- Linear logic
- Normal functors, power series and \(\lambda\)-calculus
- Une théorie combinatoire des séries formelles
- Quantitative domains, groupoids and linear logic
- The cartesian closed bicategory of generalised species of structures
- Profunctors, open maps and bisimulation
- Foundations of Software Science and Computational Structures
- Two applications of analytic functors