Pages that link to "Item:Q1229294"

The following pages link to Limits indexed by category-valued 2-functors (Q1229294):

Displaying 50 items.

• Extended Nested Dual System Groups, Revisited (Q2798774) (← links)
• Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
• (Q3050615) (← links)
• The structure of first-order causality (Q3081323) (← links)
• (Q3121018) (← links)
• Polygraphs of finite derivation type (Q3130298) (← links)
• Noncommutative Gröbner Bases: Applications and Generalizations (Q3294889) (← links)
• (Q3341024) (← links)
• A 2-Categories Companion (Q3400012) (← links)
• An Australian Conspectus of Higher Categories (Q3400014) (← links)
• Homotopy limits for 2-categories (Q3514873) (← links)
• (Q3677916) (← links)
• (Q3720767) (← links)
• (Q3759553) (← links)
• (Q3797358) (← links)
• Elementary observations on 2-categorical limits (Q3804881) (← links)
• (Q3876103) (← links)
• (Q3916716) (← links)
• A characterization of pie limits (Q3977014) (← links)
• (Q3986546) (← links)
• A formalism for the specification of essentially-algebraic structures in 2-categories (Q4006237) (← links)
• Cosmoi of Internal Categories (Q4175737) (← links)
• On lifting of biadjoints and lax algebras (Q4553294) (← links)
• Pseudo-Kan Extensions and Descent Theory (Q4563239) (← links)
• Lifting PIE limits with strict projections (Q4610946) (← links)
• Coherence in monoidal track categories (Q4649461) (← links)
• Connected limits, familial representability and Artin glueing (Q4882486) (← links)
• (Q4933938) (← links)
• A unified framework for notions of algebraic theory (Q4972696) (← links)
• Descent Data and Absolute Kan Extensions (Q4994668) (← links)
• Discrete Double Fibrations (Q4994673) (← links)
• (Q5013809) (← links)
• A Topological Perspective on Interacting Algebraic Theories (Q5014783) (← links)
• (Q5014804) (← links)
• An (∞,2)-categorical pasting theorem (Q5047931) (← links)
• Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
• Unifying notions of pasting diagrams (Q5094691) (← links)
• An abstract formulation for rewrite systems (Q5096266) (← links)
• The relative monoidal center and tensor products of monoidal categories (Q5120335) (← links)
• Lax familial representability and lax generic factorizations (Q5121791) (← links)
• Polygraphs and Discrete Conduch{\'e} $\omega$-Functors (Q5149951) (← links)
• A note on Frobenius-Eilenberg-Moore objects in dagger 2-categories (Q5163479) (← links)
• A cubical Squier’s theorem (Q5220186) (← links)
• Strictification tensor product of 2-categories (Q5233737) (← links)
• A Universal Characterisation of Codescent Objects (Q5233740) (← links)
• Weak units, universal cells, and coherence via universality for bicategories (Q5239844) (← links)
• Coherent presentations of Artin monoids (Q5259734) (← links)
• (Q5364135) (← links)
• Quillen cohomology of $(\infty,2)$-categories (Q5382902) (← links)
• Non-unital polygraphs form a presheaf category (Q5382906) (← links)