Pages that link to "Item:Q2035866"
From MaRDI portal
The following pages link to A constructive approach to Freyd categories (Q2035866):
Displaying 8 items.
- Freyd categories are enriched Lawvere theories (Q280202) (← links)
- The structure of free closed categories (Q803265) (← links)
- On free abelian categories for theorem proving (Q2078414) (← links)
- A presheaf interpretation of the generalized Freyd conjecture (Q2919771) (← links)
- Methods of constructive category theory (Q5043423) (← links)
- Tensor products of finitely presented functors (Q5104151) (← links)
- On the Freyd categories of an additive category (Q5933377) (← links)
- An abelian ambient category for behaviors in algebraic systems theory (Q6617860) (← links)