scientific article; zbMATH DE number 3779584
From MaRDI portal
Publication:3958646
Cited in
(13)- The algebra of oriented simplexes
- Beck's theorem for pseudo-monads
- Galois theory in symmetric monoidal categories
- Two-dimensional regularity and exactness
- Cauchy characterization of enriched categories
- An Australian conspectus of higher categories
- Bicategorical type theory: semantics and syntax
- Semantics for two-dimensional type theory
- Bi-accessible and bipresentable 2-categories
- Étale dévissage, descent and pushouts of stacks
- Internal 1-topoi in 2-topoi
- Fibrational approach to grandis exactness for 2-categories
- 2-classifiers via dense generators and Hofmann-Streicher universe in stacks
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3958646)