A lattice-theoretical perspective on adhesive categories
DOI10.1016/J.JSC.2010.09.006zbMATH Open1217.18004OpenAlexW2171006175MaRDI QIDQ631567FDOQ631567
Authors: Paolo Baldan, Filippo Bonchi, Andrea Corradini, Tobias Heindel, Barbara König
Publication date: 14 March 2011
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jsc.2010.09.006
Recommendations
- On the axioms for adhesive and quasiadhesive categories
- An embedding theorem for adhesive categories
- Rule algebras for adhesive categories
- Rule algebras for adhesive categories
- Finitary \(\mathcal{M}\)-adhesive categories
- Finitary \(\mathcal{M}\)-adhesive categories
- Adhesive subcategories of functor categories with instantiation to partial triple graphs
- Adjoint Functors and Triangulated Categories
- Quasitoposes, Quasiadhesive Categories and Artin Glueing
- Multi-adjoint concept lattices via quantaloid-enriched categories
Structure and representation theory of distributive lattices (06D05) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Introduction to extensive and distributive categories
- Sesqui-Pushout Rewriting
- Fundamentals of algebraic graph transformation
- Adhesive and quasiadhesive categories
- Van Kampen colimits as bicolimits in Span
- A congruence for Petri nets
- Unfolding Grammars in Adhesive Categories
- Towards Secrecy for Rewriting in Weakly Adhesive Categories
Cited In (7)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- Toposes Are Adhesive
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
- Quasitoposes, Quasiadhesive Categories and Artin Glueing
- Van Kampen colimits as bicolimits in Span
- A basic distributive law
- Finitary \(\mathcal{M}\)-adhesive categories
This page was built for publication: A lattice-theoretical perspective on adhesive categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q631567)