Inter-Categorical Subobject Analysis HX63A1PH1W

URI	`m2://res/HX63A1PH1W`
Kind	preprint
Creators	Alexander Prähauser
Date	2026-10-07
MSC	18-XX, 54-XX
Subjects	arxiv math.CT, arxiv math.GN
Scope	in

Expressions

e1: version, preprint

Language	en
Date	2026-10-07
Ids	arXiv 2610.10930, zbl_id 903203476

Items in this resource

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
100RHQ1PYQ	example	example 4.28	arxiv
10N5ATE6JS	definition	definition 6.1	arxiv
Strict 2-functor	definition	definition 8.3	arxiv
1GYKFJ8PDE	statement	fact 3.10	arxiv
1N7V59HM86	example	example 3.24	arxiv
1SQVPBY220	statement	corollary 4.20	arxiv
1WCXWGP6DQ	example	example 6.18	arxiv
Reflection of satedness via dense envelopes	statement	proposition 5.47	arxiv
2NZGVKVHJ1	statement	lemma 8.21	arxiv
2QEFJEKGP3	statement	proposition 5.30	arxiv
2SWH6BT3XF	definition	definition 3.36	arxiv
Monadic category	definition	definition 3.27	arxiv
2WZZBR2K4N	definition	definition 3.51	arxiv
36RVJPFG7H	example	example 4.35	arxiv
37PH35XWHG	example	example 4.15	arxiv
39DQFZ8QV5	definition	definition 7.32	arxiv
3DJV1TYBXE	example	example 7.10	arxiv
3KE5CFRDF3	example	example 3.9	arxiv
3QWNQDYTF4	definition	definition 4.16	arxiv
3VJDMTZPS2	example	example 3.44	arxiv
3YV2J3G7Q4	counterexample	counterexample 5.39	arxiv
4TKKC9N6AY	statement	lemma 8.30	arxiv
4VVJ9EWE37	example	example 3.57	arxiv
4X2XWVCKW2	statement	theorem 8.40	arxiv
4ZZMFFMFW8	example	example 7.31	arxiv
57TA17KNN0	statement	lemma 3.39	arxiv
5VQCBD1WJT	example	example 4.32	arxiv
5XXPB4V285	example	example 8.19	arxiv
68F7Z74ZYX	definition	definition 5.4	arxiv
6A2GMFJ1C0	example	example 4.27	arxiv
6DTYSMXE3Y	statement	proposition 3.37	arxiv
6T28ASARZP	counterexample	counterexample 3.42	arxiv
6YGVJF2AB2	statement	lemma 6.41	arxiv
762G30XDH7	example	example 4.30	arxiv
Disjoint coproduct, monic coprojections	definition	definition 6.15	arxiv
78PEW27C3M	example	example 3.12	arxiv
7DSV6QEJH3	definition	definition 7.9	arxiv
Relative preservation of top-joins	definition	definition 5.18	arxiv
7JV96A0SDQ	example	example 8.34	arxiv
Finitary monad	definition	definition 3.34	arxiv
7NT8B07ERX	definition	definition 8.15	arxiv
85HBZ0KV0W	example	example 7.17	arxiv
869JHWB5GB	statement	lemma 6.44	arxiv
882AW17S89	example	example 7.23	arxiv
Exactness of the kernel pair square	statement	proposition 6.36	arxiv
Lifting of \(a\)-joins	definition	definition 5.13	arxiv
8PX9GT80VM	example	example 6.11	arxiv
Density and satedness for monoid actions	example	example 4.5	arxiv
8ZEDAB98EK	example	example 8.17	arxiv
95G1HVYJ7C	definition	definition 8.16	arxiv
96NYACGG38	definition	definition 5.12	arxiv
9DY41NNY2W	statement	proposition 6.19	arxiv
9RZQ01VRVS	statement	corollary 5.17	arxiv
9SEZA9YTF8	example	example 3.18	arxiv
9XJCSB0HTW	statement	proposition 8.29	arxiv
9Z6KQTSXS4	definition	definition 5.23	arxiv
A1JRH6JNPY	statement	proposition 5.44	arxiv
Preservation of smallness in modular lattices.	statement	lemma 5.40	arxiv
A8Q1V9P4CB	statement	lemma 6.12	arxiv
AB2SFXNDM8	statement	proposition 7.27	arxiv
AE575A9Z08	statement	proposition 8.24	arxiv
AH1S5XFZC4	definition	definition 6.28	arxiv
AHQPBKA54C	statement	corollary 3.15	arxiv
APSSZB7QZW	counterexample	counterexample 4.25	arxiv
Relative lifting of top-joins	definition	definition 5.21	arxiv
B41CMC9BH3	statement	corollary 6.22	arxiv
B6YVQTJ9YR	counterexample	counterexample 6.3	arxiv
BDTWS8GAEA	example	example 4.24	arxiv
BDXR3W1P3A	definition	definition 7.18	arxiv
BMSYAN0E2A	definition	definition 3.85	arxiv
Anchored morphism	definition	definition 3.52	arxiv
Density in a disjoint coproduct	statement	proposition 6.16	arxiv
Coherent functor	definition	definition 6.43	arxiv
Lax comparison for scales	statement	proposition 4.19	arxiv
CNNDXGM4F5	example	example 3.66	arxiv
Regular category	definition	definition 6.25	arxiv
D23Y907C1J	example	example 4.11	arxiv
D4SFZN84ND	example	example 4.4	arxiv
D9GGYY830Y	definition	definition 3.2	arxiv
DBEWMN93M7	definition	definition 7.28	arxiv
DFR94ND5E5	definition	definition 3.8	arxiv
DKSRBF6KY7	example	example 3.75	arxiv
DM247YCBC3	example	example 3.4	arxiv
DM5MFWKVZS	example	example 6.29	arxiv
DNPTFFG27C	example	example 3.72	arxiv
DP2449978E	statement	lemma 3.19	arxiv
DTD64AR6BD	statement	corollary 5.26	arxiv
DXJYB6WZ66	example	example 4.3	arxiv
DYS1565NPR	example	example 3.16	arxiv
Well-definedness of the smallness stratification	statement	proposition 3.83	arxiv
E2JCF7ZV66	example	example 5.7	arxiv
E95BXGWTEC	statement	corollary 6.23	arxiv
E99AX0CEMN	example	example 7.2	arxiv
EB24RCT31T	definition	definition 3.77	arxiv
Algebra of a monad	definition	definition 3.26	arxiv
Coherent category	definition	definition 6.38	arxiv
EQ4GB90NPM	definition	definition 5.36	arxiv
EZT9JTWYGG	example	example 3.29	arxiv
FB6FYRFH5E	example	example 3.69	arxiv
FNPYPE19QD	example	example 4.7	arxiv
FPR8ZTD77B	example	example 7.11	arxiv
FSKJVDTYHP	statement	lemma 3.35	arxiv
G20Q122EBT	example	example 7.6	arxiv
Global relative reflection/preservation of smallness	statement	proposition 5.24	arxiv
G3KX1Q9E6K	definition	definition 6.9	arxiv
Faithful, full and fully faithful functors	definition	definition 3.49	arxiv
GAMG9M3DTE	example	example 4.33	arxiv
GCA1A6Z7F0	statement	proposition 7.24	arxiv
GE7A3TCG0H	example	example 3.84	arxiv
GHXAPNT7EF	statement	proposition 5.38	arxiv
Heyting spaces, preliminary	definition	definition 7.3	arxiv
Cyclic-intersection criterion for density	statement	proposition 3.30	arxiv
Wide subcategories of a category	example	example 3.58	arxiv
HFWG8Y5CE5	example	example 3.79	arxiv
\(\mathbf{SOb}_{\mathcal{C}}\) is faithful when \(\mathcal{C}\) is subobject-separated	statement	proposition 6.6	arxiv
HKTJBP7MKE	statement	corollary 3.14	arxiv
HKVEDHEJM3	statement	lemma 8.9	arxiv
HKW6AHMFTS	example	example 4.14	arxiv
HP4A7ESQZG	statement	proposition 4.8	arxiv
HQK81M068B	example	example 3.23	arxiv
HVKHJQ08BG	definition	definition 7.36	arxiv
J3M9DJTVJ5	definition	definition 3.70	arxiv
JBQVEQ7MXP	statement	proposition 3.80	arxiv
JHFN70RGDE	definition	definition 3.81	arxiv
Diamond-over 2-category \(\mathcal{A}_{◆\mathcal{B}}\	definition	definition 8.27	arxiv
JTN8MCADC0	statement	proposition 4.23	arxiv
JX8QRNC00S	statement	proposition 8.37	arxiv
JZ4AYFQDTD	definition	definition 8.18	arxiv
Smiley-Horn-Tarski Theorem for Left-Cancellative Monoids	statement	theorem 7.38	arxiv
K1B87R7MCT	statement	lemma 8.39	arxiv
K1ZRVF37HB	statement	proposition 7.30	arxiv
K946FH39PQ	definition	definition 5.1	arxiv
KA6R32QYYS	definition	definition 3.11	arxiv
KBQ6KA7E44	definition	definition 3.53	arxiv
KDP536G9SH	definition	definition 3.82	arxiv
KDTNZFQSTQ	example	example 7.5	arxiv
KEC7JAV9X2	statement	proposition 5.34	arxiv
KPWFTMQSDG	example	example 6.2	arxiv
KTKBKZSQA9	statement	theorem 8.10	arxiv
Subobjects of a regular quotient	statement	proposition 6.37	arxiv
KWZJ51F4C7	counterexample	counterexample 5.6	arxiv
KYTMAR9CPV	example	example 5.15	arxiv
KZM9NY2GK4	statement	proposition 3.6	arxiv
Smallness and the Frattini subalgebra	statement	proposition 3.40	arxiv
M1TEQHQ1MT	statement	lemma 8.8	arxiv
M8DX5ATCZ4	definition	definition 7.25	arxiv
M8ZG9DY3KT	example	example 6.10	arxiv
M97FFPQ5TM	definition	definition 8.26	arxiv
Strict 2-natural transformation	definition	definition 8.4	arxiv
MCFVB4R2J0	statement	corollary 5.48	arxiv
MNQ909DRQ0	definition	definition 6.35	arxiv
Elementwise reflection of relative smallness	statement	proposition 5.19	arxiv
N6FXBGSSCA	statement	corollary 6.40	arxiv
NF4XN6SDXN	definition	definition 5.31	arxiv
Finitely generated algebra	definition	definition 3.38	arxiv
P8SYM0AATY	example	example 4.29	arxiv
PGEF6W8HQ0	example	example 3.41	arxiv
Strict 2-category	definition	definition 8.2	arxiv
Q1NB00FGFE	statement	proposition 3.59	arxiv
QAZQWTQ7SN	statement	corollary 5.29	arxiv
QB965FY34D	definition	definition 3.5	arxiv
Density is covariantly preserved by regular epimorphisms	statement	proposition 6.31	arxiv
QJQJ60R5RB	example	example 3.46	arxiv
QPETVNF9CT	statement	corollary 6.24	arxiv
QRKWRN9XQJ	statement	corollary 6.26	arxiv
QS84P5EHBF	definition	definition 3.32	arxiv
QZP6NNQM4M	example	example 7.35	arxiv
Categorial smallness criterion	statement	proposition 3.54	arxiv
R1D5R8B6B4	statement	proposition 5.16	arxiv
R3TTX7TBMJ	statement	proposition 3.33	arxiv
Ideal-top factorization system on \(\mathbf{UBP}\	statement	proposition 5.8	arxiv
Topological manifold with boundary	definition	definition 3.21	arxiv
Strict 2-adjunction	definition	definition 8.5	arxiv
RJDJDJPND9	statement	corollary 6.21	arxiv
RKCYP4K19V	statement	lemma 6.30	arxiv
S5YYHYCC08	definition	definition 4.18	arxiv
S7YK5VYJY5	statement	lemma 6.34	arxiv
S993YJP5GD	statement	proposition 6.45	arxiv
SJHBW2AC3C	statement	corollary 6.33	arxiv
SMMWCKJ78D	statement	lemma 8.38	arxiv
Elementwise preservation of relative smallness	statement	proposition 5.22	arxiv
SYXECNMBMW	example	example 3.7	arxiv
T8HW9FBZAT	definition	definition 4.12	arxiv
T96DBNB3KY	example	example 3.43	arxiv
THK84XGK3C	definition	definition 7.7	arxiv
TJFNKAPW60	example	example 7.34	arxiv
TNWZPGRF8H	definition	definition 8.20	arxiv
Lax comparison for smallness	statement	proposition 4.9	arxiv
TTZVD50H31	example	example 4.36	arxiv
TZ99102K3J	definition	definition 8.31	arxiv
TZTYQCYAT2	definition	definition 7.13	arxiv
V54KNT8VR8	example	example 5.32	arxiv
Satedness restricts to Heyting subspaces	statement	proposition 7.19	arxiv
VBWQSV9Z71	statement	proposition 4.22	arxiv
VHXA90RT86	definition	definition 3.67	arxiv
Reducedness under morphisms in \(\mathbf{UBP}\	statement	proposition 5.42	arxiv
VR44FW63JQ	counterexample	counterexample 5.46	arxiv
VSFK1RTCDA	example	example 3.56	arxiv
W6ZYSZGC5V	definition	definition 7.20	arxiv
Elementwise preservation of smallness	statement	proposition 5.14	arxiv
W8NHJQR6P3	example	example 6.8	arxiv
WCM2BQ92JA	definition	definition 4.1	arxiv
WHA4D1KNSM	definition	definition 6.4	arxiv
WJ0FNSVX38	statement	corollary 5.45	arxiv
WJWCVEQNRP	definition	definition 8.36	arxiv
WTDG3QN3ND	statement	corollary 6.17	arxiv
X2HRPMA4M6	example	example 3.78	arxiv
X69WNS1YDK	example	example 3.73	arxiv
XFHC0JP68J	statement	proposition 3.13	arxiv
XN0Z48Y9EZ	example	example 6.5	arxiv
XN9B2QPPNA	example	example 4.26	arxiv
XV2FTBF06D	example	example 3.48	arxiv
Y1X77JHBAY	definition	definition 7.37	arxiv
YD9D8SB07A	statement	corollary 5.28	arxiv
YFYSQW76W6	definition	definition 3.3	arxiv
YH05CQ0PH5	statement	corollary 6.42	arxiv
YNADGDVTVQ	definition	definition 7.1	arxiv
YWB3VSXC6B	statement	proposition 6.13	arxiv
Z1W5N6XMJX	example	example 7.12	arxiv
Monad	definition	definition 3.25	arxiv
Z4KNBQPDNF	example	example 7.4	arxiv
Lax 2-functor	definition	definition 3.63	arxiv
Z8K7DGHWJX	statement	proposition 3.47	arxiv
ZA8361HY0P	example	example 4.34	arxiv
Extension of Borel-Heyting Measures	statement	proposition 7.39	arxiv
ZF59HXS1H8	example	example 4.31	arxiv
ZG70NNZ13X	definition	definition 7.33	arxiv
ZKNB791EJC	definition	definition 3.64	arxiv
Smallness for faithful subcategories	example	example 3.50	arxiv

Catalogue records

arxiv: 2610.10930 (work)
arxiv_text: 2610.10930 (work)
zbmath_search: 903203476 (work)