タグ

ブックマーク / ncatlab.org (2)

  • category in nLab

    This page is about the concept in mathematics. For the concept of the same name in philosophy see at category (philosophy). Context Category theory Idea A category consists of a collection of things and binary relationships (or transitions) between them, such that these relationships can be combined and include the “identity” relationship “is the same as.” A category is a quiver (a directed graph

  • nLab

    This is a wiki for collaborative work on Mathematics, Physics, and Philosophy — especially (but far from exclusively) from the higher structures point of view: with a sympathy towards the tools and perspectives of homotopy theory/algebraic topology, homotopy type theory, higher category theory and higher categorical algebra. Contents Purpose The nLab records and explores a wide range of mathematic

  • 1