Related papers: Yoneda representations of flat functors and classi…
We give a categorification of the notion of a mathematical structure originally given by Bourbaki in their set theory textbook. We show that any isomorphism-invariant property of a finite structure can be computed by counting the number of…
Riehl and Shulman introduced simplicial type theory (STT), a variant of homotopy type theory which aimed to study not just homotopy theory, but its fusion with category theory: $(\infty,1)$-category theory. While notoriously technical,…
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…
The notion of a natural model of type theory is defined in terms of that of a representable natural transfomation of presheaves. It is shown that such models agree exactly with the concept of a category with families in the sense of Dybjer,…
We study the construction of tensor products of representations up to homotopy, which are the A-infinity version of ordinary representations. We provide formulas for the construction of tensor products of representations up to homotopy and…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
We define an elementary $\infty$-topos that simultaneously generalizes an elementary topos and Grothendieck $\infty$-topos. We then prove it satisfies the expected topos theoretic properties, such as descent, local Cartesian closure,…
We introduce the Pythagorean C*-algebras and use the category/functor method to construct unitary representations of Thompson's groups from representations of them. We calculate several examples.
The main aim of the present work is to arrive at a mathematical theory close to the historically original conception of generalized functions, i.e. set theoretical functions defined on, and with values in, a suitable ring of scalars and…
We give a natural-deduction-style type theory for symmetric monoidal categories whose judgmental structure directly represents morphisms with tensor products in their codomain as well as their domain. The syntax is inspired by Sweedler…
We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We…
We describe a procedure for constructing morphisms in additive categories, combining Auslander's concept of a morphism determined by an object with the existence of flat covers. Also, we show how flat covers are turned into projective…
We provide an explicit construction of Hopf categories associated to comonoidal functors, generalizing \v{S}evera's construction of Hopf monoids through M-adapted functors. We discuss the example of the Hopf category whose underlying class…
We extend Homotopy Type Theory with a novel modality that is simultaneously a monad and a comonad. Because this modality induces a non-trivial endomap on every type, it requires a more intricate judgemental structure than previous modal…
Topos theory is a category-theoretic axiomatization of set theory. Model categories are a category-theoretical framework for abstract homotopy theory. They are complete and cocomplete categories endowed with three classes of morphisms…
Let $\mathcal{A}$ be a essentially small abelian category and $\mathcal{C}$ be a Serre subcategory of $\mathcal{A}$. Consider the quotient functor $q:\mathcal{A}\rightarrow \mathcal{A}/\mathcal{C}$. For an object $A\in \mathcal{A}$ and a…
Whereas formal category theory is classically considered within a $2$-category, in this paper a double-dimensional approach is taken. More precisely we develop such theory within the setting of augmented virtual double categories, a notion…
We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (resp. connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple…
We continue our work on understanding Howe correspondences by using theta representations from p-adic groups to compact groups. We prove some results for unitary theta representations of compact groups with respect to the induction and…
A noetherian form is an abstract self-dual framework suitable for establishing homomorphism theorems (such as the isomorphism theorems and homological diagram lemmas) for group-like structures. In this paper we identify and carry out an…