Pages that link to "Item:Q1844915"
From MaRDI portal
The following pages link to Formal category theory: Adjointness for 2-categories (Q1844915):
Displayed 50 items.
- Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus (Q672060) (← links)
- Another denormalization theorem for abelian chain complexes (Q752839) (← links)
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- A 2-colimit characterization of internal categories of torsors (Q810134) (← links)
- A model structure à la Thomason on 2-Cat (Q856345) (← links)
- The tower of n-groupoids and the long cohomology sequence (Q912967) (← links)
- Icons (Q987490) (← links)
- The homotopy category of pseudofunctors and translation cohomology (Q995634) (← links)
- Formal Hopf algebra theory. I: Hopf modules for pseudomonoids (Q1008754) (← links)
- Coherence for bicategories and indexed categories (Q1059704) (← links)
- Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes (Q1089958) (← links)
- Categorical aspects of data type constructors (Q1094129) (← links)
- Stone duality for first order logic (Q1105598) (← links)
- Ideals of closed categories (Q1105688) (← links)
- Strong conceptual completeness for first-order logic (Q1118588) (← links)
- Local adjunctions (Q1120666) (← links)
- Closed categories, lax limits and homotopy limits (Q1153377) (← links)
- Conspectus of variable categories (Q1156868) (← links)
- Doctrines on 2-categories (Q1219348) (← links)
- Monads generated by monoids (Q1222709) (← links)
- Limits indexed by category-valued 2-functors (Q1229294) (← links)
- \(\mathbb{V}\)-Cofibrationen und \(\mathbb{V}\)-Kan-Erweiterungen (Q1231552) (← links)
- Adjunctions in monoidal categories (Q1250866) (← links)
- Soft adjunction between 2-categories (Q1262383) (← links)
- Structures algébriques n-aires généralisant les catégories. (n- ary algebraic structures generalizing categories) (Q1262937) (← links)
- Flexible limits for 2-categories (Q1262939) (← links)
- Generalized centers of braided and sylleptic monoidal 2-categories (Q1269459) (← links)
- Some properties of Fib as a fibred \(2\)-category (Q1295672) (← links)
- Braided monoidal 2-categories and Manin-Schechtman higher braid groups (Q1318781) (← links)
- Fibrations and partial products in a 2-category (Q1320326) (← links)
- 2-categories and 2-knots (Q1341277) (← links)
- Higher categories, strings, cubes and simplex equations (Q1346409) (← links)
- Modular functors in homotopy quantum field theory and tortile structures. (Q1414052) (← links)
- Higher gauge theory and a non-abelian generalization of 2-form electrodynamics. (Q1419787) (← links)
- Cohomology and deformation theory of monoidal 2-categories. I. (Q1424498) (← links)
- Beck's theorem for pseudo-monads (Q1612173) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- From subfactors to categories and topology. I: Frobenius algebras in and Morita equivalence of tensor categories (Q1868703) (← links)
- Lax naturality through enrichment (Q1923539) (← links)
- Representation theory of 2-groups on Kapranov and Voevodsky's 2-vector spaces (Q2370157) (← links)
- Powersets of terms and composite monads (Q2457025) (← links)
- (Q2709566) (← links)
- (Q3050613) (← links)
- (Q3050615) (← links)
- Derived categories and universal problems (Q3209303) (← links)
- (Q3315682) (← links)
- (Q3341024) (← links)
- A 2-Categories Companion (Q3400012) (← links)
- An Australian Conspectus of Higher Categories (Q3400014) (← links)
- (Q3410765) (← links)