<--- Back to Details
First PageDocument Content
Abstract algebra / Algebra / Mathematics / Homotopy theory / Sheaf theory / Category theory / Functors / Algebraic topology / Simplicial presheaf / Model category / Sheaf / Simplicial set
Date: 2014-07-13 07:29:15
Abstract algebra
Algebra
Mathematics
Homotopy theory
Sheaf theory
Category theory
Functors
Algebraic topology
Simplicial presheaf
Model category
Sheaf
Simplicial set

245 Doc. Math. J. DMV Boolean Localization, in Practice

Add to Reading List

Source URL: documenta.sagemath.org

Download Document from Source Website

File Size: 296,74 KB

Share Document on Facebook

Similar Documents

Lambda calculus / Theoretical computer science / Mathematical logic / Declarative programming / Adjoint functors / Anonymous function / Type theory / Lambda lifting

Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University

DocID: 1xVdS - View Document

Noah Snyder: Research Statement Quantum Algebra and Quantum Topology I work in an area at the intersection of representation theory, low-dimensional topology, higher category theory, and operator algebras which is often

DocID: 1uTPa - View Document

Category Theory 1 Categories and functors This is to accompany the reading of 1–7 October and the lecture of 8 October. Please report mistakes and obscurities to . Some questions on these shee

DocID: 1uaiD - View Document

Category Theory in Context Emily Riehl Chapter 6 is adapted with permission from Chapter 1 of Categorical Homotopy Theory, by Emily Riehl, Cambridge University Press. © Emily Riehl 2014

DocID: 1tYcG - View Document

CAT axioms CAT001-0.ax Category theory axioms defined(x, y) ⇒ x · y=x ◦ y cnf(closure of composition, axiom) x · y=z ⇒ defined(x, y) cnf(associative property1 , axiom)

DocID: 1tTwQ - View Document