The following pages link to Aspects of topoi (Q5665316):
Displayed 50 items.
- Relating first-order set theories, toposes and categories of classes (Q386623) (← links)
- Fixed-point operations on ccc's. I (Q672122) (← links)
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Introduction: A personal tribute to Peter Freyd and Bill Lawvere (Q680307) (← links)
- On the concrete representation of discrete enriched abstract clones (Q680310) (← links)
- A note on inconsistencies caused by fixpoints in a cartesian closed category (Q749648) (← links)
- Categorical and algebraic aspects of Martin-Löf type theory (Q750438) (← links)
- List-arithmetic distributive categories: Locoi (Q752170) (← links)
- Categories of Boolean topoi (Q759091) (← links)
- On conceptual completeness of syntactic-semantical systems (Q798654) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Cartesian differential categories as skew enriched categories (Q825992) (← links)
- A logical approach to stable domains (Q859843) (← links)
- Partial Horn logic and Cartesian categories (Q866572) (← links)
- Coalgebras in a category of classes (Q876384) (← links)
- 2-groups, trialgebras and their Hopf categories of representations (Q881959) (← links)
- Parametrization for order-sorted algebraic specification (Q909448) (← links)
- A generalization of the concept of sketch (Q916772) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- Homomorphisms of higher categories (Q984873) (← links)
- Tensor products and homotopies for \(\omega\)-groupoids and crossed complexes (Q1089958) (← links)
- Generalized algebraic theories and contextual categories (Q1096716) (← links)
- Fuzzy sets and toposes - towards higher order fuzzy logic (Q1097257) (← links)
- Exponentiable morphisms, partial products and pullback complements (Q1112156) (← links)
- A small complete category (Q1112159) (← links)
- Tensor product of functors (Q1134803) (← links)
- Contribution to the study of the natural number object in elementary topoi (Q1136762) (← links)
- Open maps of toposes (Q1139120) (← links)
- From types to sets (Q1140642) (← links)
- Algebraic categories with few monoidal biclosed structures or none (Q1146754) (← links)
- Fuzzy sets: A topos-logical point of view (Q1148901) (← links)
- Modal operators on Heyting algebras (Q1151916) (← links)
- On the algebra of cubes (Q1156392) (← links)
- Pre-recursive categories (Q1164127) (← links)
- Categorical De Morgan laws (Q1164129) (← links)
- Categories, toposes and sets (Q1165303) (← links)
- Abstract Galois theory. II (Q1167806) (← links)
- A survey of fuzzy set and topos theory (Q1175730) (← links)
- A characterization of nuclei in orthomodular and quantic lattices (Q1176707) (← links)
- Projectales (Q1181472) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Toposes without points (Q1212528) (← links)
- A categorical characterization of Boolean algebras (Q1214451) (← links)
- The decision problem for some finite extensions of the intuitionistic theory of abelian groups (Q1217798) (← links)
- Ultrafilters, ultrapowers and finiteness in a topos (Q1223383) (← links)
- Categories (Q1255566) (← links)
- A fibred homotopy equivalence and homology theories for the category of small categories (Q1258110) (← links)
- Laminations, or how to build a quantum-logic-valued model of set theory (Q1258738) (← links)
- Classifying topoi and the axiom of infinity (Q1263664) (← links)
- Left exact presheaves on a small pretopos (Q1295689) (← links)