The following pages link to (Q4119356):
Displaying 22 items.
- Coherence for bicategories and indexed categories (Q1059704) (← links)
- On completeness of locally-internal categories (Q1094523) (← links)
- Conspectus of variable categories (Q1156868) (← links)
- Lax monads. Indexed monoidal monads (Q1181431) (← links)
- Families parametrized by coalgebras (Q1820859) (← links)
- Change of base for locally internal categories (Q1824681) (← links)
- The calculus of ends over a base topos (Q1824682) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- Comonadic base change for enriched categories (Q2699441) (← links)
- (Q3050614) (← links)
- (Q3121018) (← links)
- (Q3341024) (← links)
- (Q3693678) (← links)
- Some parametrized categorical concepts (Q3808281) (← links)
- (Q3944605) (← links)
- (Q4141377) (← links)
- Cosmoi of Internal Categories (Q4175737) (← links)
- Categorie variabili (Q4732602) (← links)
- Fibrations and recursivity (Q4850324) (← links)
- Latent Fibrations: Fibrations for Categories of Partial Maps (Q5004679) (← links)
- A model of guarded recursion with clock synchronisation (Q5971393) (← links)
