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 2025 · math.CTShow all

1 paper · 2 filters

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…