Related papers: Category Theory and Higher Dimensional Algebra: po…
Category Theory provides us with a clear notion of what is an internal structure. This will allow us to focus our attention on a certain type of relationship between context and structure.
This is the first draft of a book about higher categories approached by iterating Segal's method, as in Tamsamani's definition of $n$-nerve and Pelissier's thesis. If $M$ is a tractable left proper cartesian model category, we construct a…
In this paper we discuss various philosophical aspects of the hyperstructure concept extending networks and higher categories. By this discussion we hope to pave the way for applications and further developments of the mathematical theory…
We firstly introduce some key concepts in category theory, such as quotient category, completion of limits, $\mathrm{Mor}$ category, and so on; then give the concept of topology algebras and sheaves, and discuss how to restore the structue…
This document is centered around a main idea: simplicial categories, by which we mean simplicial objects in the category of categories, can be treated as a two-fold categorical structure and their double category theory is homotopically…
We define a monoidal semantics for algebraic theories. The basis for the definition is provided by the analysis of the structural rules in the term calculus of algebraic languages. Models are described both explicitly, in a form that…
Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed…
The purpose of this dissertation is to set up a theory of generalized operads and multicategories, and to use it as a language in which to propose a definition of weak n-category. Included is a full explanation of why the proposed…
The study of complex systems through the lens of category theory consistently proves to be a powerful approach. We propose that cognition deserves the same category-theoretic treatment. We show that by considering a highly-compact cognitive…
This thesis develops the translation between category theory and computational linguistics as a foundation for natural language processing. The three chapters deal with syntax, semantics and pragmatics. First, string diagrams provide a…
Categorical supermaps generalise higher-order quantum operations from finite-dimensional quantum theory to arbitrary circuit theories. In this paper, we establish the Yoneda lemma for categorical supermaps, which states that whenever a…
Building on a previous definition of homotopy limit of model categories, we give a definition of homotopy colimit of model categories. Using the complete Segal space model for homotopy theories, we verify that this definition corresponds to…
We show that the category of comodules over a coassociative coalgebra in a complete, cocomplete and well-powered category has limits and colimits under additional assumptions.
The goal of these talks was to explain how cohomology and other tools of algebraic topology are seen through the lens of n-category theory. Special topics include nonabelian cohomology, Postnikov towers, the theory of "n-stuff", and…
A certain amount of category theory is developed in an arbitrary finitely complete category with a factorization system on it, playing the role of the comprehensive factorization system on Cat. Those aspects related to the concepts of…
Despite ample evidence that our concepts, our cognitive architecture, and mathematics itself are all deeply compositional, few models take advantage of this structure. We therefore propose a radically compositional approach to computational…
A restriction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categories of partial maps are restriction categories; conversely, a…
We give an introduction to the topics of our forthcoming work, in which we introduce and study new mathematical objects which we call "higher theories" of algebras, where inspiration for the term comes from William Lawvere's notion of…
We introduce a theory for encoding and manipulating algebraic data on categories via $\textit{concentration structures}$, which are equivalence relations on morphisms that satisfy certain axioms. For any category with a concentration…
We propose a new definition of higher-order DisCoCat (categorical compositional distributional) models where the meaning of a word is not a diagram, but a diagram-valued higher-order function. Our models can be seen as a variant of Montague…