DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Exponential object
Exponential object
Geometric Modality and Weak Exponentials
On the Constructive Elementary Theory of the Category of Sets
The Category of Sheaves Is a Topos Part 2
Categories for Me, and You?
A Profunctorial Scott Semantics Zeinab Galal Université De Paris, IRIF, CNRS, Paris, France
[email protected]
Locally Cartesian Closed Categories, Coalgebras, and Containers
A Type Theory for Cartesian Closed Bicategories
Category Theory
Exponential Objects
Complete Internal Categories
Synthetic Differential Geometry; Second Edition
Category Theory: a Gentle Introduction
Template Games and Differential Linear Logic Paul-André Melliès
Category Theory
Homotopy Type Theory: the Logic of Space
Basic Category Theory (OPLSS 2016)
Compactly Generated Stacks: a Cartesian Closed Theory Of
An Introduction to Topos Theory
Top View
The Homotopy Bicategory of $(\Infty, 1) $-Categories
The Category of Sets
PONTRJAGIN DUALITY Note We Will Be Working Only in Cartesian Closed
Category Theory for Functional Programmers Functors, Natural Transformations, Adjunctions
Categories and Functors (Lecture Notes for Midlands Graduate School, 2013)
Category Theory
Lax Monoidal Fibrations
Categories for Me, and You? Clément Aubert
Preservation of Topological Properties Under Exponentiation
A Glimpse of the World of Topos Theory
Programming with Categories (DRAFT)
The Explanatory Value of Category Theory
Category Theory
Category Theory by Example
Exponential Objects in Categories of Generalized Uniform Hypergraphs
Elements of Elementary Topoi
The Curry-Howard-Isomorphism and Cartesian Closed Categories
CARTESIAN CLOSED ALGEBRAIC CATEGORIES Vijaya L. Gompa
Mapping Spaces and Automorphism Groups of Toric Noncommutative
The Categories of Graphs
Categorifying Non-Idempotent Intersection Types
Arxiv:1806.02524V4 [Math.CT]
Introduction to CATEGORY THEORY and CATEGORICAL LOGIC
Cartesian Closed Categories of Domains
An Introduction to Toposes