Similar Items: Arboreal Categories: An Axiomatic Theory of Resources
- Constructing categories and setoids of setoids in type theory
- Weak omega-categories from intensional type theory
- Axiomatizing Hybrid XPath with Data
- An Axiomatic Definition of Hierarchical Clustering
- Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
- Impure Simplicial Complexes: Complete Axiomatization