DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» FinSet
FinSet
Categorification and (Virtual) Knots
Category Theory Course
A Concrete Introduction to Category Theory
Category Theory
Arxiv:1901.03613V2 [Math.GR] 17 Jan 2019 the first of Which Only Modifies the Left Coordinate, the Second the Right Coordi- Nate and the Third the Left Coordinate
Basic Category Theory
Steps Into Categorification
Groupoids and Categorification in Physics
Props in Network Theory
Category Theory: a Gentle Introduction
A Category Theory Approach to Conceptual Data Modeling Informatique Théorique Et Applications, Tome 30, No 1 (1996), P
PARTIAL TOPOSES 1. Partial Toposes
Open Systems for the Working Mathematician
A RECIPE for BLACK BOX FUNCTORS 1. Introduction
Notes the Symmetric Monoidal Functor Ordσ → C That Classifies A
Chapter 3 Category Theory
Lecture Notes on Category Theory
Category Theory Lecture Notes
Top View
Arxiv:Math.QA/0004133 V1 20 Apr 2000
Corelations Are the Prop for Extraspecial Commutative
Knot Theory and Categorification
[Math.QA] 20 Apr 2000
Categories, Functors, and Equivalences
A Glimpse of the World of Topos Theory
The Mathematics of Networks
Category Theory Notes
Homework #2 Due Wednesday February 15, 9:00Am
Bundle Theory for Categories
Arxiv:Math/9802029V1
Relations Via Pushout
A Gillet-Waldhausen Theorem for Chain Complexes of Sets
Set Theories Through Ordinary Mathematics
18.S097 Applied Category Theory. Textbook Chapter 3: Databases
Arxiv:2101.09363V2 [Math.CT] 29 Jun 2021 Htoe Ytm R Ieymdlduigcsas[ Cospans Using Modeled Nicely Are Systems Open That Esdsrb O H Nefcsaeicue Ntesystem
1 Categories
Category Theory for Computer Science
Finite Vector Spaces As Model of Simply-Typed Lambda-Calculi
Arxiv:1505.01669V2 [Math.CT] 9 Jan 2016 H Olo Hsnt,Te,I Ogv Temie Ro Of: Proof Streamlined a Give to 2
Introductory Categorification
Codensity and the Ultrafilter Monad
Topos Theory and the Connections Between Category and Set Theory
Arxiv:1406.3973V1 [Math.RT] 16 Jun 2014 Ymti Efajithp Aeois8 Categories Hopf Self-Adjoint Symmetric 2 Introduction 1 Contents
STRUCTURED Vs DECORATED COSPANS
A Linear/Producer/Consumer Model of Classical Linear Logic
Euler Characteristics of Colimits
Descent & Univalence
Ultrafilters, Finite Coproducts and Locally Connected Classifying Toposes
Natural Numbers Objects and Quasitoposes
Orion.Math.Iastate.Edu/Jdhsmith
A Trace on Finset
Categorification and (Virtual) Knots
What Is … a Topos?
2021 ACT Quantaloidal Approach