Abstract:By building on the notions of internal projective and injective objects in a module category introduced by Douglas, Schommer-Pries, and Snyder, we extend the reconstruction theory for module categories of Etingof and Ostrik. More explicitly, instead of algebra objects in finite tensor categories, we consider quasi-finite coalgebra objects in locally finite tensor categories. Moreover, we show that module categories over non-rigid monoidal categories can be reconstructed via lax module monads, which generalize algebra objects. For the category of finite-dimensional comodules over a (non-Hopf) bialgebra, we give this result a more concrete form, realizing module categories as categories of contramodules over Hopf trimodule algebras -- this specializes to our tensor-categorical results in the Hopf case. Using lax module functors we give a categorical proof of the variant of the fundamental theorem of Hopf modules which applies to Hopf trimodules. We also give a characterization of fusion operators for a Hopf monad as coherence cells for a module functor structure, using which we similarly reinterpret and reprove the Hopf-monadic fundamental theorem of Hopf modules due to Bruguières, Lack, and Virelizier.

Internal sums for synthetic fibered (∞,1)-categories

Internal sums for synthetic fibered $(\infty,1)$-categories

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories

Two-sided cartesian fibrations of synthetic -categories

On local fibrations of $(\infty,2)$-categories

Reconstruction of module categories in the infinite and non-rigid settings

Internal Languages of Finitely Complete $(\infty, 1)$-categories

A decomposition theorem for the affine Springer fibers

Constructing monoidal structures on fibered categories via factorizations

All about the Grothendieck construction

Relative Monoidal Bondal-Orlov

A model structure for Grothendieck fibrations

Lax monoidal adjunctions, two-variable fibrations and the calculus of mates

Model Structures on Infinity-Categories of Filtrations

Symmetries of the cyclic nerve

Cocartesian fibrations and straightening internal to an $\infty$-topos

Transfers of $A_\infty$- and other homotopy structures as Grothendieck bifibrations

Fibrations and Koszul duality in locally Cartesian localisations

Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Generalized Chevalley criteria in simplicial homotopy type theory

Higher categories of push-pull spans, I: Construction and applications