ct category theory - Robuta Search

https://mathoverflow.net/questions/507867/locally-locally-finite-multigraph ct.category theory - "Locally locally finite" multigraph? - MathOverflow I'm looking for a name for a property: say that a multigraph $(V, E)$ is xyzzy if the subgraph induced by any pair of vertices is finite. So, only finitely... ct category theory locally finite mathoverflow https://mathoverflow.net/questions/509887/does-the-category-of-manifolds-mathbfman-have-reflexive-coequalizers ct.category theory - Does the category of manifolds $\mathbf{Man}$ have reflexive coequalizers? -... A reflexive coequalizer is a special type of coequalizer which often exists even when general coequalizers might not exist. I wonder if the category of smooth... ct category theory manifolds reflexive https://mathoverflow.net/questions/tagged/ct.category-theory?tab=newest&page=3&pagesize=15 Newest 'ct.category-theory' Questions - Page 3 - MathOverflow newest ct category theory questions 3 mathoverflow https://mathoverflow.net/questions/2150/exactness-of-filtered-colimits ct.category theory - Exactness of filtered colimits - MathOverflow Are filtered colimits exact in all abelian categories? In Set, filtered colimits commute with finite limits. The proof carries over to categories sufficiently... ct category theory filtered colimits mathoverflow https://mathoverflow.net/questions/tagged/ct.category-theory?tab=newest&page=4&pagesize=15 Newest 'ct.category-theory' Questions - Page 4 - MathOverflow newest ct category theory questions 4 mathoverflow https://mathoverflow.net/questions/510202/the-right-adjoint-of-mathrmmod-mathrmend-c1v-to-c-for-c-in-mathr ct.category theory - The right adjoint of $\mathrm{Mod}_{\mathrm{End}_C(1)}(V)\to C$ for $C\in... ct category theory 1 v right adjoint mathrm https://mathoverflow.net/questions/510219/morleyization-versus-double-negation ct.category theory - Morleyization versus double negation - MathOverflow Let $L$ be a finitary relational language. The Morleyization of $L$ is the extended language $L'$ which has one atomic formula for every first-order formula of... ct category theory versus double negation mathoverflow https://mathoverflow.net/tags/ct.category-theory/info 'ct.category-theory' tag wiki - MathOverflow ct category theory tag wiki mathoverflow https://mathoverflow.net/search?page=4&tab=Relevance&pagesize=15&q=user%3a148161%20%5bct.category-theory%5d%20is%3aquestion&searchOn=3 Questions matching 'user:148161 [ct.category-theory] is:question' - MathOverflow ct category theory matching user questions mathoverflow https://mathoverflow.net/questions/474767/universal-property-of-category-of-categories ct.category theory - Universal property of category of categories - MathOverflow As discussed here, Using the universal property of spaces, the $(\infty,1)$-category of spaces has a universal property: it is the free $\infty$-categorical... ct category theory universal property categories mathoverflow https://mathoverflow.net/search?q=user:2926%20[ct.category-theory]%20is:answer Answers matching 'user:2926 [ct.category-theory] is:answer' - MathOverflow answers matching user ct category theory 2926 mathoverflow https://mathoverflow.net/questions/tagged/ct.category-theory?tab=Trending Trending 'ct.category-theory' questions - MathOverflow ct category theory questions mathoverflow trending https://mathoverflow.net/questions/510304/are-the-chaitin-style-incompleteness-theorems-a-consequence-of-lawveres-fixed-p ct.category theory - Are the Chaitin-style incompleteness theorems a consequence of Lawvere's Fixed... Lawvere's famous fixed point theorem shows that in any Cartesian-closed category with objects $X,Y$, if there is a weakly point-surjective morphism $f:X\to... ct category theory chaitin style incompleteness theorems https://mathoverflow.net/questions/510329/about-colimit-preserving-approximation-of-functors-from-precubical-sets-to-a-coc ct.category theory - About colimit-preserving approximation of functors from precubical sets to a... Let $\square^{\text{op}}\mathbf{Set}$ denote the category of precubical sets (only cubical face maps, no degeneracies), and let $F \colon... ct category theory colimit preserving approximation functors https://mathoverflow.net/questions/tagged/ct.category-theory?tab=Bounties Bountied 'ct.category-theory' questions - MathOverflow ct category theory questions mathoverflow bountied https://mathoverflow.net/questions/tagged/ct.category-theory?tab=Active Recently Active 'ct.category-theory' Questions - MathOverflow active ct category theory questions mathoverflow recently https://mathoverflow.net/questions/510240/terminology-categories-where-finite-products-commute-with-filtered-colimits ct.category theory - Terminology: categories where finite products commute with filtered colimits -... Is there a name for categories $\mathcal{C}$ with finite products and filtered colimits such that each functor $X \times - : \mathcal{C} \to \mathcal{C}$ for... ct category theory filtered colimits terminology categories finite https://mathoverflow.net/questions/19116/colimits-in-the-category-of-smooth-manifolds?noredirect=1 ct.category theory - Colimits in the category of smooth manifolds - MathOverflow In the category of smooth real manifolds, do all small colimits exist? In other words, is this category small-cocomplete? I can see that computing push-outs in... ct category theory colimits smooth manifolds mathoverflow https://mathoverflow.net/questions/tagged/ct.category-theory?tab=Month Most active 'ct.category-theory' questions - MathOverflow active ct category theory questions mathoverflow https://mathoverflow.net/questions/508898/category-theoretic-foundations-of-analysis ct.category theory - Category-theoretic foundations of analysis - MathOverflow I want to know if there is a solid, category-theoretic foundation underlining the study of analysis and what has been done in this direction over the past... ct category theory theoretic foundations analysis mathoverflow https://mathoverflow.net/questions/508534/associativity-of-the-baer-sum ct.category theory - Associativity of the Baer sum - MathOverflow I am trying to solve Exercise 2.1.7 from "Categories and Modules, with K-theory in View" by A.J. Berrick and M.E. Keating in which we construct the group... ct category theory baer sum mathoverflow https://mathoverflow.net/questions/361684/why-do-elementary-topoi-have-pullbacks ct.category theory - Why do elementary topoi have pullbacks? - MathOverflow In the book of Szabo ct category theory elementary pullbacks mathoverflow https://mathoverflow.net/questions/tagged/ct.category-theory?tab=Unanswered Unanswered 'ct.category-theory' Questions - MathOverflow ct category theory questions mathoverflow unanswered https://mathoverflow.net/questions/tagged/ct.category-theory Newest 'ct.category-theory' Questions - MathOverflow newest ct category theory questions mathoverflow https://mathoverflow.net/questions/474287/intuition-for-the-internal-logic-of-a-cotopos ct.category theory - Intuition for the "internal logic" of a cotopos - MathOverflow Let $\mathcal{E}$ be an elementary topos. By definition, $\mathcal{E}$ is a category that has finite limits, is Cartesian closed, and has a subobject... ct category theory intuition internal logic mathoverflow https://mathoverflow.net/questions/479191/box-tensor-product-in-the-correspondence-category ct.category theory - Box tensor product in the correspondence category - MathOverflow I am currently reading Peter Scholze's note on six-functors formalism, where for an infinity category $C$ and a nice class of morphism $E$ in $C$, we can... ct category theory box tensor product correspondence https://mathoverflow.net/questions/tagged/ct.category-theory?tab=Bounties&days=7 Bountied 'ct.category-theory' questions - MathOverflow ct category theory questions mathoverflow bountied https://mathoverflow.net/questions/tagged/ct.category-theory?tab=active&page=3&pagesize=15 Recently Active 'ct.category-theory' Questions - Page 3 - MathOverflow active ct category theory questions 3 mathoverflow recently https://mathoverflow.net/questions/462785/are-flat-functors-out-of-a-finite-category-necessarily-finite ct.category theory - Are flat functors out of a finite category necessarily finite? - MathOverflow Note: I've originally asked this question on math stack exchange, but I have learnt that this is the better place to ask for research level questions, so I... ct category theory flat functors finite necessarily https://mathoverflow.net/questions/tagged/ct.category-theory?tab=Week Most active 'ct.category-theory' questions - MathOverflow active ct category theory questions mathoverflow https://mathoverflow.net/questions/510583/natural-transformation-between-endo-functors-of-the-category-of-modules ct.category theory - Natural transformation between endo-functors of the category of modules -... Let us fix a group $G$. We consider the group ring $A=\mathbf{Z}[G\times G^{op}]$, where $G^{op}$ is the opposite group. There is an automorphism of rings... ct category theory natural transformation endo functors https://mathoverflow.net/questions/509666/do-k-well-generated-categories-exist-for-any-regular-k ct.category theory - Do K-well generated categories exist for any regular K? - MathOverflow A. Neeman has defined K-well generated triangulated categories for any infinite regular cardinal K; in the case $K=\aleph_0$ these are the compactly generated... ct category theory k well generated categories https://mathoverflow.net/questions/508536/coste-s-1985-manuscript-la-d%c3%a9monstration-de-diaconescu-du-th%c3%a9or%c3%a8me-de-barr ct.category theory - Coste’s 1985 manuscript “La démonstration de Diaconescu du théorème de Barr”?... An unpublished manuscript of Coste is cited in a couple of papers of Peter Johnstone, for some observations on what we now know as the Diaconescu cover. The... ct category theory 1985 manuscript de diaconescu https://mathoverflow.net/questions/tagged/ct.category-theory?tab=newest&page=5&pagesize=15 Newest 'ct.category-theory' Questions - Page 5 - MathOverflow newest ct category theory questions 5 mathoverflow https://mathoverflow.net/questions/510431/an-epimorphism-of-monoids-does-not-increase-cardinalities ct.category theory - An epimorphism of monoids does not increase cardinalities? - MathOverflow Let $f : M \to N$ be an epimorphism in the category of monoids (which is not necessarily surjective). I would like to prove that when $M$ is countable, then... ct category theory monoids increase mathoverflow https://mathoverflow.net/questions/tagged/ct.category-theory?tab=newest&pagesize=50 Newest 'ct.category-theory' Questions - MathOverflow newest ct category theory questions mathoverflow https://mathoverflow.net/tags/ct.category-theory/topusers 'ct.category-theory' Top Users - MathOverflow ct category theory top users mathoverflow https://mathoverflow.net/questions/tagged/ct.category-theory?tab=Newest Newest 'ct.category-theory' Questions - MathOverflow newest ct category theory questions mathoverflow https://mathoverflow.net/questions/510404/structure-of-weighted-colimits ct.category theory - Structure of weighted colimits - MathOverflow I'm going to implicitly use $\infty$-categories throughout. Let $F : \mathcal{I} \to \mathcal{T}$ and $W : \mathcal{I}^{\mathrm{op}} \to \mathcal{S}$ be... ct category theory colimits mathoverflow structure weighted https://mathoverflow.net/questions/492354/categorical-structure-guaranteed-to-exist-but-not-necessarily-preserved ct.category theory - Categorical structure guaranteed to exist, but not necessarily preserved -... Background I'm currently studying arithmetic universes (AUs), which are defined to be list-arithmetic pretoposes (see "Joyal's arithmetic universe as... ct category theory categorical structure necessarily preserved guaranteed exist https://mathoverflow.net/questions/tagged/ct.category-theory?tab=unanswered&page=2&pagesize=15 Unanswered 'ct.category-theory' Questions - Page 2 - MathOverflow ct category theory 2 mathoverflow unanswered questions https://mathoverflow.net/questions/tagged/ct.category-theory?tab=newest&pagesize=30 Newest 'ct.category-theory' Questions - MathOverflow newest ct category theory questions mathoverflow https://mathoverflow.net/questions/510316/does-the-category-of-metrizable-spaces-have-filtered-colimits ct.category theory - Does the category of metrizable spaces have filtered colimits? - MathOverflow Consider the category $\mathbf{Met}_c$ of metric spaces with continuous maps. Equivalently, it is the category of Hausdorff spaces that are metrizable.... ct category theory filtered colimits spaces mathoverflow