Finite Inverse Categories as Signatures

From MaRDI portal

Publication:6289345

Jump to:navigation, search

arXiv1707.07339MaRDI QIDQ6289345

Matthew Z. Weaver, Dimitris Tsementzis

Publication date: 23 July 2017

Mathematics Subject Classification ID

Logic in computer science (03B70) Metamathematics of constructive systems (03F50) Categories and theories (18C99)

This page was built for publication: Finite Inverse Categories as Signatures

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6289345&oldid=35861796"