An embedding theorem for adhesive categories

zbMath1247.18002arXiv1103.0600MaRDI QIDQ5200296

Stephen Lack

Publication date: 1 August 2011

Full work available at URL: https://arxiv.org/abs/1103.0600

zbMATH Keywords

embedding theoremtoposadhesive category

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Topoi (18B25) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Embedding theorems, universal categories (18B15)

Related Items (2)

Lex colimits ⋮ Decorated Corelations

This page was built for publication: An embedding theorem for adhesive categories