Related papers: Models for $(\infty, n)$-categories and the cobord…
Generalising slightly the notions of a strict computability model and of a simulation between them, which were elaborated by Longley and Normann, we define canonical computability models over categories and appropriate Set-valued functors…
Category theory provides a unified language for organizing composable operations in many disciplines. In disciplines where unitarity is fundamental -- such as functional analysis, quantum field theory, and quantum logic -- this language…
We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal $(\infty,2)$-categories. We develop their general theory, showing in particular that the a priori $(\infty,2)$-category of rigid algebras is…
Together with F. Morel, we have constructed in \cite{CR, Cobord1, Cobord2} a theory of {\em algebraic cobordism}, an algebro-geometric version of the topological theory of complex cobordism. In this paper, we give a survey of the…
Inferential models have recently gained in popularity for valid uncertainty quantification. In this paper, we investigate inferential models by exploring relationships between inferential models, fiducial inference, and confidence curves.…
This chapter, written for "Stable categories and structured ring spectra," edited by Andrew J. Blumberg, Teena Gerhardt, and Michael A. Hill, surveys the history of homotopical categories, from Gabriel and Zisman's categories of fractions…
A notion of vector field cobordism for oriented manifolds was defined by B\"okstedt and Svane. We extend this notion to define complex section cobordism for almost complex manifolds. We then determine the complex section cobordism groups…
The homotopy category of the bordism category $hBord_d$ has as objects closed oriented $(d-1)$-manifolds and as morphisms diffeomorphism classes of $d$-dimensional bordisms. Using a new fiber sequence for bordism categories, we compute the…
The extension of ordinary category theory to $\infty$-categories at the start of the 21st century was a spectacular achievement pioneered by Joyal and Lurie with contributions from many others. Unfortunately, the technical arguments…
We define a generalized likelihood function based on uncertainty measures and show that maximizing such a likelihood function for different measures induces different types of classifiers. In the probabilistic framework, we obtain…
We introduce the framework of modular inflation with level structure, generalizing the level one theory considered previously to higher levels. We analyze the modular structure of CMB observables in this framework and show that the…
We explore in depth how categorical data can be processed with embeddings in the context of claim severity modeling. We develop several models that range in complexity from simple neural networks to state-of-the-art attention based…
Every $(\infty, n)$-category can be approximated by its tower of homotopy $(m, n)$-categories. In this paper, we prove that the successive stages of this tower are classified by k-invariants, analogously to the classical Postnikov tower for…
This manuscript was written for the Proceedings of the ICRA 2022 in Buenos Aires. It can be divided into four parts: The first part is an introduction to the theory of monomorphism categories, including a short survey on some representation…
This paper is the second in a series of two papers about generalizing Quillen's Theorem A to strict $\infty$-categories. In the first one, we presented a proof of this Theorem A of a simplicial nature, direct but somewhat ad hoc. In the…
We outline the theory of reflections for prederivators, derivators and stable derivators. In order to parallel the classical theory valid for categories, we outline how reflections can be equivalently described as categories of fractions,…
We provide an $(\infty,n)$-categorical version of the straightening-unstraightening construction, asserting an equivalence between the $(\infty,n)$-category of double $(\infty,n-1)$-right fibrations over an $(\infty,n)$-category…
We invent a new cohomology theory for Lie triple algebras. Using this cohomology, we introduce the notions of 2-term $L_\infty$-triple algebras and Lie triple 2-algebras. We prove that the category of 2-term $L_\infty$-triple algebras is…
We argue that various braid group actions on triangulated categories should be extended to projective actions of the category of braid cobordisms and illustrate how this works in examples. We also construct actions of both the affine braid…
We extend the Quillen Theorem Bn for homotopy fibers of Dwyer, et al. to similar results for homotopy pullbacks and note that these results imply similar results for zigzags in the categories of relative categories and k-relative…