Difference between revisions of "Category:Category Theory"
Jump to navigation
Jump to search
(previous page) (next page)
| Line 7: | Line 7: | ||
|start at end=no | |start at end=no | ||
|timelinebands=DAY, MONTH, YEAR | |timelinebands=DAY, MONTH, YEAR | ||
|format= | |format=eventline | ||
}} | }} | ||
[[Category:Mathematics]] | [[Category:Mathematics]] | ||
[[Category:Meta Mathematics]] | [[Category:Meta Mathematics]] | ||
Revision as of 06:35, 8 June 2022
See Category Theory
Subcategories
This category has the following 14 subcategories, out of 14 total.
A
- Applied Category Theory (6 P)
C
- Category (empty)
- Compositionality (7 P)
K
- Kan Extension (13 P)
M
- Mathematical semantics (2 P)
Q
R
- Representable Functor (1 P)
T
- Topos Institute (2 P)
Pages in category "Category Theory"
The following 200 pages are in this category, out of 259 total.
(previous page) (next page)A
B
- Bartosz Milewski
- Book/A Compositional Framework for Passive Linear Networks
- Book/Axiomatic design
- Book/Axiomatic design and fabrication of composite structures
- Book/Categories for the Working Mathematician
- Book/CATEGORIES TYPES AND STRUCTURES
- Book/Category Theory for Programmers
- Book/Category Theory for the Sciences
- Book/Complexity-theory and applications
- Book/Conceptual Mathematics
- Book/Conceptual Mathematics/OnSymmetries
- Book/New Structures for Physics
- Book/Seven Sketches in Compositionality
- Book/What is Applied Category Theory
- Brendan Fong
C
L
M
P
- Paper/A category theory explanation for systematicity: Universal constructions
- Paper/A Characterization of Entropy in Terms of Information Loss
- Paper/A survey of graphical languages for monoidal categories
- Paper/Algebra of Systems
- Paper/Behavioral Mereology (Proofs and Properties)
- Paper/Categorical Data Structures for Technical Computing
- Paper/Combinatorial Route to Algebra: The Art of Composition & Decomposition
- Paper/Evaluating the Pixel Array Method as Applied to Partial Differential Equations
- Paper/General Theory of Natural Equivalences
- Paper/Geometrical Networks Higher-Dimensional Models of Networks and Databases
- Paper/Graphical Regular Logic
- Paper/Higher-Dimensional Models of Networks
- Paper/Infinity Category Theory Offers a Bird’s-Eye View of Mathematics
- Paper/Intertwined Recursion Tree Transformations and Linear Systems
- Paper/Linguistics Using Category Theory
- Paper/Physics, Topology, Logic and Computation: A Rosetta Stone
- Paper/Pixel Arrays: A fast and elementary method for solving nonlinear systems
- Paper/Renyi Entropy and Free Energy
- Paper/Simplicial Databases
- Paper/The Geometry of Tensor Calculus I
- Paper/The Geometry of Tensor Calculus II
- Paper/The Mathematical Specification of the Statebox Language
- Paper/Time, Clocks, and the Ordering of Events in a Distributed System
- Paper/When is one thing equal to some other thing?
Q
S
T
V
- Video/27 Unhelpful Facts About Category Theory
- Video/A brief course on the history of mathematics
- Video/A Crash Course in Category Theory - Bartosz Milewski
- Video/A crash course in topos theory
- Video/A monad is a monoid in the category of endofunctors. Whats the problem?
- Video/A New Perspective of Entropy
- Video/A Sensible Introduction to Category Theory
- Video/ACT@UCR Seminar: The Pi Calculus - Christian Williams
- Video/Adjunctions in Everyday Life - Rúnar Bjarnason
- Video/Alchemy For the Modern Computer Scientist - Erik Meijer
- Video/Aleks Kissinger: "A categorical semantics for causal structure"
- Video/An Introduction to Categories with Haskell and Databases - Ryan Holbrook: OKC FP
- Video/An introduction to vectors and dual vectors
- Video/An Intuitive Introduction to Monads in Under 10 Minutes
- Video/Arkor - The formal theory of theories
- Video/Axiomatization as conceptual design
- Video/Biology as Information Dynamics
- Video/Bob Coecke, From Quantum Linguistics to Spacetime Linguistics, and Cognition
- Video/Bob Coecke: From quantum processes to cognition via pictures
- Video/Bob Coecke: Quantum Natural Language Processing on Near-Term Quantum Computers
- Video/Bourbaki, Categories and Structuralism, Jean Pierre Marquis
- Video/Categorical Logic 1 Beyond PL
- Video/Categorical views of regular, coherent, and geometric logic: from classical to wiring-theoretic
- Video/Categories 5 Limits and colimits
- Video/Categories 6 Monoidal categories
- Video/Categories for AI 1: Why Category Theory? By Bruno Gavranović
- Video/Category Theory For Beginners: Graphs And Dynamical Systems
- Video/Category Theory For Beginners: Kan Extensions
- Video/Category Theory For Beginners:Adjoint Functors
- Video/Category theory for JavaScript programmers - 27:string diagrams
- Video/Category Theory for Programmers
- Video/Category Theory for the Working Hacker by Philip Wadler
- Video/Category Theory II 5.2: Adjunctions
- Video/Category Theory Part 1 of 3: Categories
- Video/Category Theory Part 2 of 3: Functors
- Video/Category Theory Part 3 of 3: Universal Properties
- Video/Category Theory, The essence of interface-based design
- Video/Category Theory: An Introduction to Abstract Nonsense
- Video/Category Theory: The Yoneda Lemma and Cayley's Theorem
- Video/Cats4AI talk: Dynamic organizational systems: from deep learning to prediction markets, David Spivak
- Video/Composable application architecture with reasonably priced monads
- Video/Compositional Intelligence
- Video/Concepts of category theory in 3D
- Video/Daniel Beskin - Category Theory as a Tool for Thought - Lambda Days 2020
- Video/Daniel Beskin- Category Theory as a Tool for Thought- λC 2019
- Video/David Spivak: Categorical Databases
- Video/Don't fear the Monad
- Video/Douglas Hofstadter: The Nature of Categories and Concepts
- Video/Emily Riehl on Topology, Categories, and the Future of Mathematics
- Video/enjoy your lattice
- Video/Evan Patterson: Structured and Decorated Cospans from the Viewpoint of Double Category Theory
- Video/Every Thing Must Go - Metaphysics Naturalised: James Ladyman
- Video/F. William Lawvere - Dialectic of the Continuous and Discrete
- Video/First Italian School on Geometric Deep Learning - Pescara 2022
- Video/Foundations of Programming Languages: Typed and Untyped Lambda-Calculus - Paul Downen - OPLSS 2018
- Video/From an Exponentiation Rule to Universal Properties
- Video/From Scratch to Univalence - SoME2
- Video/Functors Are Not Boxes - Functional Programming Nuggets
- Video/Garnet Chan: Simulating quantum systems on classical computers
- Video/Giuseppe Rosolini: Equality is Coalgebraic
- Video/How Quantum Theory Can Help Understanding Natural Language
- Video/Intro to Category Theory
- Video/Intro to Category Theory I: the Data of a Category
- Video/Intro to Category Theory II: Elementary Examples
- Video/Intro to Category Theory III: More Mathematical Examples
- Video/Intro to Category Theory IV: A Notion of Equivalence
- Video/Intuitive Introduction to Category Theory
- Video/Jacques Carette: "What I learned from formalizing Category Theory in Agda"
- Video/James Hefford and Vincent Wang: Categories of Semantic Concepts
- Video/Jim Keller: Abstraction Layers from the Atom to the Data Center
- Video/John Baez - Categories: the Mathematics of Connection - IPAM at UCLA
- Video/Kan Extensions
- Video/Kan Extensions and Kan Lifts, Part 2
- Video/Kan extensions are partial colimits, Paolo Perrone, 11/02/2021
- Video/Kan Lifts and Kan Extensions, part 1
- Video/Kris Brown: Combinatorial Representation of Scientific Knowledge
- Video/Language Modeling with Reduced Densities - Tai-Danae Bradley
- Video/Lattice
- Video/Lattices: from geometry to cryptography - Oded Regev
- Video/Leo McElroy: Making Microworlds: A Framework for Making Sense by Making Things
- Video/Leslie Lamport: Thinking Above the Code
- Video/Mario Román: "Monoidal Streams"
- Video/Monoidal Categories
- Video/Monoids and Categories
- Video/Motivation for a Definition of a Topos
- Video/Nicolas Behr: "Fundamentals of Compositional Rewriting Theory"
- Video/Okay but WTF is a MONAD??????
- Video/Order: For actually learning Category Theory - Functional Programming