Pages that link to "Item:Q3498416"
From MaRDI portal
The following pages link to Formal Concepts in Dedekind Categories (Q3498416):
Displaying 5 items.
- A formal identification between tuples and lists with an application to list-arithmetic categories (Q1346222) (← links)
- Point axioms and related conditions in Dedekind categories (Q2347908) (← links)
- Point Axioms in Dedekind Categories (Q2915146) (← links)
- Boolean Algebras and Stone Maps in Schröder Categories (Q3498419) (← links)
- Formalizing Restriction Categories (Q5195282) (← links)