
We investigate the universal cover of a topological group that is not
necessarily connected. Its existence as a topological group is governed by a
Taylor cocycle, an obstruction in 3cohomology. Alternatively, it always exists
as a topological 2group. The splitness of this 2group is also governed by an
obstruction in 3cohomology, a Sinh cocycle. We give explicit formulas for both
obstructions and show that they are inverse of each other.

Univalent homotopy type theory (HoTT) may be seen as a language for the
category of $\infty$groupoids. It is being developed as a new foundation for
mathematics and as an internal language for (elementary) higher toposes. We
develop the theory of factorization systems, reflective subuniverses, and
modalities in homotopy type theory, including their construction using a
"localization" higher inductive type. This produces in particular the
($n$connected, $n$truncated) factorization system as well as internal
presentations of subtoposes, through lex modalities. We also develop the
semantics of these constructions.

We introduce the notion of an oplax Hopf monoid in any braided monoidal
bicategory, generalizing that of a Hopf monoid in a braided monoidal category
in an appropriate way. We show that Hopf Vcategories introduced in [BCV16] are
a particular type of oplax Hopf monoids in the monoidal bicategory SpanV
described in [B\"oh17]. Finally, we introduce Frobenius Vcategories as the
Frobenius objects in the same monoidal bicategory.

Let $G$ be a connected reductive group, with connected center, and $X$ a
smooth complete curve, both defined over an algebraically closed field of
characteristic zero. Let $\operatorname{Bun}_G$ denote the stack of $G$bundles
on $X$.
In analogy with the classical theory of Whittaker coefficients for
automorphic functions, we construct a "Fourier transform" functor, called
$\mathsf{coeff}_{G,\mathsf{ext}}$, from the DG category of
$\mathfrak{D}$modules on $\operatorname{Bun}_G$ to a certain DG category
$\mathcal{W}h(G,\mathsf{ext})$, called the \emph{extended Whittaker category}.
Combined with work in progress by other mathematicians and the author, this
construction allows to formulate the compatibility of the Langlands duality
functor $\mathbb{L}_G: \operatorname{IndCoh}_{\mathcal
N}(\operatorname{LocSys}_{\check{G}}) \to \mathfrak{D}(\operatorname{Bun}_G)$
with the Whittaker model.
For $G=GL_n$ and $G=PGL_n$, we prove that $\mathsf{coeff}_{G,\mathsf{ext}}$
is fully faithful. This result guarantees that, for those groups,
$\mathbb{L}_G$ is unique (if it exists) and necessarily fully faithful.

To a big ntilting object in a complete, cocomplete abelian category A with
an injective cogenerator we assign a big ncotilting object in a complete,
cocomplete abelian category B with a projective generator, and vice versa. Then
we construct an equivalence between the (conventional or absolute) derived
categories of A and B. Under various assumptions on A, which cover a wide range
of examples (for instance, if A is a module category or, more generally, a
locally finitely presentable Grothendieck abelian category), we show that B is
the abelian category of contramodules over a topological ring and that the
derived equivalences are realized by a contramodulevalued variant of the usual
derived Homfunctor.

Persistent homology, a central tool of topological data analysis, provides
invariants of data called barcodes (also known as persistence diagrams). A
barcode is simply a multiset of real intervals. Recent work of Edelsbrunner,
Jablonski, and Mrozek suggests an equivalent description of barcodes as
functors R > Mch, where R is the poset category of real numbers and Mch is the
category whose objects are sets and whose morphisms are matchings (i.e.,
partial injective functions). Such functors form a category Mch^R whose
morphisms are the natural transformations. Thus, this interpretation of
barcodes gives us a hitherto unstudied categorical structure on barcodes. The
aim of this note is to show that this categorical structure leads to
surprisingly simple reformulations of both the wellknown stability theorem for
persistent homology and a recent generalization called the induced matching
theorem.

We investigate correspondence functors, namely the functors from the category
of finite sets and correspondences to the category of $k$modules, where $k$ is
a commutative ring.They have various specific properties which do not hold for
other types of functors.In particular, if $k$ is a field and if $F$ is a
correspondence functor, then $F$ is finitely generated if and only if the
dimension of $F(X)$ grows exponentially in terms of the cardinality of the
finite set $X$. In such a case, $F$ has finite length. Also, if $k$ is
noetherian, then any subfunctor of a finitely generated functor is finitely
generated. When $k$ is a field, we give a description of all the simple
functors and we determine the dimension of their evaluations at any finite
set.A main tool is the construction of a functor associated to any finite
lattice $T$. We prove for instance that this functor is projective if and only
if the lattice $T$ is distributive. Moreover, it has quotients which play a
crucial role in the analysis of simple functors. The special case of total
orders yields some more specific results. Several other properties are also
discussed, such as projectivity, duality, and symmetry.In an appendix, all the
lattices associated to a given poset are described.

We prove nilpotence theorems in tensortriangulated categories using suitable
Gabriel quotients of the module category, and discuss examples.

The definition of a pseudodualizing complex is obtained from that of a
dualizing complex by dropping the injective dimension condition, while
retaining the finite generatedness and homothety isomorphism conditions. In the
specific setting of a pair of associative rings, we show that the datum of a
pseudodualizing complex induces a triangulated equivalence between a
pseudocoderived category and a pseudocontraderived category. The latter terms
mean triangulated categories standing "in between" the conventional derived
category and the coderived or the contraderived category. The constructions of
these triangulated categories use appropriate versions of the Auslander and
Bass classes of modules. The constructions of derived functors providing the
triangulated equivalence are based on a generalization of a technique developed
in our previous paper arXiv:1503.05523.

The goal of the present paper is to introduce a smaller, but equivalent
version of the DeligneHinichGetzler $\infty$groupoid associated to a
homotopy Lie algebra. In the case of differential graded Lie algebras, we
represent it by a universal cosimplicial object.

A categorical framework for modeling and analyzing systems in a broad sense
is proposed. These systems should be thought of as `machines' with inputs and
outputs, carrying some sort of signal that occurs through some notion of time.
Special cases include continuous and discrete dynamical systems (e.g. Moore
machines). Additionally, morphisms between the different types of systems allow
their translation in a common framework. A central goal is to understand the
systems that result from arbitrary interconnection of component subsystems,
possibly of different types, as well as establish conditions that ensure
totality and determinism compositionally. The fundamental categorical tools
used here include lax monoidal functors, which provide a language of
compositionality, as well as sheaf theory, which flexibly captures the crucial
notion of time.

We use recollement and HRStilt to describe bounded tstructures on the
bounded derived category $\mathcal{D}^b(\mathbb{X})$ of coherent sheaves over a
weighted projective line $\mathbb{X}$ of virtual genus $\leq 1$. We will see
from our description that the combinatorics in classification of bounded
tstructures on $\mathcal{D}^b(\mathbb{X})$ can be reduced to that in
classification of bounded tstructures on bounded derived categories of finite
dimensional right modules over representationfinite finite dimensional
hereditary algebras.

We give a mathematical analysis of a new type of classical computer network
architecture, intended as a model of a new technology that has recently been
proposed in industry. Our approach is based on groubits, generalizations of
classical bits based on groupoids. This network architecture allows the direct
execution of a number of protocols that are usually associated with quantum
networks, including teleportation, dense coding and secure key distribution.

We present an infinite number of construction schemes involving unitary error
bases, Hadamard matrices, quantum Latin squares and controlled families, many
of which have not previously been described. Our results rely on biunitary
connections, algebraic objects which play a central role in the theory of
planar algebras. They have an attractive graphical calculus which allows simple
correctness proofs for the constructions we present. We apply these techniques
to construct a unitary error basis that cannot be built using any previously
known method.

Let $R$ be an associative ring with unit. This paper deals with various
aspects of the category of functors of $\mathcal R$modules; that is, the
category of additive and covariant functors from the category of Rmodules to
the category of abelian groups. We give several characterizations of leftexact
MittagLeffler functors of $\mathcal R$modules.

Higher inductive types are a class of typeforming rules, introduced to
provide basic (and notsobasic) homotopytheoretic constructions in a
typetheoretic style. They have proven very fruitful for the "synthetic"
development of homotopy theory within type theory, as well as in formalizing
ordinary setlevel mathematics in type theory. In this article, we construct
models of a wide range of higher inductive types in a fairly wide range of
settings.
We introduce the notion of cell monad with parameters: a semanticallydefined
scheme for specifying homotopically wellbehaved notions of structure. We then
show that any suitable model category has *weakly stable typal initial
algebras* for any cell monad with parameters. When combined with the local
universes construction to obtain strict stability, this specializes to give
models of specific higher inductive types, including spheres, the torus,
pushout types, truncations, the James construction, and general localisations.
Our results apply in any sufficiently nice Quillen model category, including
any right proper, simplicially locally cartesian closed, simplicial Cisinski
model category (such as simplicial sets) and any locally presentable locally
cartesian closed category (such as sets) with its trivial model structure. In
particular, any locally presentable locally cartesian closed
$(\infty,1)$category is presented by some model category to which our results
apply.

We define and study the derived categories of the first kind for curved DG
and Ainfinity algebras complete over a proArtinian local ring with the
curvature elements divisible by the maximal ideal of the local ring. We develop
the Koszul duality theory in this setting and deduce the generalizations of the
conventional results about Ainfinity modules to the weakly curved case. The
formalism of contramodules and comodules over proArtinian topological rings is
used throughout the paper. Our motivation comes from the FloerFukaya theory.

We introduce and develop the notion of *displayed categories*.
A displayed category over a category C is equivalent to "a category D and
functor F : D > C", but instead of having a single collection of "objects of
D" with a map to the objects of C, the objects are given as a family indexed by
objects of C, and similarly for the morphisms. This encapsulates a common way
of building categories in practice, by starting with an existing category and
adding extra data/properties to the objects and morphisms.
The interest of this seemingly trivial reformulation is that various
properties of functors are more naturally defined as properties of the
corresponding displayed categories. Grothendieck fibrations, for example, when
defined as certain functors, use equality on objects in their definition. When
defined instead as certain displayed categories, no reference to equality on
objects is required. Moreover, almost all examples of fibrations in nature are,
in fact, categories whose standard construction can be seen as going via
displayed categories.
We therefore propose displayed categories as a basis for the development of
fibrations in the typetheoretic setting, and similarly for various other
notions whose classical definitions involve equality on objects.
Besides giving a conceptual clarification of such issues, displayed
categories also provide a powerful tool in computer formalisation, unifying and
abstracting common constructions and proof techniques of category theory, and
enabling modular reasoning about categories of multicomponent structures. As
such, most of the material of this article has been formalised in Coq over the
UniMath library, with the aim of providing a practical library for use in
further developments.

This paper surveys the recent advances concerning the relations between
triangulated (or derived) categories and their dg enhancements. We explain when
some interesting triangulated categories arising in algebraic geometry have a
unique dg enhancement. This is the case, for example, for the unbounded derived
category of quasicoherent sheaves on an algebraic stack or for its full
triangulated subcategory of perfect complexes. Moreover we give an account of
the recent results about the possibility to lift exact functors between the
bounded derived categories of coherent sheaves on smooth schemes to dg
(quasi)functors.

The present paper gives a generalization of cartesian closed categories,
called cartesian closed categories with dependence, whose strict version
induces categories with families that support 1, Sigma and Pitypes in the
strict sense. Consequently, we have obtained a new semantics of dependent type
theories that is both categorical and truetosyntax.

We prove a generalization of the classical connectivity theorem of
BlakersMassey, valid in an arbitrary higher topos and with respect to an
arbitrary modality, that is, a factorization system (L,R) in which the left
class is stable by base change. We explain how to rederive the classical
result, as well as a recent generalization by Chach\'olskiSchererWerndli. Our
proof is inspired by the one given in Homotopy Type Theory.

Let g be a symmetrisable KacMoody algebra, and U_h(g) the corresponding
quantum group. We showed in arXiv:1610.09744 and arXiv:1610.09741 that the
braided quasiCoxeter structure on integrable, category O representations of
U_h(g) which underlies the Rmatrix actions arising from the Levi subalgebras
of U_h(g) and the quantum Weyl group action of the generalised braid group B_g
can be transferred to integrable, category O representations of g. We prove in
this paper that, up to unique equivalence, there is a unique such structure on
the latter category with prescribed restriction functors, Rmatrices, and
local monodromies. This extends, simplifies and strengthens a similar result of
the second author valid when g is semisimple, and is used in arXiv:1512.03041
to describe the monodromy of the rational Casimir connection of g in terms of
the quantum Weyl group operators of U_h(g). Our main tool is a refinement of
Enriquez's universal algebras, which is adapted to the PROP describing a Lie
bialgebra graded by the nonnegative roots of g.

It is a well established fact that the notions of quasiabelian categories
and tilting torsion pairs are equivalent. This equivalence fits in a wider
picture including tilting pairs of $t$structures.
Firstly, we extend this picture into a hierarchy of $n$quasiabelian
categories and $n$tilting torsion classes. We prove that any $n$quasiabelian
category admits a derived category endowed with a $n$tilting pair of
$t$structures such that the respective hearts are derived equivalent.
Secondly, we describe the hearts of these $t$structures as quotient
categories of coherent functors, generalizing Auslander's Formula.
Thirdly, we apply our results to Bridgeland's theory of perverse coherent
sheaves for flop contractions. In Bridgeland's work, the relative dimension $1$
assumption guaranteed that $f_*$acyclic coherent sheaves form a $1$tilting
torsion class, whose associated heart is derived equivalent to $D(Y)$. We
generalize this theorem to relative dimension $2$.

For any fiat 2category C, we show how its simple transitive
2representations can be constructed using coalgebra 1morphisms in the
injective abelianization of C. Dually, we show that these can also be
constructed using algebra 1morphisms in the projective abelianization of C. We
also extend MoritaTakeuchi theory to our setup and work out several examples
explicitly.

We deal with the symmetries of a (2term) graded vector space or bundle. Our
first theorem shows that they define a (strict) Lie 2groupoid in a natural
way. Our second theorem explores the construction of nerves for Lie
2categories, showing that it yields simplicial manifolds if the 2cells are
invertible. Finally, our third and main theorem shows that smooth
pseudofunctors into our general linear 2groupoid classify 2term
representations up to homotopy of Lie groupoids.