Internal Kleisli categories

Tomasz Brzeziński,Adrian Vazquez Marquez

DOI: https://doi.org/10.48550/arXiv.0911.4048

2009-11-20

Abstract:A construction of Kleisli objects in 2-categories of noncartesian internal categories or categories internal to monoidal categories is presented.

Category Theory

What problem does this paper attempt to address?

Kleisli categories, T-categories and internal categories

Dominique Bourn

2024-01-22

Abstract:We investigate the properties of the Kleisli category KlT of a monad (T,{\lambda},{\mu}) on a category E and in particular the existence of (some kind of) pullbacks. This culminates when the monad is cartesian. In this case, we show that any T-category in E in the sense of A. Burroni coincides with a special kind of internal category in KlT . So, it is the case in particular for T -operads and T -multicategories. More unexpectedly, this, in turn, sheds new lights on internal categories and n-categories.

Category Theory
Abstract Kleisli structures on 2-categories

Adrian Miranda

2024-07-02

Abstract:Führmann introduced Abstract Kleisli structures to model call-by-value programming languages with side effects, and showed that they correspond to monads satisfying a certain equalising condition on the unit. We first extend this theory to non-strict morphisms of monads, and to incorporate $2$-cells of monads. We then further extend this to a theory of abstract Kleisli structures on $2$-categories, characterising when the original pseudomonad can be recovered by the abstract Kleisli structure on its $2$-category of free-pseudoalgebras.

Category Theory
The $(\infty,2)$-category of internal $(\infty,1)$-categories

Raffael Stenzel

2024-09-23

Abstract:We define and study the $(\infty,2)$-category $\mathbf{Cat}_{\infty}(\mathcal{C})$ of $(\infty,1)$-categories internal to a general $(\infty,1)$-category $\mathcal{C}$ via an associated externalization construction. In the first part, we show various formal closure properties of $\mathbf{Cat}_{\infty}(\mathcal{C})$ regarding limits, tensors, cotensors and internal mapping objects under the assumption of various suitable closure properties of $\mathcal{C}$. In particular, we show that $\mathbf{Cat}_{\infty}(\mathcal{C})$ defines a cartesian closed full sub-$\infty$-cosmos of the $\infty$-cosmos $\mathbf{Fun}(\mathcal{C}^{op},\mathbf{Cat}_{\infty})$ of $\mathcal{C}$-indexed $(\infty,1)$-categories under suitable assumptions on $\mathcal{C}$. We furthermore characterize the objects of $\mathbf{Cat}_{\infty}(\mathcal{C})$ by means of a Yoneda lemma that expresses indexed diagrams of internal shape over $\mathcal{C}$ in terms of an $(\infty,1)$-categorical totalization. In the second part, we relate the general theory developed to this point to results in the model categorical literature. We show that every model category $\mathbb{M}$ gives rise to a ''hands-on'' $\infty$-cosmos $\mathbf{Cat}_{\infty}(\mathbb{M})$ (of not-necessarily cofibrant objects) directly by restriction of the Reedy model structure on $\mathbb{M}^{\Delta^{op}}$. We then define an according right derived model categorical externalization functor, and use it to show that the $(\infty,1)$-categorical and the model categorical constructions correspond to one another whenever $\mathcal{C}$ is presentable and $\mathbb{M}$ is a suitable presentation thereof.

Category Theory,Algebraic Topology
Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation

Nathanael Arkor,John Bourke,Joanna Ko

2024-12-10

Abstract:Many structures of interest in two-dimensional category theory have aspects that are inherently strict. This strictness is not a limitation, but rather plays a fundamental role in the theory of such structures. For instance, a monoidal fibration is - crucially - a strict monoidal functor, rather than a pseudo or lax monoidal functor. Other examples include monoidal double categories, double fibrations, and intercategories. We provide an explanation for this phenomenon from the perspective of enhanced 2-categories, which are 2-categories having a distinguished subclass of 1-cells representing the strict morphisms. As part of our development, we introduce enhanced 2-categorical limit sketches and explain how this setting addresses shortcomings in the theory of 2-categorical limit sketches. In particular, we establish the symmetry of internalisation for such structures, entailing, for instance, that a monoidal double category is equivalently a pseudomonoid in an enhanced 2-category of double categories, or a pseudocategory in an enhanced 2-category of monoidal categories.

Category Theory
The internal languages of univalent categories

Niels van der Weide

2024-11-11

