Contravariance through enrichment (Q4563229): Difference between revisions

← Older edit

@@ Property / cites work @@
+Two-dimensional monad theory
@@ Property / cites work: Two-dimensional monad theory / rank @@
+Normal rank
@@ Property / cites work @@
+Flexible limits for 2-categories
@@ Property / cites work: Flexible limits for 2-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison of models for \((\infty , n)\)-categories. I
+Normal rank
@@ Property / cites work @@
+A unified framework for generalized multicategories
+Normal rank
@@ Property / cites work @@
+A reflection theorem for closed categories
@@ Property / cites work: A reflection theorem for closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Monoidal bicategories and Hopf algebroids
@@ Property / cites work: Monoidal bicategories and Hopf algebroids / rank @@
+Normal rank
@@ Property / cites work @@
+Lawvere theories, finitary monads and Cauchy-completion
+Normal rank
@@ Property / cites work @@
+An embedding theorem for tangent categories
@@ Property / cites work: An embedding theorem for tangent categories / rank @@
+Normal rank
@@ Property / cites work @@
+Enrichment through variation
@@ Property / cites work: Enrichment through variation / rank @@
+Normal rank
@@ Property / cites work @@
+An enriched view on the extended finitary monad--Lawvere theory correspondence
+Normal rank
@@ Property / cites work @@
+Coherence for tricategories
@@ Property / cites work: Coherence for tricategories / rank @@
+Normal rank
@@ Property / cites work @@
+Enriched categories as a free cocompletion
@@ Property / cites work: Enriched categories as a free cocompletion / rank @@
+Normal rank
@@ Property / cites work @@
+Biequivalences in tricategories
@@ Property / cites work: Biequivalences in tricategories / rank @@
+Normal rank
@@ Property / cites work @@
+From coherent structures to universal properties
@@ Property / cites work: From coherent structures to universal properties / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-categories and Kan complexes
@@ Property / cites work: Quasi-categories and Kan complexes / rank @@
+Normal rank
@@ Property / cites work @@
+A coherent approach to pseudomonads
@@ Property / cites work: A coherent approach to pseudomonads / rank @@
+Normal rank
@@ Property / cites work @@
+Codescent objects and coherence
@@ Property / cites work: Codescent objects and coherence / rank @@
+Normal rank
@@ Property / cites work @@
+Enhanced 2-categories and limits for lax morphisms
+Normal rank
@@ Property / cites work @@
+Higher Topos Theory (AM-170)
@@ Property / cites work: Higher Topos Theory (AM-170) / rank @@
+Normal rank
@@ Property / cites work @@
+Avoiding the axiom of choice in general category theory
+Normal rank
@@ Property / cites work @@
+A general coherence result
@@ Property / cites work: A general coherence result / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431524
@@ Property / cites work: Q5431524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4893912
@@ Property / cites work: Q4893912 / rank @@
+Normal rank
@@ Property / cites work @@
+A Cartesian presentation of weak \(n\)-categories
@@ Property / cites work: A Cartesian presentation of weak \(n\)-categories / rank @@
+Normal rank
@@ Property / cites work @@
+Internal categories, anafunctors and localisations
+Normal rank
@@ Property / cites work @@
+Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
+Normal rank
@@ Property / cites work @@
+Framed bicategories and monoidal fibrations
@@ Property / cites work: Framed bicategories and monoidal fibrations / rank @@
+Normal rank
@@ Property / cites work @@
+Not every pseudoalgebra is equivalent to a strict one
+Normal rank
@@ Property / cites work @@
+Compact Closed Bicategories
@@ Property / cites work: Compact Closed Bicategories / rank @@
+Normal rank
@@ Property / cites work @@
+The formal theory of monads
@@ Property / cites work: The formal theory of monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q4092156
@@ Property / cites work: Q4092156 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3314030
@@ Property / cites work: Q3314030 / rank @@
+Normal rank
@@ Property / cites work @@
+Yoneda structures from 2-toposes
@@ Property / cites work: Yoneda structures from 2-toposes / rank @@
+Normal rank
@@ Property / Recommended article @@
+Categories enriched on two sides
@@ Property / Recommended article: Categories enriched on two sides / rank @@
+Normal rank
@@ Property / Recommended article: Categories enriched on two sides / qualifier @@
+Similarity Score: 0.75845337Amount 0.75845337
Unit 1
-Amount
+.75845337
 Unit
@@ Property / Recommended article: Categories enriched on two sides / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Adjunction in 2-categories
@@ Property / Recommended article: Adjunction in 2-categories / rank @@
+Normal rank
@@ Property / Recommended article: Adjunction in 2-categories / qualifier @@
+Similarity Score: 0.75204074Amount 0.75204074
Unit 1
-Amount
+.75204074
 Unit
@@ Property / Recommended article: Adjunction in 2-categories / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Compact Closed Bicategories
@@ Property / Recommended article: Compact Closed Bicategories / rank @@
+Normal rank
@@ Property / Recommended article: Compact Closed Bicategories / qualifier @@
+Similarity Score: 0.7320954Amount 0.7320954
Unit 1
-Amount
+.7320954
 Unit
@@ Property / Recommended article: Compact Closed Bicategories / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+-Dimensional Categories
@@ Property / Recommended article: 2-Dimensional Categories / rank @@
+Normal rank
@@ Property / Recommended article: 2-Dimensional Categories / qualifier @@
+Similarity Score: 0.7273623Amount 0.7273623
Unit 1
-Amount
+.7273623
 Unit
@@ Property / Recommended article: 2-Dimensional Categories / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4684236
@@ Property / Recommended article: Q4684236 / rank @@
+Normal rank
@@ Property / Recommended article: Q4684236 / qualifier @@
+Similarity Score: 0.7237305Amount 0.7237305
Unit 1
-Amount
+.7237305
 Unit
@@ Property / Recommended article: Q4684236 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q5037743
@@ Property / Recommended article: Q5037743 / rank @@
+Normal rank
@@ Property / Recommended article: Q5037743 / qualifier @@
+Similarity Score: 0.7211515Amount 0.7211515
Unit 1
-Amount
+.7211515
 Unit
@@ Property / Recommended article: Q5037743 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Variation through enrichment
@@ Property / Recommended article: Variation through enrichment / rank @@
+Normal rank
@@ Property / Recommended article: Variation through enrichment / qualifier @@
+Similarity Score: 0.7197277Amount 0.7197277
Unit 1
-Amount
+.7197277
 Unit
@@ Property / Recommended article: Variation through enrichment / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3832738
@@ Property / Recommended article: Q3832738 / rank @@
+Normal rank
@@ Property / Recommended article: Q3832738 / qualifier @@
+Similarity Score: 0.71725255Amount 0.71725255
Unit 1
-Amount
+.71725255
 Unit
@@ Property / Recommended article: Q3832738 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A cocategorical obstruction to tensor products of Gray-categories
+Normal rank
+Similarity Score: 0.7162037Amount 0.7162037
Unit 1
-Amount
+.7162037
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q3778147
@@ Property / Recommended article: Q3778147 / rank @@
+Normal rank
@@ Property / Recommended article: Q3778147 / qualifier @@
+Similarity Score: 0.711118Amount 0.711118
Unit 1
-Amount
+.711118
 Unit
@@ Property / Recommended article: Q3778147 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / IPFS content identifier @@
+bafkreidjhbs5esjgnvvp5x42p4zvlwc2m3ovoi4cemxsospkwwb3wqfbwu
+Normal rank