arXiv subjects

Charles Walker

Publications and source records attributed to Charles Walker.

10 recordsLinked to original sources

arXiv2026

Locally subcartesian closed categories

We introduce locally subcartesian closed categories: categories with pullbacks equipped with a coherent choice of subobjects of pullbacks, such that the resulting affine base-change functors have right adjoints. We develop the basic theory, emphasizing the analogy with locally cartesian closed categories, and justify the terminology by showing that every slice category is monoidal closed with jointly monic projections. We also extend the theory of polynomials, showing that such a category gives rise to a bicategory of polynomials in the sense of Street, biequivalent to a 2-category of subcartesian polynomial functors. We illustrate this theory with the Lawvere quantale as a basic example and the category of nominal sets as a richer one. This work suggests a natural categorical semantics for an extensional dependent affine type theory with bunched contexts and affine implication.

math.CT↗

arXiv2022

Terms and derivatives of polynomial functors via negation

Given a locally cartesian closed category E, a polynomial (s,p,t) may be defined as a diagram consisting of three arrows in E of a certain shape. In this paper we define the homogeneous and monomial terms comprising a polynomial (s,p,t) and give sufficient conditions on E such that the homogeneous terms of polynomials exist. We use these homogeneous terms to exhibit an infinite family of coreflection adjunctions between polynomials and homogeneous polynomials of order n. We show that every locally cartesian closed category E with a strict initial object admits a negation operator and a (dense,closed) orthogonal factorization system. We see that both terms and derivatives of polynomial functors are constructed from this negation operator, and that if one takes the localization of E by the class W of dense monomorphisms, then derivatives of all polynomial functors exist. All results are shown formally using only the theory of extensive categories and distributivity pullbacks.

math.CT↗

arXiv2022

Generalized nerves of monads

One interpretation of the Kleisli construction (given by Miranda and related to work of Par\'e) is as a nerve sending a monad $P$ to the Kleisli double category of $P$. In this paper we find more general nerve constructions on the 2-categories of monads, which also give fully faithful nerve 2-functors $\mathbf{Mnd}\left(\mathcal{K}\right)\to\mathbf{Dbl}$.

math.CT↗

arXiv2021

Presentations of pseudodistributive laws

By considering the situation in which the involved pseudomonads are presented in no-iteration form, we deduce a number of alternative presentations of pseudodistributive laws including a 'decagon' form, a pseudoalgebra form, a no-iteration form, and a warping form. As an application, we show that five coherence axioms suffice in the usual monoidal definition of a pseudodistributive law.

math.CT↗

arXiv2020

Bicategories of spans as generic bicategories

In a bicategory of spans (an example of a 'generic bicategory') the factorization of a span (s,t) as the span (s,1) followed by (1,t) satisfies a simple universal property with respect to all factorizations in terms of the generic bicategory structure. Here we show that this universal property can in fact be used to characterize bicategories of spans. This characterization of spans is very different from the others in that it does not mention any adjointness conditions within the bicategory.

math.CT↗

arXiv2018

Lax familial representability and lax generic factorizations

A classical result due to Diers shows that a copresheaf $F\colon\mathcal{A}\to\mathbf{Set}$ on a category $\mathcal{A}$ is a coproduct of representables precisely when each connected component of $F$'s category of elements has an initial object. Most often, this condition is imposed on a copresheaf of the form $\mathcal{B}\left(X,T-\right)$ for a functor $T\colon\mathcal{A}\to\mathcal{B}$, in which case this property says that $T$ admits generic factorizations at $X$, or equivalently that $T$ is familial at $X$. Here we generalize these results to the two-dimensional setting, replacing $\mathcal{A}$ with an arbitrary bicategory $\mathscr{A}$, and $\mathbf{Set}$ with $\mathbf{Cat}$. In this two-dimensional setting, simply asking that a pseudofunctor $F\colon\mathscr{A}\to\mathbf{Cat}$ be a coproduct of representables is often too strong of a condition. Instead, we will only ask that $F$ be a lax conical colimit of representables. This in turn allows for the weaker notion of lax generic factorizations (and lax familial representability) for pseudofunctors of bicategories $T\colon\mathscr{A}\to\mathscr{B}$. We also compare our lax familial pseudofunctors to Weber's familial 2-functors, finding our description is more general (not requiring a terminal object in $\mathscr{A}$), though essentially equivalent when a terminal object does exist. Moreover, our description of lax generics allows for an equivalence between lax generic factorizations and lax familial representability. Finally, we characterize our lax familial pseudofunctors as right lax $\mathsf{F}$-adjoints followed by locally discrete fibrations of bicategories, which in turn yields a simple definition of parametric right adjoint pseudofunctors.

math.CT↗

arXiv2018

Universal properties of bicategories of polynomials

We establish the universal properties of the bicategory of polynomials, considering both cartesian and general morphisms between these polynomials. A direct proof of these universal properties would be impractical due to the complicated coherence conditions arising from polynomial composition; however, in this paper we avoid most of these coherence conditions using the properties of generic bicategories. In addition, we give a new proof of the universal properties of the bicategory of spans, and also establish the universal properties of the bicategory of spans with invertible 2-cells; showing how these properties may be used to describe the universal properties of polynomials.

math.CT↗

arXiv2018

Generic bicategories

It is well known that to give an oplax functor of bicategories $\mathbf{1}\to\mathscr{C}$ is to give a comonad in $\mathscr{C}$. Here we generalize this fact, replacing the terminal bicategory by any bicategory $\mathscr{A}$ for which the composition functor admits generic factorisations. We call bicategories with this property generic, and show that for generic bicategories $\mathscr{A}$ one may express the data of an oplax functor $\mathscr{A}\to\mathscr{C}$ much like the data of a comonad; the main advantage of this description being that it does not directly involve composition in $\mathscr{A}$. We then go on to apply this result to some well known bicategories, such as cartesian monoidal categories (seen as one object bicategories), bicategories of spans, and bicategories of polynomials with cartesian 2-cells.

math.CT↗

arXiv2017

Distributive laws via admissibility

This paper concerns the problem of lifting a KZ doctrine P to the 2-category of pseudo T-algebras for some pseudomonad T. Here we show that this problem is equivalent to giving a pseudo-distributive law (meaning that the lifted pseudomonad is automatically KZ), and that such distributive laws may be simply described algebraically and are essentially unique (as known to be the case in the (co)KZ over KZ setting). Moreover, we give a simple description of these distributive laws using Bunge and Funk's notion of admissible morphisms for a KZ doctrine (the principal goal of this paper). We then go on to show that the 2-category of KZ doctrines on a 2-category is biequivalent to a poset. We will also discuss here the case of lifting a locally fully faithful KZ doctrine, which we noted earlier enjoys most of the axioms of a Yoneda structure, and show that an oplax-lax bijection is exhibited on the lifted 'Yoneda structure' similar to Kelly's doctrinal adjunction. We also briefly discuss how this bijection may be viewed as a coherence result for oplax functors out of the bicategories of spans and polynomials, but leave the details for a future paper.

math.CT↗

arXiv2017

Yoneda structures and KZ doctrines

In this paper we strengthen the relationship between Yoneda structures and KZ doctrines by showing that for any locally fully faithful KZ doctrine, with the notion of admissibility as defined by Bunge and Funk, all of the Yoneda structure axioms apart from the right ideal property are automatic.

math.CT↗