We generalize Cohen & Jones & Segal's flow category, whose objects are the critical points of a Morse function and whose morphisms are the Morse moduli spaces between the critical points to an n-category. The n-category construction involves repeatedly doi ...
Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We provide concrete ...
We consider two basic problems of algebraic topology: the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational complexity. The extension problem is the following: Given topological space ...
Situatedness refers to the imagery that conceptualization invokes. The image, as a whole, provides the context for interpreting the relevance of the categories revealed in the image. At a basic level of conceptualization, the causal relevance of an observe ...
Situatedness refers to the imagery that a conceptualization invokes. The image, as a whole, provides the context for interpreting the relevance of the categories revealed in the image. At a basic level of conceptualization, the conceptual relevance of an o ...
Service System refers to the group of entities that work together to implement a service. An important challenge for the service designer is to organize her conceptualization of the service in a way that helps her identify the functional components require ...
A compositional hierarchy is the default organization of knowledge acquired for the purpose of specifying the design requirements of a service. Existing methods for learning compositional hierarchies from natural language text, interpret composition as an ...
Let M be a monoidal category endowed with a distinguished class of weak equivalences and with appropriately compatible classifying bundles for monoids and comonoids. We define and study homotopy-invariant notions of normality for maps of monoids and of con ...
We introduce the notion of a strongly homotopy-comultiplicative resolution of a module coalgebra over a chain Hopf algebra, which we apply to proving a comultiplicative enrichment of a well-known theorem of Moore concerning the homology of quotient spaces ...
The starting point for this project is the article of Kathryn Hess [11]. In this article, a homotopic version of monadic descent is developed. In the classical setting, one constructs a category D(𝕋) of coalgebras in the Eilenberg-Moore category of ...
The overlap number of a finite (d + 1)-uniform hypergraph H is the largest constant c(H) is an element of (0, 1] such that no matter how we map the vertices of H into R-d, there is a point covered by at least a c(H)-fraction of the simplices induced by the ...
