English
Related papers

Related papers: A Very Elementary Introduction to Sheaves

200 papers

The purpose of this paper is to give an introduction to the field of Schema Theory written by a mathematician and for mathematicians. In particular, we endeavor to to highlight areas of the field which might be of interest to a…

Neural and Evolutionary Computing · Computer Science 2021-09-01 David White

This note is a part of the lecture notes of a graduate student algebraic geometry seminar held at the department of mathematics in National Taiwan Normal University, 2020 Falls. It aims to introduce an example of sheaves defined on posets…

Algebraic Geometry · Mathematics 2020-10-28 Chuan-Shen Hu

This paper makes contributions to ``pure'' sheaf model theory, the part of model theory in which the models are sheaves over a complete Heyting algebra. We start by outlining the theory in a way we hope is readable for the non-specialist.…

Logic · Mathematics 2026-02-10 Andreas Brunner , Charles Morgan , Darllan Conceição Pinto

Defining cellular sheaves beyond graph structures, such as on simplicial complexes containing higher-dimensional simplices, is an essential and intriguing topic in topological data analysis (TDA) and the development of sheaf neural…

Algebraic Topology · Mathematics 2025-07-02 Chuan-Shen Hu

Motivated by efforts to incorporate sheaves into networking, we seek to reinterpret pathfinding algorithms in terms of cellular sheaves, using Dijkstra's algorithm as an example. We construct sheaves on a graph with distinguished source and…

Networking and Internet Architecture · Computer Science 2020-12-14 Michael Moy , Robert Cardona , Robert Green , Jacob Cleveland , Alan Hylton , Robert Short

This chapter explores dynamical structural equation models (DSEMs) and their nonlinear generalizations into sheaves of dynamical systems. It demonstrates these two disciplines on part of the food web in the Bering Sea. The translation from…

Algebraic Topology · Mathematics 2025-11-07 Michael Robinson , Michael L. Szulczewski , James T. Thorson

The aim of this paper is to give a unifying description of various constructions (subanalytic, semialgebraic, o-minimal site) using the notion of T-topology. We then study the category of T-sheaves.

Algebraic Geometry · Mathematics 2016-09-02 Mario J. Edmundo , Luca Prelli

Knowledge graph embedding involves learning representations of entities -- the vertices of the graph -- and relations -- the edges of the graph -- such that the resulting representations encode the known factual information represented by…

Machine Learning · Computer Science 2023-03-21 Thomas Gebhart , Jakob Hansen , Paul Schrater

This short expository text is for readers who are confident in basic category theory but know little or nothing about toposes. It is based on some impromptu talks given to a small group of category theorists.

Category Theory · Mathematics 2011-06-29 Tom Leinster

In this paper, we introduce a new definition of sheaves on semicartesian quantales, providing first examples and categorical properties. We note that our sheaves are similar to the standard definition of a sheaf on a locale, however, we…

Category Theory · Mathematics 2023-10-17 Ana Luiza Tenório , Caio de Andrade Mendes , Hugo Luiz Mariano

[Taken from the "README" in the book] My goal with this book is to provide some kind of bridge for mathematics between the high-school-level and college-level for physics students. From my perspective, our job as physicists is to observe…

Physics Education · Physics 2018-05-31 William J. Meese

Sampling theory has traditionally drawn tools from functional and complex analysis. Past successes, such as the Shannon-Nyquist theorem and recent advances in frame theory, have relied heavily on the application of geometry and analysis.…

Algebraic Topology · Mathematics 2014-05-05 Michael Robinson

Higher-order relations are widespread in nature, with numerous phenomena involving complex interactions that extend beyond simple pairwise connections. As a result, advancements in higher-order processing can accelerate the growth of…

Machine Learning · Computer Science 2025-06-23 Iulia Duta , Giulia Cassarà , Fabrizio Silvestri , Pietro Liò

This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…

Logic · Mathematics 2014-02-26 Benno van den Berg , Ieke Moerdijk

A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as `machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time. Special…

Category Theory · Mathematics 2019-03-18 Patrick Schultz , David I. Spivak , Christina Vasilakopoulou

The paper is a naive introduction to descriptive set theory. It is aimed mathematicians without a background in logic. The goal is to provide the basic facts used for applications of descriptive set theory to other areas of mathematics,…

Logic · Mathematics 2021-10-19 Matthew Foreman

To most mathematicians and computer scientists the word ``tree'' conjures up, in addition to the usual image, the image of a connected graph with no circuits. In the last few years various types of trees have been the subject of much…

Group Theory · Mathematics 2016-09-06 John W. Morgan

In this paper, we investigate a sheaf-theoretic interpretation of stratification learning from geometric and topological perspectives. Our main result is the construction of stratification learning algorithms framed in terms of a sheaf on a…

Computational Geometry · Computer Science 2020-06-12 Adam Brown , Bei Wang

This book collects the lectures about graph theory and its applications which were given to students of mathematical departments of Moscow State University and Peking University. Graph theory is a very wide field with a lot of applications…

Social and Information Networks · Computer Science 2024-10-15 Mikhail Tuzhilin , Dong Zhang

A brief synopsis of recent conceptions and results, the current status and future outlook of our research program of applying sheaf and topos-theoretic ideas to quantum gravity and quantum logic is presented.

General Relativity and Quantum Cosmology · Physics 2007-05-23 Ioannis Raptis