Abstract:Internal language theorems are fundamental in categorical logic, since they express an equivalence between syntax and semantics. One of such theorems was proven by Clairambault and Dybjer, who corrected the result originally by Seely. More specifically, they constructed a biequivalence between the bicategory of locally Cartesian closed categories and the bicategory of democratic categories with families with extensional identity types, $\sum$-types, and $\prod$-types. This theorem expresses that the internal language of locally Cartesian closed is extensional Martin-Löf type theory with dependent sums and products. In this paper, we study the theorem by Clairambault and Dybjer for univalent categories, and we extend it to various classes of toposes, among which are $\prod$-pretoposes and elementary toposes. The results in this paper have been formalized using the proof assistant Coq and the UniMath library.

Category Theory,Logic in Computer Science
Complete internal categories

Enrico Ghiorzi

DOI: https://doi.org/10.48550/arXiv.2004.08741

2020-04-19

Abstract:Internal categories feature notions of limit and completeness, as originally proposed in the context of the effective topos. This paper sets out the theory of internal completeness in a general context, spelling out the details of the definitions of limit and completeness and clarifying some subtleties. Remarkably, complete internal categories are also cocomplete and feature a suitable version of the adjoint functor theorem. Such results are understood as consequences of the intrinsic smallness of internal categories.

Category Theory
Internal bicategories in groups

Nelson Martins-Ferreira

DOI: https://doi.org/10.48550/arXiv.1506.07707

2015-06-25

Abstract:A detailed description of internal bicategory in the category of groups is derived from the general description of internal bicategories in weakly Mal'tsev sesquicategories. The example of bicategory of paths in a topological abelian group is presented, as well as a description of internal bicategories in weakly Mal'tsev categories with a $V$-Mal'tsev operation in the sense of Pedicchio.

Category Theory
Internal geometry and functors between sites

Konrad Waldorf

2024-08-09

Abstract:Locality is implemented in an arbitrary category using Grothendieck topologies. We explore how different Grothendieck topologies on one category can be related, and, more general, how functors between categories can preserve them. As applications of locality, we review geometric objects such as sheaves, groupoids, functors, bibundles, and anafunctors internal to an arbitrary Grothendieck site. We give definitions such that all these objects are invariant under equivalences of Grothendieck topologies and certain functors between sites. As examples of sites, we look at categories of smooth manifolds, diffeological spaces, topological spaces, and sheaves, and we study properties of various functors between those.

Category Theory,Differential Geometry
Koszul Monoids in Quasi-abelian Categories

Rhiannon Savage

DOI: https://doi.org/10.1007/s10485-023-09756-7

2023-12-07

Abstract:Suppose that we have a bicomplete closed symmetric monoidal quasi-abelian category $\mathcal{E}$ with enough flat projectives, such as the category of complete bornological spaces $\textbf{CBorn}_k$ or the category of inductive limits of Banach spaces $\textbf{IndBan}_k$. Working with monoids in $\mathcal{E}$, we can generalise and extend the Koszul duality theory of Beilinson, Ginzburg, Soergel. We use an element-free approach to define the notions of Koszul monoids, and quadratic monoids and their duals. Schneiders' embedding of a quasi-abelian category into an abelian category, its left heart, allows us to prove an equivalence of certain subcategories of the derived categories of graded modules over Koszul monoids and their duals.

Category Theory,Algebraic Geometry,Rings and Algebras
Internal sums for synthetic fibered (∞,1)-categories

Jonathan Weinberger

DOI: https://doi.org/10.1016/j.jpaa.2024.107659

IF: 0.834

2024-03-20

Journal of Pure and Applied Algebra

Abstract:We give structural results about bifibrations of (internal) (∞,1) -categories with internal sums. This includes a higher version of Moens' Theorem, characterizing cartesian bifibrations with extensive aka stable and disjoint internal sums over lex bases as Artin gluings of lex functors. We also treat a generalized version of Moens' Theorem due to Streicher which does not require the Beck–Chevalley condition. Furthermore, we show that also in this setting the Moens fibrations can be characterized via a condition due to Zawadowski. Our account overall follows Streicher's presentation of fibered category theory à la Bénabou, generalizing the results to the internal, higher-categorical case, formulated in a synthetic setting. Namely, we work inside simplicial homotopy type theory, which has been introduced by Riehl and Shulman as a logical system to reason about internal (∞,1) -categories, interpreted as Rezk objects in any given Grothendieck–Rezk–Lurie (∞,1) -topos.

mathematics, applied
Presentable categories internal to an $\infty$-topos

Louis Martini,Sebastian Wolf

DOI: https://doi.org/10.48550/arXiv.2209.05103

2022-09-12

