The following pages link to Lax naturality through enrichment (Q1923539):
Displaying 7 items.
- Algebraic structure for bicategory enriched categories (Q1295569) (← links)
- Gabriel-Ulmer duality for categories enriched in bicategories (Q1295729) (← links)
- Logic programming: laxness and saturation (Q1994355) (← links)
- Lawvere theories enriched over a general base (Q2378550) (← links)
- On lax protomodularity for \(\mathsf{Ord}\)-enriched categories (Q2699432) (← links)
- Category Theoretic Models of Data Refinement (Q4982051) (← links)
- Category Theoretic Semantics for Theorem Proving in Logic Programming: Embracing the Laxness (Q5739451) (← links)