Concept

Strict 2-category

Related publications (25)

Waldhausen K-theory of spaces via comodules

Let X be a simplicial set. We construct a novel adjunction be- tween the categories RX of retractive spaces over X and ComodX+ of X+- comodules, then apply recent work on left-induced model category structures [5], [16] to establish the existence of a left ...

Academic Press Inc Elsevier Science2016

Left-induced model structures and diagram categories

Kathryn Hess Bellwald, Varvara Karpova, Magdalena Kedziorek

We prove existence results à la Jeff Smith for left-induced model category structures, of which the injective model structure on a diagram category is an important example. We further develop the notions of fibrant generation and Postnikov presentation fro ...

2015

On The Image Of The Almost Strict Morse N-Category Under Almost Strict N-Functors

In an earlier work, we constructed the almost strict Morse n-category X which extends Cohen Sz Jones Sz Segal's flow category. In this article, we define two other almost strict n-categories V and W where V is based on homomorphisms between real vector spa ...

Mount Allison University2014

Higher Morse moduli spaces and n-categories

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 ...

Int Press Boston, Inc2014

The homotopy theory of coalgebras over a comonad

Kathryn Hess Bellwald

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 ...

2014

A Situated Approach to Systems Based Modeling of Services

Anshuman Bahadur Saxena

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 ...

2013

A Situated Approach to Systems Based Modeling of Services

Alain Wegmann, Anshuman Bahadur Saxena

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 ...

Ieee2013

On the Situated Semantics of Service Systems

Alain Wegmann, Anshuman Bahadur Saxena

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 ...

2013

A Cognitive Reference Based Model for Learning Compositional Hierarchies with Whole-Composite Tags

Alain Wegmann, Anshuman Bahadur Saxena, Ashish Kishore Bindal

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 ...

2013

Homotopic Descent over Monoidal Model Categories

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 ...

EPFL2011