Abstract:We develop the theory of presentable categories internal to an $\infty$-topos $\mathcal{B}$. We provide several characterisations of these, including a description in terms of the associated sheaves of $\infty$-categories as well as an internal analogue of the Lurie-Simpson characterisation of presentable $\infty$-categories. For the latter, we develop a theory of internal filteredness and study the associated notion of accessible internal categories. We furthermore establish various structural results about presentable internal categories, such as adjoint functor theorems and a symmetric monoidal structure. We use the latter to identify the $\infty$-category of presentable $\infty$-categories which are tensored over $\mathcal{B}$ as a full subcategory of the $\infty$-category of presentable internal categories in $\mathcal{B}$. We provide two applications of our framework: in the first, we derive a general version of Diaconescu's theorem for $\infty$-topoi. In the second, we characterise dualisable objects in the $\infty$-category of modules over an $\mathbb{E}_\infty$-ring in $\mathcal{B}$ as internally compact objects.

Category Theory,Algebraic Topology
Internal 1-topoi in 2-topoi

Joseph Helfer

2024-07-28

Abstract:We further develop Weber's notion of elementary 2-topos by proposing certain new axioms. We show that in a 2-category C satisfying these axioms, the "discrete opfibration (DOF) classifier" S is always an internal elementary 1-topos, in an appropriate sense. The axioms introduced for this purpose are closure conditions on the DOFs having "S-small fibres". Among these closure conditions, the most interesting one asserts that a certain DOF, analogous to the "subset fibration" over Set, has small fibres. The remaining new axioms concern "groupoidal" objects in a 2-category, which are seen to play a significant role in the general theory. We prove two results to the effect that a 2-category C satisfying these axioms is "determined by" its groupoidal objects: the first shows that C is equivalent to a 2-category of internal categories built out of groupoidal objects, and the second shows that the groupoidal objects are dense in C.

Category Theory,Logic
What is an internal groupoid?

Nelson Martins-Ferreira

DOI: https://doi.org/10.48550/arXiv.2211.12531

2022-11-23

Abstract:An answer to the question investigated in this paper brings a new characterization of internal groupoids such that: (a) it holds even when finite limits are not assumed to exist; (b) it is a full subcategory of the category of involutive-2-links, that is, a category whose objects are morphisms equipped with a pair of interlinked involutions. This result highlights the fact that even thought internal groupoids are internal categories equipped with an involution, they can equivalently be seen as tri-graphs with an involution. Moreover, the structure of a tri-graph with an involution can be further contracted into a simpler structure consisting of one morphism with two interlinked involutions. This approach highly contrasts with the one where groupoids are seen as reflexive graphs on which a multiplicative structure is defined with inverses.

Category Theory
On internal categories and crossed objects in the category of monoids

Ilia Pirashvili

2024-01-04

Abstract:It is a well-known fact that the category $\mathsf{Cat}(\mathbf{C})$ of internal categories in a category $\mathbf{C}$ has a description in terms of crossed modules, when $\mathbf{C}=\mathbf{Gr}$ is the category of groups. The proof of this result heavily uses the fact that any split epimorphism decomposes as a semi-direct product. An equivalent statement does not hold in the category $\mathbf{Mon}$ of monoids. In a previous work on quadratic algebras, I constructed an internal category in the category of monoids, see Section 6. Based on this construction, this paper will introduce the notion of a crossed semi-bimodule and show that it gives rise to an object in $\mathsf{Cat}(\mathbf{Mon})$. I will also relate this new notion to the crossed semi-modules introduced earlier by A. Patchkoria.

Category Theory
Di-Exact Categories and Lattices of Normal Subobjects

Florent Afsa

2024-11-27

Abstract:The aim of this article is to study certain categorical-algebraic frameworks for basic homological algebra, introduced in <a class="link-https" data-arxiv-id="2404.15896" href="https://arxiv.org/abs/2404.15896">arXiv:2404.15896</a>, with the aim of better understanding the differences between them. We focus on homological self-duality, preservation of normal maps by dinversion and diexactness, finding counterexamples that separate any two of these conditions. On the way, we encounter new examples and new characterizations, such as the Second Isomorphism Property. We also consider homological self-duality in the context of regular categories. Our main technique is to investigate the lattice of normal subobjects of an object in any pointed category with kernels and cokernels. The category of monoidal semilattices is a context where we have easy control of these lattices. We show that properties of the homological frameworks under consideration may be expressed by means of lattice-theoretical properties, such as modularity and distributivity.

Category Theory
Koszul Feynman Categories

