The following pages link to On property-like structures (Q4380422):
Displaying 29 items.
- Lax orthogonal factorisation systems (Q317326) (← links)
- Lex colimits (Q456823) (← links)
- Unicity of enrichment over \(\mathcal Cat\) or \(\mathcal Gpd\) (Q633802) (← links)
- Pseudo-commutativity of KZ 2-monads (Q645210) (← links)
- Enhanced 2-categories and limits for lax morphisms (Q655343) (← links)
- Yoneda structures and KZ doctrines (Q684097) (← links)
- Limits for lax morphisms (Q816648) (← links)
- Representable \((\mathbb{T},\mathbf{V})\)-categories (Q891924) (← links)
- Enriched categories as a free cocompletion (Q904009) (← links)
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures (Q1652913) (← links)
- Pseudoalgebras and non-canonical isomorphisms (Q1732881) (← links)
- Codescent objects and coherence (Q1850103) (← links)
- The formal theory of monads. II (Q1850104) (← links)
- Distributive laws via admissibility (Q2011378) (← links)
- Cofibrantly generated lax orthogonal factorisation systems (Q2336048) (← links)
- Hochschild homology, lax codescent, and duplicial structure (Q2404189) (← links)
- Two-dimensional monadicity (Q2445311) (← links)
- A 2-Categories Companion (Q3400012) (← links)
- A theory of properties (Q3765745) (← links)
- On lifting of biadjoints and lax algebras (Q4553294) (← links)
- (Q4555336) (← links)
- Pseudo-Kan Extensions and Descent Theory (Q4563239) (← links)
- Property theory and the revision theory of definitions (Q4953216) (← links)
- On dualizable objects in monoidal bicategories (Q5037743) (← links)
- Probability, valuations, hyperspace: Three monads on top and the support as a morphism (Q5084481) (← links)
- Lax orthogonal factorisations in ordered structures (Q5121790) (← links)
- The existential completion (Q5129224) (← links)
- Kan extendable subcategories and fibrewise topology (Q6629786) (← links)
- \(\ast\)-autonomous envelopes and conservativity (Q6657790) (← links)
