Related papers: Presentability and topoi in internal higher catego…
Let $X$ be a $G$-space. In this paper, we introduce the notion of sectional category with respect to $G$. As a result, we obtain $G$-homotopy invariants: the LS category with respect to $G$, the sequential topological complexity with…
To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule…
We outline a definition of accessible and presentable objects in a 2-category $\mathcal K$ endowed with a "KZ context", that is to say a pair of lax-idempotent monads interacting in a prescribed way; this perspective suggests a unified…
We prove that every categorical model of dependent type theory with dependent sums and products, intensional identity types and univalent universes presents via its $\infty$-localisation an elementary $\infty$-topos, that is, a finitely…
We investigate a framework of Krivine realizability with I/O effects, and present a method of associating realizability models to specifications on the I/O behavior of processes, by using adequate interpretations of the central concepts of…
We show that a compact rigid balanced braided monoidal category with enough compact projective objects gives rise to a system of mapping class group representations compatible with the gluing along marked intervals. A motivation to consider…
This paper explores the interplay between category theory, topology, and the algebraic theory of finite groups. Our analysis unfolds in three stages. First, we establish the foundational universe of our objects: the complete and cocomplete…
We consider classes T of topological spaces (referred to as T-spaces) that are stable under continuous images and frequently under arbitrary products. A local T-space has for each point a neighborhood base consisting of subsets that are…
Using the symmetric monoidal closed category structure of the category of measurable spaces, in conjunction with the Giry monad which we show is a strong monad, we analyze Bayesian inference maps and their construction in relation to the…
A $d$-dimensional invertible topological field theory is a functor from the symmetric monoidal $(\infty,n)$-category of $d$-bordisms (embedded into $\mathbb{R}^\infty$ and equipped with a tangential $(X,\xi)$-structure) which lands in the…
We study the problem of when triangulated categories admit unique infinity-categorical enhancements. Our results use Lurie's theory of prestable infinity-categories to give conceptual proofs of, and in many cases strengthen, previous work…
We classify the dualizable localizing ideals of rigidly-compactly generated tt-$\infty$-categories that are cohomologically stratified. By definition, these are the localizing ideals that are dualizable with respect to the Lurie tensor…
Given any pointed CW complex (X,x), it is well known that the fondamental group of X pointed at x is naturally isomorphic to the automorphism group of the functor which associates to a locally constant sheaf on X its fibre at x. The purpose…
In this article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…
We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…
Let $P$ be a poset. We define a new homotopy theory of suitably nice $P$-stratified topological spaces with equivalences on strata and links inverted. We show that the exit-path construction of MacPherson, Treumann, and Lurie defines an…
Homotopy type theory is a new branch of mathematics which merges insights from abstract homotopy theory and higher category theory with those of logic and type theory. It allows us to represent a variety of mathematical objects as basic…
We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and…
What makes two computational systems equivalent? Topos theory answers with classifying toposes: a system's semantic content is encoded in the geometric theory it classifies, and two presentations are equivalent when their classifying…
This is the author's Ph.D. Thesis. It contains results from four years of research into realizability and categorical logic. The main subjects are the axiomatisation of realizable propositions, and a characterization of realizability…