The following pages link to (Q4100671):
Displaying 50 items.
- Algebraic Kan extensions along morphisms of internal algebra classifiers (Q278230) (← links)
- Logical relations and parametricity -- a Reynolds programme for category theory and programming languages (Q280200) (← links)
- On algebras over multicategories (Q283085) (← links)
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions (Q308133) (← links)
- Logical systems. I: Internal calculi. (Q326587) (← links)
- Generalizations of the Sweedler dual (Q328653) (← links)
- A micrological study of negation (Q345707) (← links)
- Shadows and traces in bicategories (Q382402) (← links)
- Fibred 2-categories and bicategories (Q393515) (← links)
- Spectra associated to symmetric monoidal bicategories (Q422100) (← links)
- The 2-group of symmetries of a split chain complex (Q427771) (← links)
- The 2-category of spectra in a 2-category (Q456869) (← links)
- The derived category of complex periodic \(K\)-theory localized at an odd prime (Q509676) (← links)
- Monads in double categories (Q531324) (← links)
- Internal Kleisli categories (Q538059) (← links)
- A categorification of quantum \(\mathfrak{sl}(2)\) (Q607348) (← links)
- Monad transformers as monoid transformers (Q615955) (← links)
- Loop spaces, and coherence for monoidal and braided monoidal bicategories (Q631806) (← links)
- Pseudo-commutativity of KZ 2-monads (Q645210) (← links)
- Predicate transformers and higher-order programs (Q672318) (← links)
- Motivic homotopical Galois extensions (Q684001) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- Algebraic classification of equivariant homotopy 2-types. I (Q687589) (← links)
- Double groupoids and homotopy 2-types (Q695317) (← links)
- Monads and comonads on module categories (Q734798) (← links)
- Nerves of trigroupoids as Duskin-Glenn's 3-hypergroupoids (Q748706) (← links)
- Kohärenz in Kategorien mit Gruppenstruktur. III (Q792440) (← links)
- A full and faithful nerve for 2-categories (Q816647) (← links)
- Algebraic weak factorisation systems. I: Accessible AWFS. (Q886977) (← links)
- Algebraic weak factorisation systems. II: Categories of weak maps. (Q886978) (← links)
- Twisted-product categorical bundles (Q893245) (← links)
- Adjunctions and defects in Landau-Ginzburg models (Q904025) (← links)
- Weighted tensor products of Joyal species, graphs, and charades (Q908272) (← links)
- The combinatorics of n-categorical pasting (Q909013) (← links)
- A 2-categorical pasting theorem (Q912202) (← links)
- The weak theory of monads (Q986072) (← links)
- A presentation of topoi as algebraic relative to categories or graphs (Q1052452) (← links)
- Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories (Q1059405) (← links)
- Variation through enrichment (Q1061829) (← links)
- A universal property of the convolution monoidal structure (Q1083522) (← links)
- Categorical aspects of data type constructors (Q1094129) (← links)
- Ideals of closed categories (Q1105688) (← links)
- The algebra of oriented simplexes (Q1112955) (← links)
- A general coherence result (Q1118027) (← links)
- Strong conceptual completeness for first-order logic (Q1118588) (← links)
- Local adjunctions (Q1120666) (← links)
- Two-dimensional monad theory (Q1121980) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Semi-topological functors III: Lifting of monads and adjoint functors (Q1137109) (← links)
- Coherence for compact closed categories (Q1146248) (← links)