Ralph M. Kaufmann,Benjamin C. Ward

2023-08-08

Abstract:A cubical Feynman category, introduced by the authors in previous work, is a category whose functors to a base category $\mathcal{C}$ behave like operads in $\mathcal{C}$. In this note we show that every cubical Feynman category is Koszul. The upshot is an explicit, minimal cofibrant resolution of any cubical Feynman category, which can be used to model $\infty$ versions of generalizations of operads for both graph based and non-graph based examples.

Algebraic Topology,Category Theory
The Elliptic Drinfeld Center of a Premodular Category

Ying Hong Tham

DOI: https://doi.org/10.48550/arXiv.1904.09511

2020-12-03

Abstract:Given a tensor category C, one constructs its Drinfeld center Z(C) which is a braided tensor category, having as objects pairs (X, lambda), where X in Obj(C) and lambda is a half-braiding. For a premodular category C, we construct a new category Zel(C) which we call the Elliptic Drinfeld Center, which has objects (X, lambda1, lambda2), where the lambda i's are half-braidings that satisfy some compatibility conditions. We discuss an SL2(Z)-action on Zel(C) that is related to the anomaly appearing in Reshetikhin-Turaev theory. This construction is motivated from the study of the extended Crane-Yetter TQFT, in particular the category associated to the once punctured torus.

Quantum Algebra
Fibrations and Koszul duality in locally Cartesian localisations

Andrew W. Macpherson

DOI: https://doi.org/10.48550/arXiv.2105.12316

2021-08-12

Abstract:I show that any locally Cartesian left localisation of a presentable infinity-category admits a right proper model structure in which all morphisms are cofibrations, and obtain a Koszul duality classification of its fibrations. By a simple criterion in terms of generators for a localisation to be locally Cartesian, this applies to any nullification functor. In particular, it includes examples with non-trivial "homotopical content." I further describe, and provide examples from, the set of fibrations in three contexts: the higher categorical Thomason model structure of Mazel-Gee, where fibrations are local systems; Morel-Voevodsky A1-localisation, where they are a higher analogue of A1-covering spaces; and the Quillen plus construction, where they are related to loop space modules trivialised over the universal acyclic extension.

Category Theory,Algebraic Topology
Internal groupoids as involutive-2-links

Nelson Martins-Ferreira

DOI: https://doi.org/10.48550/arXiv.2305.13537

2023-05-23

Abstract:Regardless of its environment, the category of internal groupoids is shown to be equivalent to the full subcategory of involutive-2-links that are unital and associative. The new notion of involutive-2-link originates from the study of triangulated surfaces and their application in additive manufacturing and 3d-printing. Thus, this result establishes a bridge between the structure of an internal groupoid and an abstract triangulated surface. An example is provided which can be thought of as a crossed-module of magmas rather than groups.

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

Jonathan Weinberger

2024-03-12

Abstract:We give structural results about bifibrations of (internal) $(\infty,1)$-categories with internal sums. This includes a higher version of Moens' Theorem, characterizing cartesian bifibrations with extensive aka stable and disjoint internal sums over lex bases as Artin gluings of lex functors. We also treat a generalized version of Moens' Theorem due to Streicher which does not require the Beck--Chevalley condition. Furthermore, we show that also in this setting the Moens fibrations can be characterized via a condition due to Zawadowski. Our account overall follows Streicher's presentation of fibered category theory à la Bénabou, generalizing the results to the internal, higher-categorical case, formulated in a synthetic setting. Namely, we work inside simplicial homotopy type theory, which has been introduced by Riehl and Shulman as a logical system to reason about internal $(\infty,1)$-categories, interpreted as Rezk objects in any given Grothendieck--Rezk--Lurie $(\infty,1)$-topos.

Category Theory,Logic in Computer Science,Algebraic Topology,Logic

Internal Kleisli categories

Kleisli categories, T-categories and internal categories

Abstract Kleisli structures on 2-categories

The $(\infty,2)$-category of internal $(\infty,1)$-categories

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

The internal languages of univalent categories

Complete internal categories

Internal bicategories in groups

Internal geometry and functors between sites

Koszul Monoids in Quasi-abelian Categories

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

Presentable categories internal to an $\infty$-topos

Internal 1-topoi in 2-topoi

What is an internal groupoid?

On internal categories and crossed objects in the category of monoids

Di-Exact Categories and Lattices of Normal Subobjects

Koszul Feynman Categories

The Elliptic Drinfeld Center of a Premodular Category

Fibrations and Koszul duality in locally Cartesian localisations

Internal groupoids as involutive-2-links

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