Pages that link to "Item:Q3612498"

The following pages link to Quasitoposes, Quasiadhesive Categories and Artin Glueing (Q3612498):

Displaying 13 items.

• New wide classes of weakly Mal'tsev categories (Q748711) (← links)
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
• A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426) (← links)
• Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
• Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs (Q2192461) (← links)
• Correctness of automatic differentiation via diffeologies and categorical gluing (Q2200831) (← links)
• Reverse AD at higher types: pure, principled and denotationally correct (Q2233481) (← links)
• Van Kampen Colimits as Bicolimits in Span (Q2888497) (← links)
• (Q5094126) (← links)
• Adhesive and quasiadhesive categories (Q5313719) (← links)
• Fundamentals of compositional rewriting theory (Q6052944) (← links)
• Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)
• A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity (Q6199404) (← links)