output
20232026
most citedA higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems

6 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing math.CTShow all

2 papers · 1 filter

math.CT2025

Hofmann-Streicher lifting of fibred categories

Andrew Slattery, Jonathan Sterling

In 1997, Hofmann and Streicher introduced an explicit construction to lift a Grothendieck universe from the category of sets into the category of set-valued presheaves on a small c…

math.CT2024★ 1 cited

The categorical contours of the Chomsky-Schützenberger representation theorem

Paul-André Melliès, Noam Zeilberger

We develop fibrational perspectives on context-free grammars and on nondeterministic finite-state automata over categories and operads. A generalized CFG is a functor from a free c…