Concept

Strict 2-category

Related publications (25)

Modal engineering of electromagnetic circuits to achieve rapid settling times

Inductive circuits and devices are ubiquitous and important design elements in many applications, such as magnetic drives, galvanometers, magnetic scanners, applying direct current (DC) magnetic fields to systems, radio frequency coils in nuclear magnetic ...

AIP Publishing2023

Homotopical relations between 2-dimensional categories and their infinity-analogues

Lyne Moser

In this thesis, we study the homotopical relations of 2-categories, double categories, and their infinity-analogues. For this, we construct homotopy theories for the objects of interest, and show that there are homotopically full embeddings of 2-categories ...

EPFL2021

Injective And Projective Model Structures On Enriched Diagram Categories

Lyne Moser

In the enriched setting, the notions of injective and projective model structures on a category of enriched diagrams also make sense. In this paper, we prove the existence of these model structures on enriched diagram categories under local presentability, ...

2019

Semiconductor Nanowires: To Grow or Not to Grow?

Anna Fontcuberta i Morral

Semiconductor nanowires have demonstrated exciting properties for nanophotonics, sensors, energy technologies and end-of-roadmap and beyond-roadmap electronic devices. Fabrication schemes for nanowires are varied, but they fall into three general categorie ...

2019

The Homotopy Theory Of Coalgebras Over Simplicial Comonads

Kathryn Hess Bellwald, Magdalena Kedziorek

We apply the Acyclicity Theorem of Hess, Kedziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from simplicial adjuncti ...

INT PRESS BOSTON, INC2019

Structuring Wikipedia Articles with Section Recommendations

Robert West, Tiziano Piccardi, Michele Catasta

Sections are the building blocks of Wikipedia articles. They enhance readability and can be used as a structured entry point for creating and expanding articles. Structuring a new or already existing Wikipedia article with sections is a hard task for human ...

ASSOC COMPUTING MACHINERY2018

A necessary and sufficient condition for induced model structures

Kathryn Hess Bellwald, Magdalena Kedziorek

A common technique for producing a new model category structure is to lift the fibrations and weak equivalences of an existing model structure along a right adjoint. Formally dual but technically much harder is to lift the cofibrations and weak equivalence ...

Wiley2017

Rational SO(2)- equivariant spectra

Magdalena Kedziorek

We prove that the category of rational SO(2)-equivariant spectra has a simple algebraic model. Furthermore, all of our model categories and Quillen equivalences are monoidal, so we can use this classification to understand ring spectra and module spectra v ...

Geometry & Topology Publications2017

L-2-Betti Numbers Of Rigid C*-Tensor Categories And Discrete Quantum Groups

Sven Raum

We compute the L-2-Betti numbers of the free C*-tensor categories, which are the representation categories of the universal unitary quantum groups A(u)(F). We show that the L-2-Betti numbers of the dual of a compact quantum group G are equal to the L-2-Bet ...

Mathematical Science Publ2017

Towards an (∞,2)-category of homotopy coherent monads in an ∞-cosmos

Dimitri Zaganidis

This thesis is part of a program initiated by Riehl and Verity to study the category theory of (infinity,1)-categories in a model-independent way. They showed that most models of (infinity,1)-categories form an infinity-cosmos K, which is essentially a cat ...

EPFL2017

Waldhausen K-theory of spaces via comodules

Kathryn Hess Bellwald

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