The following pages link to Michael Johnson (Q218992):
Displaying 22 items.
- The combinatorics of n-categorical pasting (Q909013) (← links)
- Algebra objects and algebra families for finite limit theories (Q1208209) (← links)
- Fibrations and universal view updatability (Q2464937) (← links)
- (Q2753895) (← links)
- (Q2764001) (← links)
- (Q2768442) (← links)
- Sketch Data Models, Relational Schema and Data Specifications (Q2841257) (← links)
- On the Specification of Higher Dimensional Automata (Q2841306) (← links)
- (Q2843913) (← links)
- (Q3137158) (← links)
- Lenses, fibrations and universal translations (Q3225736) (← links)
- (Q3810814) (← links)
- (Q4028344) (← links)
- (Q4028346) (← links)
- (Q4929408) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- (Q5004659) (← links)
- The more legs the merrier: A new composition for symmetric (multi-)lenses (Q5019663) (← links)
- Implementing a Categorical Information System (Q5505426) (← links)
- Constant Complements, Reversibility and Universal View Updates (Q5505427) (← links)
- Foreword (Q5894210) (← links)
- Category-theoretic fibration as an abstraction mechanism in information systems (Q5950719) (← links)
