Robuta

https://mathoverflow.net/questions/tagged/ct.category-theory Newest 'ct.category-theory' Questions - MathOverflow category theorynewestctquestionsmathoverflow 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... category theoryctmanuscriptdedu 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... category theoryctterminologycategoriesfinite https://mathoverflow.net/questions/510714/how-to-detect-if-a-finite-category-has-a-generator ct.category theory - How to detect if a finite category has a generator? - MathOverflow I have been looking at some finite categories recently and noticed that many of them have a generator and a cogenerator. In fact, in CatDat, currently every... category theoryhow toctfinitegenerator 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... category theoryctlocallyfinitemathoverflow https://bartoszmilewski.com/ Bartosz Milewski's Programming Cafe | Category Theory, Haskell, Concurrency, C++ Category Theory, Haskell, Concurrency, C++ category theoryprogrammingcafehaskellconcurrency https://mathoverflow.net/questions/tagged/higher-category-theory Newest 'higher-category-theory' Questions - MathOverflow category theorynewesthigherquestionsmathoverflow https://mathoverflow.net/questions/506632/how-would-you-call-a-smally-generated-additive-category-generated-by-a-sing ct.category theory - How would you call a ("smally generated"?) additive category generated by a... I want to give a definition for an additive category that is closed with respect to coproducts and retractions and generated by a single object with respect to... category theoryctwouldcallgenerated https://neverworkintheory.org/category/ By Category · It Will Never Work in Theory by categoryneverworktheory