The following pages link to (Q4714248):
Displaying 14 items.
- Fixed points in Cartesian closed categories (Q753945) (← links)
- Partial map classifiers and partial cartesian closed categories (Q1349664) (← links)
- Cartesian closedness in categories with an idempotent closure operator and closed morphisms (Q2118157) (← links)
- (Q3156485) (← links)
- (Q3218277) (← links)
- (Q4006295) (← links)
- (Q4240502) (← links)
- (Q4286320) (← links)
- On the unification problem for Cartesian closed categories (Q4358059) (← links)
- (Q4392101) (← links)
- The category of algebraic L-closure systems (Q4599582) (← links)
- (Q4763290) (← links)
- A STUDY ON THE CARTESIAN CLOSED CATEGORY POSM (Q5016316) (← links)
- An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem (Q5875891) (← links)