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