Pages that link to "Item:Q3677911"
From MaRDI portal
The following pages link to Fibered categories and the foundations of naive category theory (Q3677911):
Displayed 33 items.
- On completeness of locally-internal categories (Q1094523) (← links)
- A small complete category (Q1112159) (← links)
- Conceptual completeness for first-order intuitionistic logic: An application of categorical logic (Q1115868) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- Change of base for measure spaces (Q1295525) (← links)
- Some properties of Fib as a fibred \(2\)-category (Q1295672) (← links)
- Orbits and monoids in a topos (Q1318786) (← links)
- Proper maps of locales (Q1318788) (← links)
- Term graph rewriting and garbage collection using opfibrations (Q1331928) (← links)
- Facets of descent. I (Q1332450) (← links)
- Functorial theory of parameterized specifications in a general specification framework (Q1346622) (← links)
- On the semantics of the universal quantifier (Q1371430) (← links)
- Wellfounded trees in categories (Q1577483) (← links)
- Category theory and the foundations of mathematics: philosophical excavations. (Q1578766) (← links)
- Descent theory of locally internal categories (Q1588061) (← links)
- The MacLane problem on set-theoretical foundations for the category theory (Q1592189) (← links)
- The calculus of ends over a base topos (Q1824682) (← links)
- On completeness and cocompleteness in and around small categories (Q1896485) (← links)
- Avoiding the axiom of choice in general category theory (Q1917386) (← links)
- Containers: Constructing strictly positive types (Q2566024) (← links)
- A compositional proof system on a category of labelled transition systems (Q2640340) (← links)
- Yoneda structures from 2-toposes (Q2643608) (← links)
- (Q3693678) (← links)
- (Q4322435) (← links)
- A category-theoretic account of program modules (Q4713399) (← links)
- Functional completeness of the free locally Cartesian closed category and interpretations of Martin-Löf's theory of dependent types (Q4715672) (← links)
- Categorie variabili (Q4732602) (← links)
- A remark on the theory of semi-functors (Q4847309) (← links)
- Fibrations and recursivity (Q4850324) (← links)
- Equivalences between logics and their representing type theories (Q4862761) (← links)
- Distribution algebras and duality (Q5927533) (← links)
- From coherent structures to universal properties (Q5954120) (← links)