Home » Authors » Samuel Arsac, Russell Harmer, Damien Pous

Samuel Arsac, Russell Harmer, Damien Pous

Public reference bibliography and cataloged PDF materials authored or published by Samuel Arsac, Russell Harmer, Damien Pous.

Found 1 document(s) Page 1 of 1

Formalizing adhesive category theory in Rocq

Year: 2025 • Source: hal.science • Listed PDF

We formalize adhesive categories in Rocq using Hierarchy Builder. This formalization is modular, with adhesive categories being at the top of a hierarchy which contains the weaker variants of adhesive categories and star...