Source author record

Lyne Moser

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CT math.AT

Catalog footprint

Research overview

4works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Bi-initial objects and bi-representations are not so different

We introduce a functor $\mathcal V\colon \mathrm{DblCat}_{h,nps}\to \mathrm{2Cat}_{h,nps}$ extracting from a double category a $2$ -category whose objects and morphisms are the vertical morphisms and squares. We give a characterisation of bi-representations of a normal pseudo-functor $F\colon \mathbf C^{\operatorname{op}}\to \mathrm{Cat}$ in terms of double bi-initial objects in the double category $\mathbb{E}l(F)$ of elements of $F$ , or equivalently as bi-initial objects of a special form in the $2$ -category $\mathcal V\mathbb{E}l(F)$ of morphisms of $F$ . Although not true in general, in the special case where the $2$ -category $\mathbf C$ has tensors by the category $\mathbf{2}=\{0\to 1\}$ and $F$ preserves those tensors, we show that a bi-representation of $F$ is then precisely a bi-initial object in the $2$ -category $\mathbf{E}l(F)$ of elements of $F$ . We give applications of this theory to bi-adjunctions and weighted bi-limits.

preprint2022arXiv

Model independence of $(\infty,2)$ -categorical nerves

For most models of $(\infty,2)$ -categories an embedding of the $\infty$ -category of 2-categories into that of $(\infty,2)$ -categories has been constructed in the form of a nerve construction of some flavor. We prove that all those nerve embeddings induce equivalent functors, modulo change of model. We also show that all the nerve embeddings realize the $\infty$ -category of 2-categories as the sub- $\infty$ -category of $(\infty,2)$ -categories that are local with respect to a certain class of maps.

preprint2020arXiv

Stable homotopy hypothesis in the Tamsamani model

We prove that symmetric monoidal weak n-groupoids in the Tamsamani model provide a model for stable n-types. Moreover, we recover the classical statement that Picard categories model stable 1-types.

preprint2018arXiv

Injective and Projective Model Structures on Enriched Diagram Categories

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, accessibility, and "acyclicity" conditions, using the methods of lifting model structures from an adjunction introduced by Garner, Hess, Kedziorek, Riehl, and Shipley.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Lyne Moser

Research overview

Is this your work?

4 publications

Bi-initial objects and bi-representations are not so different

Model independence of $(\infty,2)$ -categorical nerves

Stable homotopy hypothesis in the Tamsamani model

Injective and Projective Model Structures on Enriched Diagram Categories

See the researcher in context

Building this map preview

Lyne Moser

Research overview

Is this your work?

4 publications

Bi-initial objects and bi-representations are not so different

Model independence of (∞,2)(\infty,2)(∞,2)-categorical nerves

Stable homotopy hypothesis in the Tamsamani model

Injective and Projective Model Structures on Enriched Diagram Categories

See the researcher in context

Building this map preview

Model independence of $(\infty,2)$ -categorical nerves