Related papers: Notes on Clans and Tribes
We construct a left semi-model structure on the category of intensional type theories (precisely, on $\mathrm{CxlCat_{Id,1,\Sigma(,\Pi_{ext})}}$). This presents an $\infty$-category of such type theories; we show moreover that there is an…
The aim of the present paper is to provide a comprehensive introduction to some algebraic and geometric aspects of real representations of compact Lie groups, as well as some results concerning isotropy strata and restriction of invariants.
In this note, we consider models in $\mathbb C^2$. The purpose of this note is twofold. We first show a characterization of models in $\mathbb C^2$ by their noncompact automorphism groups. Then we give an explicit description for…
The main goal of this note is to provide a new proof of a classical result about projectivities between finite abelian groups. It is based on the concept of fundamental group lattice, studied in our previous papers \cite{8} and \cite{9}. A…
Label-efficient time series representation learning, which aims to learn effective representations with limited labeled data, is crucial for deploying deep learning models in real-world applications. To address the scarcity of labeled time…
This note contains additions to the paper 'Clustered cell decomposition in P-minimal structures' (arXiv:1612.02683). We discuss a question which was raised in that paper, on the order of clustered cells. We also consider a notion of cells…
We bring a linkage from representation theory of Lie groups to homotopy theory for maps between flag manifolds. As applications we derive from representation theory abundant families of homotopy classes of maps between flag manifolds whose…
The note complements topological aspects of the theory of chiral algebras.
In this note, we describe a family of particular algebraic, and nonquadratic, power series over an arbitrary finite field of characteristic 2, having a continued fraction expansion with all partial quotients of degree one. The main purpose…
The notion of the \emph{homotopy type} of a topological stack has been around in the literature for some time. The basic idea is that an atlas $X \to \mathfrak{X}$ of a stack determines a topological groupoid $\mathbb{X}$ with object space…
The purpose of these lecture notes is to give a quick and introductory overview of holographic superconductors. Besides the actual description of the standard holographic superconductor, attention is paid to the motivations and the relation…
Recent years have witnessed fast developments of graph neural networks (GNNs) that have benefited myriad graph analytic tasks and applications. Most GNNs rely on the homophily assumption that nodes belonging to the same class are more…
We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of…
This book is an account of certain topics in general and algebraic topology. Instead of laying out a synopsis of each chapter, here is a sample of some of what is taken up: 1) Nilpotency and its role in homotopy theory. 2) Bousfield's…
The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toen's schematic homotopy types over any field k of characteristic zero. New features…
This document is the first iteration of an attempt to collate information about small-rank groups of Lie type over small fields, and their representation theory over the defining field. This information is important in the author's work on…
We give an overview of differential cohomology from a modern, homotopy-theoretic perspective in terms of sheaves on manifolds. Although modern techniques are used, we base our discussion in the classical precursors to this modern approach,…
These are the lecture notes for the introductory graduate course I taught at Yale during Spring 2007. I mostly followed [GS], [BGV], [AB], [Par2], and there are no original results in these notes.
Crossings of knot diagrams can be divided into classes (tribes) compatible with Reidemeister moves. Tribes can be considered as localization of the notion of weak chord index introduced by M. Xu. In the article we describe tribes of…
Using dependent type theory to formalise the syntax of dependent type theory is a very active topic of study and goes under the name of "type theory eating itself" or "type theory in type theory." Most approaches are at least loosely based…