The following pages link to (Q3121018):
Displaying 8 items.
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Comparing dimensions of a small category (Q1288305) (← links)
- Discrete and conservative factorizations in \textbf{Fib}\((B)\) (Q2040884) (← links)
- Fibered aspects of Yoneda's regular span (Q2281330) (← links)
- Yoneda theory for double categories (Q2884466) (← links)
- Closed categories vs. closed multicategories (Q2884476) (← links)
- (Q4679163) (← links)
- An elementary proof of the naturality of the Yoneda embedding (Q6052129) (← links)