Nihil Shah

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Linear arboreal categories	2026-04-02	Paper
A categorical account of composition methods in logic	2026-02-27	Paper
A categorical account of composition methods in logic Logical Methods in Computer Science	2026-02-13	Paper
No go theorems: directed containers that do not distribute over distribution monads	2025-06-18	Paper
The pebble-relation comonad in finite model theory	2024-12-06	Paper
The pebble-relation comonad in finite model theory Logical Methods in Computer Science	2024-06-27	Paper
A categorical account of composition methods in logic	2023-04-20	Paper
Relating structure and power: comonadic semantics for computational resources	2022-05-28	Paper
Generalizations of Bilinear Maps -- Technical Report	2022-05-11	Paper
A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems	2022-05-11	Paper
Relating structure and power: Comonadic semantics for computational resources Journal Of Logic And Computation	2021-10-21	Paper
The Pebble-Relation Comonad in Finite Model Theory	2021-10-15	Paper
Relating Structure and Power: Extended Version	2020-10-13	Paper
Relating structure and power: comonadic semantics for computational resources (extended abstract) (available as arXiv preprint)	2018-10-23	Paper
Linear Arboreal Categories (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Nihil Shah