- Home
- » Tags
- » Closed category
Top View
- Every Elementary Higher Topos Has a Natural Number Object
- 1. Symmetric Monoidal Categories and Enriched Categories in Practice, Categories Come in Nature with More Structure Than Just Sets of Morphisms
- Analysis and Enriched Category Theory
- An Introduction to Topos Theory
- Category Theory Lecture Notes
- Categories and Functors (Lecture Notes for Midlands Graduate School, 2013)
- Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories
- Pivotal Objects in Monoidal Categories and Their Hopf Monads
- A Few Comments About Monoidal Categories
- Cosmoi of Internal Categories by Ross Street
- Exponentials
- Arxiv:1805.03805V2 [Math.CT] 5 Sep 2018 1.41
- Closed Structures on Reflective Subcategories of the Category of Topological Spaces
- Cartesian Closed Concrete Categories Cahiers De Topologie Et Géométrie Différentielle Catégoriques, Tome 24, No 1 (1983), P
- Relative Symmetric Monoidal Closed Categories I: Autoenrichment and Change of Base
- COLIMITS in TOPOI Given a Cartesian Closed Category E with Subobject
- Basic Concepts of Enriched Category Theory
- Cartesian Closed Categories Andrea Schalk · November 16, 2010
- Basic Concepts of Enriched Category Theory
- We Realized the Inconsistency of Fixpoints with Coproducts
- Part 4 (Products, Coproducts and Exponentials)
- Multiple Functors. II. the Monoidal Closed Category of Multiple Categories Cahiers De Topologie Et Géométrie Différentielle Catégoriques, Tome 19, No 3 (1978), P
- Closed Categories, Lax Limits and Homotopy Limits
- An Introduction to Category Theory (And a Little Bit of Algebraic Topology)
- Ideals of Closed Categories*
- A CLOSED CATEGORY of REFLEXIVE TOPOLOGICAL ABELIAN GROUPS by Michael BARR
- Cat Is Weakly Cartesian Closed, And, finally, Thanks to Theorem 1.1, That the Exact Completion of (T,V )-Cat Is Cartesian Closed
- Cartesian Closed Categories CCC
- A NOTE on ENRICHED CATEGORIES 1. Introduction in 1973, Lawvere Popularized Enriched Categories by Means of Generalized Metric Sp
- Topos Theory Notes: Cartesian Closed Categories and Subobject Classifiers
- Internal Enriched Categories
- On Traced Monoidal Closed Categories
- Locally Cartesian Closed Categories and Type Theory by R
- CLOSED CATEGORIES VS. CLOSED MULTICATEGORIES 1. Introduction
- A Categorical Approach to Internality 3
- Arxiv:1505.01669V2 [Math.CT] 9 Jan 2016 H Olo Hsnt,Te,I Ogv Temie Ro Of: Proof Streamlined a Give to 2
- Multiple Functors. III. the Cartesian Closed Category Catn
- UNIVERSAL ALGEBRA in a CLOSED CATEGORY 1. Introduction
- A Gentle Introduction to Category Theory
- Flexible Limits for 2-Categories
- Modality Via Iterated Enrichment
- Cartesian Closed 2-Categories and Permutation Equivalence in Higher-Order Rewriting
- A Sequent Calculus for Compact Closed Categories
- Arxiv:1806.02524V4 [Math.CT]
- Introduction to CATEGORY THEORY and CATEGORICAL LOGIC