The following pages link to (Q4222890):
Displaying 4 items.
- Feedback for linearly distributive categories: Traces and fixpoints (Q1588062) (← links)
- The Duskin nerve of 2-categories in Joyal's cell category \(\Theta_2\) (Q2196322) (← links)
- A categorical characterization of strong Steiner \(\omega\)-categories (Q2690449) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
