scientific article; zbMATH DE number 7774236

DOI10.4230/LIPICS.CALCO.2021.10arXiv2106.08142MaRDI QIDQ6061668

Jens Seeber, Filippo Bonchi, Paweł Sobociński, Alessio Santamaria

Publication date: 8 December 2023

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

string diagramCartesian bicategorieselementary existential doctrines

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

A characterization of generalized existential completions

Recommendations

• Introduction to bicategories 👍 👎
• Bicategories in univalent foundations 👍 👎
• The cartesian closed bicategory of generalised species of structures 👍 👎
• 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?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6061668)