scientific article; zbMATH DE number 1373517
From MaRDI portal
Publication:4704205
zbMath0936.18010MaRDI QIDQ4704205
No author found.
Publication date: 2 December 1999
Full work available at URL: https://eudml.org/doc/120228
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
monoidal categoriesinverse semigroupslinear logicendomorphism monoidcompact closureself-similar objectcategorical trace
Categorical logic, topoi (03G30) Inverse semigroups (20M18) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (7)
Arrows of Times, Non Integer Operators, Self-Similar Structures, Zeta Functions and Riemann Hypothesis: a Synthetic Categorical Approach ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ Coherence and strictification for self-similarity ⋮ Classical Structures Based on Unitaries ⋮ The universal covering of an inverse semigroup. ⋮ A short note on coherence and self-similarity ⋮ A structural approach to reversible computation
This page was built for publication:
