Pages that link to "Item:Q1065921"
From MaRDI portal
The following pages link to Bicategories of spans and relations (Q1065921):
Displaying 20 items.
- Cartesian bicategories. I (Q1098929) (← links)
- Lax monads. Indexed monoidal monads (Q1181431) (← links)
- Regular relations and bicartesian squares (Q1329746) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- Maps. I: Relative to a factorisation system (Q1892302) (← links)
- Quotients of span categories that are allegories and the representation of regular categories (Q2105672) (← links)
- Universal properties of bicategories of polynomials (Q2421332) (← links)
- Induction, coinduction, and adjoints (Q2842818) (← links)
- (Q3767474) (← links)
- (Q3986541) (← links)
- Pre-adjunctions in order enriched categories (Q4006227) (← links)
- Logic, sheaves, and factorization systems (Q4276025) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
- Categorie variabili (Q4732602) (← links)
- Span composition using fake pullbacks (Q5004663) (← links)
- Double categories of relations (Q5048019) (← links)
- Augmented virtual double categories (Q5220053) (← links)
- Frobenius objects in the category of spans (Q5870021) (← links)
- Categories enriched on two sides (Q5957782) (← links)
- A fibrational tale of operational logical relations: pure, effectful and differential (Q6563048) (← links)