Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: learning: questions

Topics:

• What is the Rieger–Nishimura lattice (9 messages, latest: Dec 03 2024 at 10:12)
• What Are Categories of Spaces? (33 messages, latest: Dec 03 2024 at 07:46)
• organizing related cones (11 messages, latest: Dec 02 2024 at 19:40)
• Cumulativity (6 messages, latest: Dec 02 2024 at 17:08)
• Are objects just types? (57 messages, latest: Dec 01 2024 at 15:28)
• Basic coq question about Universes. (2 messages, latest: Dec 01 2024 at 10:36)
• have you seen this operation before? (25 messages, latest: Nov 30 2024 at 09:44)
• How to make up categories outside of math? (27 messages, latest: Nov 30 2024 at 09:37)
• On Categorical Logic (272 messages, latest: Nov 29 2024 at 09:24)
• Hints for Leinster's "Basic Category Theory" exercises (239 messages, latest: Nov 28 2024 at 14:07)
• Boolean Networks Categorically (5 messages, latest: Nov 26 2024 at 15:36)
• strange monoids (3 messages, latest: Nov 26 2024 at 04:13)
• Mimicking categorical products in enriched categories (8 messages, latest: Nov 23 2024 at 15:56)
• A parametrized “application” function (3 messages, latest: Nov 23 2024 at 11:54)
• One Space to Rule Them All? (135 messages, latest: Nov 22 2024 at 15:41)
• Homotopy types (37 messages, latest: Nov 21 2024 at 14:18)
• properties, structure, stuff, objects vs morphisms (93 messages, latest: Nov 21 2024 at 02:56)
• labeled graphs (18 messages, latest: Nov 17 2024 at 16:46)
• formalization of partially ordered category? (3 messages, latest: Nov 15 2024 at 22:56)
• when could the localization fail to exist? (5 messages, latest: Nov 15 2024 at 10:22)
• To “induce” (9 messages, latest: Nov 13 2024 at 21:26)
• Commuting Square functions. (12 messages, latest: Nov 13 2024 at 07:34)
• Motivating Sheaves with Locality (99 messages, latest: Nov 11 2024 at 03:55)
• Connection between commutativity and associativity (46 messages, latest: Nov 10 2024 at 17:35)
• definition of an enriched natural transformation (55 messages, latest: Nov 08 2024 at 17:50)
• Locally finite elementary topos (16 messages, latest: Nov 08 2024 at 09:39)
• classifying (∞,1)-topos for nontrivial distributive lattices (8 messages, latest: Nov 07 2024 at 20:11)
• functors between 1-categories and 2-categories (8 messages, latest: Nov 07 2024 at 19:36)
• Did Category Theory catch up? (37 messages, latest: Nov 04 2024 at 15:47)
• Deepening Understanding of Fiber Bundles (603 messages, latest: Nov 01 2024 at 23:22)
• 3-element commutative monoids (40 messages, latest: Nov 01 2024 at 04:15)
• Quantization of symplectic stacks (24 messages, latest: Oct 30 2024 at 23:53)
• "Pure"/"Faithfully Flat" symmetric monoidal (oo-) functors? (5 messages, latest: Oct 30 2024 at 14:35)
• About Natural Isomorphisms (16 messages, latest: Oct 28 2024 at 15:10)
• Definition of Weakly Locally Cartesian Closed (1 message, latest: Oct 25 2024 at 17:25)
• A tensor product of categories? (19 messages, latest: Oct 24 2024 at 21:49)
• motivating "sites" (142 messages, latest: Oct 24 2024 at 19:56)
• Monads and double categories (8 messages, latest: Oct 24 2024 at 18:07)
• "Swapping" Morphisms and Objects (17 messages, latest: Oct 24 2024 at 17:05)
• (co)limits of right adjoints (1 message, latest: Oct 24 2024 at 05:05)
• Universal Mapping properties and Reynold's parametricity (1 message, latest: Oct 22 2024 at 22:02)
• Resolving Equivalence and strictness (38 messages, latest: Oct 22 2024 at 19:57)
• Question about reflector (62 messages, latest: Oct 22 2024 at 16:55)
• Dependent Type Theory vs Polymorphic Type Theory (20 messages, latest: Oct 21 2024 at 15:15)
• Monadic descent when fibers are posets (1 message, latest: Oct 18 2024 at 07:56)
• On the models of the product of two algebraic theories (25 messages, latest: Oct 16 2024 at 17:13)
• When can a comprehension be expressed as a function? (5 messages, latest: Oct 16 2024 at 16:48)
• End/coend formulas for Kan lifts (19 messages, latest: Oct 15 2024 at 13:50)
• Confused with Riehl's Decategorification example (79 messages, latest: Oct 10 2024 at 20:11)
• Source and target of 0-morphisms (8 messages, latest: Oct 10 2024 at 17:39)
• Foundations (75 messages, latest: Oct 10 2024 at 15:25)
• Subobject classifier in ∞Grpd (20 messages, latest: Oct 09 2024 at 17:01)
• Ran along a final functor (26 messages, latest: Oct 08 2024 at 20:22)
• Pullbacks and coequalizers (4 messages, latest: Oct 08 2024 at 03:19)
• natural transformations between equivalences (6 messages, latest: Oct 06 2024 at 14:16)
• Topos where the Dedekind reals are uniquely Cauchy complete (5 messages, latest: Oct 04 2024 at 21:11)
• Bundles with fibre F are classified by BDiff(F)? (25 messages, latest: Oct 04 2024 at 20:26)
• Coproducts of monoids (37 messages, latest: Oct 03 2024 at 19:20)
• Using monoidal coherence effectively for enriched cats (4 messages, latest: Oct 02 2024 at 11:53)
• Internal categories and monadicity (27 messages, latest: Oct 01 2024 at 22:14)
• A topos containing manifolds (24 messages, latest: Oct 01 2024 at 06:32)
• Why Domain Theory? (8 messages, latest: Sep 27 2024 at 18:14)
• composing coends (2 messages, latest: Sep 26 2024 at 19:11)
• How can we study a collection of functions with the same ... (12 messages, latest: Sep 26 2024 at 13:36)
• Should we be surprised that homology exists? (45 messages, latest: Sep 25 2024 at 12:48)
• Representation theory (54 messages, latest: Sep 24 2024 at 18:19)
• The mental process of discovering a definition for hyperg... (2 messages, latest: Sep 24 2024 at 02:51)
• Can it be safe to think of objects in two different categ... (48 messages, latest: Sep 23 2024 at 17:10)
• Should we replace two objects with their product? (6 messages, latest: Sep 23 2024 at 13:57)
• 1-categorical vs 2-categorical limits (36 messages, latest: Sep 23 2024 at 00:12)
• Lipschitz functions (17 messages, latest: Sep 19 2024 at 17:04)
• Futamura projections (11 messages, latest: Sep 19 2024 at 05:24)
• Modeling relationship between system and knowledge about it (7 messages, latest: Sep 16 2024 at 11:12)
• Can Hom-functors be reversed? (7 messages, latest: Sep 15 2024 at 01:02)
• Cones in a pullback of two categories? (7 messages, latest: Sep 13 2024 at 20:29)
• Ordering on logics of the lambda cube (13 messages, latest: Sep 10 2024 at 23:40)
• Applications of "classifying" objects (32 messages, latest: Sep 09 2024 at 12:46)
• Equivalent or insightful definitions of partial monoids. (33 messages, latest: Sep 05 2024 at 18:37)
• Copresheaves (16 messages, latest: Sep 05 2024 at 15:46)
• internalizing structures obtained by internalization (54 messages, latest: Sep 03 2024 at 17:39)
• Beginner questions (544 messages, latest: Sep 02 2024 at 22:04)
• Reference on product categories (5 messages, latest: Sep 02 2024 at 15:46)
• Proving that the collection of functors between two cat... (2 messages, latest: Sep 02 2024 at 12:32)
• Descent, Cohomology, and Local-Global (11 messages, latest: Sep 01 2024 at 22:02)
• Can we get rid of the arbitrariness of "ordered pairs"? (13 messages, latest: Aug 31 2024 at 16:41)
• Algebra-preserving reflectors (8 messages, latest: Aug 31 2024 at 10:45)
• Proving that the collection of functors between two categ... (10 messages, latest: Aug 31 2024 at 04:46)
• Presentation of 2-monads (and size issues) (17 messages, latest: Aug 30 2024 at 15:52)
• help with lemma (6 messages, latest: Aug 30 2024 at 09:51)
• Mon(Mon(Mon)) = Rig (10 messages, latest: Aug 28 2024 at 19:38)
• What are some uses of exponential objects? (58 messages, latest: Aug 28 2024 at 14:48)
• Higher-order logic as a 'theory' of STLC (15 messages, latest: Aug 27 2024 at 00:32)
• Origin of sets cover axiom (4 messages, latest: Aug 26 2024 at 16:44)
• When is every point-surjective morphism an epimorphism? (36 messages, latest: Aug 26 2024 at 02:18)
• Cotangent bundle vs comonad ? (34 messages, latest: Aug 25 2024 at 08:41)
• Monoidal Structure in a Topos (6 messages, latest: Aug 24 2024 at 14:07)
• Is a universal property just a property? (4 messages, latest: Aug 22 2024 at 13:47)
• Sequent Calculus (128 messages, latest: Aug 19 2024 at 09:39)
• Endofunctors of FinSet (108 messages, latest: Aug 19 2024 at 09:24)
• Clash of notation for distributive laws (8 messages, latest: Aug 18 2024 at 13:19)
• Name for a kind of subcategories (15 messages, latest: Aug 15 2024 at 20:22)
• Different types of non-constructive proofs (27 messages, latest: Aug 15 2024 at 14:35)
• Equivalent characterizations of compact closed category (34 messages, latest: Aug 15 2024 at 10:59)
• Propositions as types, BHK and Computational trilogy (4 messages, latest: Aug 15 2024 at 08:51)
• étale delooping (3 messages, latest: Aug 12 2024 at 19:27)
• Abstracting the undecidability of the Halting Problem (5 messages, latest: Aug 12 2024 at 09:32)
• Relative entropy variable contributions (11 messages, latest: Aug 12 2024 at 01:57)
• Full but not isomorphism-closed subcategory (9 messages, latest: Aug 11 2024 at 21:05)
• pseudolimits from products, powers, and pseudo-equalisers (7 messages, latest: Aug 11 2024 at 00:10)
• Colimits in reflective subcategories (18 messages, latest: Aug 08 2024 at 21:34)
• Deepening Understanding of Petri Nets (71 messages, latest: Aug 05 2024 at 08:13)
• Radix expansions in constructive mathematics (34 messages, latest: Aug 04 2024 at 20:46)
• Composition of combinatorial species (35 messages, latest: Aug 04 2024 at 07:12)
• Measuring the non-totalness of an order (19 messages, latest: Aug 03 2024 at 19:44)
• What does set membership “look like” in Rel? (11 messages, latest: Aug 03 2024 at 13:26)
• EGS of many-sorted combinatorial species (5 messages, latest: Aug 02 2024 at 12:44)
• categorical logic in functor boxes (5 messages, latest: Aug 02 2024 at 11:58)
• Functions that do "bounded computation" (8 messages, latest: Jul 31 2024 at 13:41)
• faithfulness and Cauchy completions (5 messages, latest: Jul 29 2024 at 21:01)
• Codiscrete cospans in V-Cat (1 message, latest: Jul 29 2024 at 00:49)
• Kleisli left adjoint preserving limits? (8 messages, latest: Jul 28 2024 at 14:15)
• Generalized elements & sections of presheaves (15 messages, latest: Jul 28 2024 at 08:21)
• Dold-Kan correspondence (92 messages, latest: Jul 27 2024 at 10:43)
• Maurer-Cartan equation (54 messages, latest: Jul 25 2024 at 14:19)
• Monoidal category question (15 messages, latest: Jul 25 2024 at 13:02)
• products of discrete locales (3 messages, latest: Jul 24 2024 at 17:39)
• Enrichment in a closed category (41 messages, latest: Jul 23 2024 at 13:22)
• Bar construction of a monad (47 messages, latest: Jul 21 2024 at 14:01)
• Relational mathematics (40 messages, latest: Jul 20 2024 at 21:33)
• examples of helpful or important 2-limits (23 messages, latest: Jul 20 2024 at 08:42)
• Concrete categories where the hom-sets are subsets (17 messages, latest: Jul 15 2024 at 01:04)
• defining an internal category without using pullbacks? (47 messages, latest: Jul 11 2024 at 23:15)
• free cocompletions and existing limits (13 messages, latest: Jul 11 2024 at 12:41)
• convenient categories of spaces (4 messages, latest: Jul 11 2024 at 11:19)
• is convergence an open condition? (12 messages, latest: Jul 09 2024 at 19:46)
• non-Boolean topos where every proposition is semi-decidable (19 messages, latest: Jul 08 2024 at 21:46)
• topos where the Rosolini dominance isn't a sigma-frame (2 messages, latest: Jul 08 2024 at 19:56)
• dual to partial maps (15 messages, latest: Jul 08 2024 at 12:31)
• (ID my structure) dagger transpose double category (6 messages, latest: Jul 08 2024 at 06:59)
• Simple Questions about Category of Sets (2 messages, latest: Jul 03 2024 at 15:21)
• Ologs (30 messages, latest: Jul 03 2024 at 08:39)
• Is the category Stoch closed? (6 messages, latest: Jul 01 2024 at 10:49)
• Resolutions and Descent (211 messages, latest: Jun 30 2024 at 06:10)
• 2-sphere isn't an open subset of a cartesian space (32 messages, latest: Jun 30 2024 at 05:54)
• Aut(Torsor) = Inn(Torsor)? (48 messages, latest: Jun 28 2024 at 01:37)
• categorifying positive definite maps (10 messages, latest: Jun 27 2024 at 21:51)
• Necessity of decorated cospans in open Petri nets with rate (23 messages, latest: Jun 27 2024 at 10:25)
• LPO and sigma-frame structure on booleans (17 messages, latest: Jun 26 2024 at 19:58)
• Choice of pushouts in the composition of open Petri nets (5 messages, latest: Jun 25 2024 at 21:28)
• Presheaves are not the free completion of the underlying cat (12 messages, latest: Jun 25 2024 at 13:02)
• Right way to prove 'correctness' of encodings in logic.. (15 messages, latest: Jun 20 2024 at 23:59)
• To say something “is a set” (29 messages, latest: Jun 20 2024 at 13:31)
• A question about Heyting Algebras (3 messages, latest: Jun 18 2024 at 17:03)
• "nostrification" (15 messages, latest: Jun 17 2024 at 03:54)
• Adjunctions (29 messages, latest: Jun 16 2024 at 23:42)
• Coherence of diagrams between presheaf categories (6 messages, latest: Jun 16 2024 at 09:30)
• Eckmann-Hilton argument (80 messages, latest: Jun 16 2024 at 04:28)
• Misunderstanding on Invariant Basis Number (3 messages, latest: Jun 14 2024 at 22:12)
• Not all categories are concrete… or are they? (34 messages, latest: Jun 14 2024 at 17:43)
• Classical model theory in the language of hyperdoctrines (32 messages, latest: Jun 12 2024 at 19:55)
• Traffic control scenarios (10 messages, latest: Jun 12 2024 at 12:15)
• Logic and Set Theory (8 messages, latest: Jun 11 2024 at 11:25)
• Nathaniel Osgood: pushouts and monos (4 messages, latest: Jun 10 2024 at 14:31)
• What is a D-filtered category? (35 messages, latest: Jun 08 2024 at 21:23)
• Is there a nice 2-category of matrices? (11 messages, latest: Jun 08 2024 at 16:59)
• Uniqueness of Natural Isomorphism in Adjunction? (12 messages, latest: Jun 07 2024 at 20:28)
• Pro-completion of N-indexed families of finite sets (11 messages, latest: Jun 07 2024 at 10:31)
• Connection between different "monoids" in CT? (9 messages, latest: Jun 06 2024 at 01:54)
• Cartesian closed category of locales? (22 messages, latest: Jun 04 2024 at 18:43)
• When the number of categories becomes stable (20 messages, latest: Jun 02 2024 at 06:39)
• infinitesimal morphisms (13 messages, latest: May 29 2024 at 13:43)
• who invented string diagrams (26 messages, latest: May 28 2024 at 01:43)
• factorization systems of classical groups (23 messages, latest: May 27 2024 at 16:05)
• Cassierian geometry (3 messages, latest: May 27 2024 at 09:30)
• Godel's Second IT vs Category Theory (74 messages, latest: May 26 2024 at 19:58)
• Soft question (19 messages, latest: May 26 2024 at 19:07)
• Question on Products (53 messages, latest: May 24 2024 at 22:24)
• Homotopified double categories (14 messages, latest: May 22 2024 at 16:47)
• effective descent (126 messages, latest: May 22 2024 at 06:17)
• Question about nature of definitions (8 messages, latest: May 21 2024 at 10:08)
• What are categories of modules over semirings? (2 messages, latest: May 18 2024 at 19:01)
• Sheafification, adjunction between bundles and presheaves (12 messages, latest: May 18 2024 at 09:13)
• Proper class subclass of a set, via bounded separation (8 messages, latest: May 16 2024 at 23:02)
• (co)Products in enriched category theory (3 messages, latest: May 15 2024 at 15:25)
• Enriching in a Presheaf Category (8 messages, latest: May 15 2024 at 08:09)
• Preserving algebraic relations (17 messages, latest: May 14 2024 at 11:37)
• Suggestions on formulating a question about the presentat... (10 messages, latest: May 12 2024 at 20:20)
• Étale space of analytic functions is Hausdorff (14 messages, latest: May 12 2024 at 20:04)
• functors between presheaf categories (37 messages, latest: May 11 2024 at 16:44)
• Categories applied to interprocess communication (9 messages, latest: May 10 2024 at 09:10)
• right adjoints are accessible (3 messages, latest: May 09 2024 at 13:54)
• What is "local to global" in the CT POV? (25 messages, latest: May 08 2024 at 22:24)
• Comodules in the category of convex sets and its relatives (2 messages, latest: May 04 2024 at 08:43)
• Quick Question: Orthogonal vs Universal Factorizations (12 messages, latest: May 01 2024 at 07:07)
• Euclidean constructions as(?) diagrammatic formalisms (2 messages, latest: Apr 30 2024 at 14:25)
• adjunctions between functors into Cat (6 messages, latest: Apr 28 2024 at 10:19)
• "dualizing" geometric shapes using arrows/diagrams? (25 messages, latest: Apr 27 2024 at 19:35)
• Syntactic Site of the Theory of an Infinite Decidable Object (16 messages, latest: Apr 27 2024 at 14:28)
• 'Full' coherence vs strictification (8 messages, latest: Apr 26 2024 at 15:41)
• Presheaf Categories, Comma Objects, Equipments (5 messages, latest: Apr 23 2024 at 19:42)
• What does the associator of a special 2-group tell you? (53 messages, latest: Apr 23 2024 at 15:53)
• Is there a notion dual to that of subobject classifier? (27 messages, latest: Apr 21 2024 at 09:53)
• What is a coindexed coalgebra? (34 messages, latest: Apr 20 2024 at 08:12)
• Quick Question on Yoneda Structures (45 messages, latest: Apr 19 2024 at 13:45)
• What a statement "looks like" in a category (2 messages, latest: Apr 18 2024 at 14:48)
• Functors of Fibrant Double Categories via Proarrow Equipment (9 messages, latest: Apr 18 2024 at 10:56)
• Enumerating properties of categories (69 messages, latest: Apr 17 2024 at 13:44)
• What are Horn theories? (6 messages, latest: Apr 16 2024 at 07:54)
• Ologs: Rigorous Definition of Ologs (12 messages, latest: Apr 16 2024 at 02:20)
• Bell numbers (25 messages, latest: Apr 15 2024 at 21:49)
• Testing vs Generating, Characteristic functions vs ?? (24 messages, latest: Apr 14 2024 at 17:35)
• monoidal coseparator? (14 messages, latest: Apr 12 2024 at 14:05)
• type in the meta-theory v.s. term of a type (94 messages, latest: Apr 12 2024 at 03:09)
• Day convolution on large categories (15 messages, latest: Apr 12 2024 at 01:23)
• Ologs: Semantic Restrictions on Arrows (17 messages, latest: Apr 10 2024 at 21:39)
• What is geometry? (113 messages, latest: Apr 10 2024 at 19:37)
• Coherence theorems for monoidal (oo,1)-categories (28 messages, latest: Apr 10 2024 at 18:28)
• (Locally) internal categories and internal logic (9 messages, latest: Apr 10 2024 at 07:00)
• Model category structures on Span(C) (2 messages, latest: Apr 09 2024 at 11:43)
• Cohomological characterization of monoidal categories (2 messages, latest: Apr 08 2024 at 05:44)
• References on ring bimodules as enriched profunctors (7 messages, latest: Apr 08 2024 at 02:44)
• Strong monoidal functors preserve monoids (27 messages, latest: Apr 07 2024 at 19:19)
• Commutative monoids equipped with bizarre garbage (19 messages, latest: Apr 07 2024 at 15:10)
• Natural Numbers Object (24 messages, latest: Apr 05 2024 at 22:19)
• collecting proofs that RxS is a Rng just when R,S are rings (6 messages, latest: Apr 05 2024 at 19:06)
• ✔ Does evaluation of a functor at object define a functor? (4 messages, latest: Apr 05 2024 at 15:01)
• Set and Continuum Hypothesis (9 messages, latest: Apr 04 2024 at 19:16)
• Graph-theoretic properties of number systems (13 messages, latest: Apr 04 2024 at 17:50)
• Enriched Objects (17 messages, latest: Apr 03 2024 at 20:37)
• Spec(Poly) (25 messages, latest: Apr 03 2024 at 18:56)
• isococomma squares and pseudoepic morphisms (6 messages, latest: Apr 03 2024 at 18:51)
• When the presheaf of bounded functions is a sheaf (12 messages, latest: Apr 03 2024 at 03:43)
• ideal extension (commutative algebra) (5 messages, latest: Apr 02 2024 at 05:31)
• Product Preserving Functor (8 messages, latest: Apr 01 2024 at 16:55)
• What is the cardinality of Cat? (14 messages, latest: Mar 30 2024 at 04:33)
• Can there be a rule of thumb / algorithm to optimize leve... (7 messages, latest: Mar 29 2024 at 14:51)
• Intuition for enrichment (20 messages, latest: Mar 28 2024 at 17:25)
• Freeness and monics (5 messages, latest: Mar 28 2024 at 17:25)
• Does Prof have (at least some) inserters? (3 messages, latest: Mar 27 2024 at 19:22)
• ✔ Johnstone Elephant B lemma 1.3.2 (2 messages, latest: Mar 27 2024 at 18:16)
• Yoneda Lemma and Pascal Triangle (1 message, latest: Mar 26 2024 at 18:21)
• Well-Typed Programs/Algebraic Structures (11 messages, latest: Mar 26 2024 at 03:38)
• Profunctor and Categorified Linear Algebra (12 messages, latest: Mar 25 2024 at 16:43)
• 2-limits vs terminal cone (1 message, latest: Mar 25 2024 at 06:45)
• Axiomatizing Glymour’s Theory of Bootstrap Confirmation (7 messages, latest: Mar 23 2024 at 21:07)
• Axiomatizin Glymour’s Theory of Bootstrap Confirmation (5 messages, latest: Mar 22 2024 at 11:19)
• Pcoh and biproducts (5 messages, latest: Mar 22 2024 at 10:23)
• Defining a basic mathematical theory (Glymour’s bootstrap... (1 message, latest: Mar 21 2024 at 17:56)
• Is binary gluing preserved by "localising" a presheaf? (17 messages, latest: Mar 21 2024 at 03:29)
• cancellation for monadic adjunctions (8 messages, latest: Mar 20 2024 at 21:16)
• Quick question on polynomial functors (18 messages, latest: Mar 19 2024 at 18:23)
• Ends/coends and quantifiers (32 messages, latest: Mar 19 2024 at 18:02)
• Two functor pairs out of a profunctor (5 messages, latest: Mar 19 2024 at 12:57)
• Continuous functor in enriched category (3 messages, latest: Mar 18 2024 at 21:47)
• Expression, algebra and coalgebra (43 messages, latest: Mar 17 2024 at 21:32)
• accessible categories (3 messages, latest: Mar 17 2024 at 19:47)
• What is this Chu-like construction? (5 messages, latest: Mar 16 2024 at 12:54)
• Isomorphisms in Kleisli categories (20 messages, latest: Mar 16 2024 at 12:27)
• id my structure (10 messages, latest: Mar 15 2024 at 19:21)
• property of flasque presheaves? (4 messages, latest: Mar 15 2024 at 05:02)
• Spaces vs/and Categories (24 messages, latest: Mar 15 2024 at 02:55)
• commutation of colim with hom (10 messages, latest: Mar 14 2024 at 16:22)
• Two monads on the same functor (7 messages, latest: Mar 14 2024 at 09:29)
• Completeness/co-completeness of universal algebra varieties (24 messages, latest: Mar 13 2024 at 23:06)
• Ologs: Quantification (7 messages, latest: Mar 12 2024 at 21:58)
• Overview of Syntax-Semantics Duality (109 messages, latest: Mar 12 2024 at 21:52)
• "pullbacks" that report approximate agreements? (72 messages, latest: Mar 12 2024 at 19:26)
• Categorifying the median or the average (47 messages, latest: Mar 12 2024 at 15:47)
• Presheaves from functors (10 messages, latest: Mar 08 2024 at 18:11)
• can you make a "polynomials" category from a category? (32 messages, latest: Mar 08 2024 at 13:02)
• Question about cartesian closed topological constructs (22 messages, latest: Mar 07 2024 at 00:12)
• Left/right inverses, adjunctions and Kan extensions (6 messages, latest: Mar 06 2024 at 17:09)
• Category of Material Sets (9 messages, latest: Mar 05 2024 at 15:34)
• Linear algebra behind PCA (9 messages, latest: Mar 05 2024 at 08:54)
• Module with finite bases of different sizes? (38 messages, latest: Mar 05 2024 at 05:16)
• Some General Questions about Equalizers and Notation (12 messages, latest: Mar 04 2024 at 12:37)
• Kock-Lawvere axiom in a Boolean topos (7 messages, latest: Mar 03 2024 at 02:40)
• representations of GL(n) (11 messages, latest: Mar 01 2024 at 02:39)
• Analytic LPO and real numbers (9 messages, latest: Feb 29 2024 at 16:02)
• Set-like directed colimits (67 messages, latest: Feb 27 2024 at 16:04)
• Double categories without faith or drudgery (33 messages, latest: Feb 26 2024 at 21:28)
• What does 'fibrant' mean? (73 messages, latest: Feb 26 2024 at 09:50)
• Equivalences of (Fibrant) Double Categories (39 messages, latest: Feb 25 2024 at 22:41)
• Dedekind completions of linear preorders (11 messages, latest: Feb 25 2024 at 13:24)
• Preservation of finite limits vs products and equalisers (23 messages, latest: Feb 24 2024 at 19:39)
• Strictification of fibrant double categories (7 messages, latest: Feb 22 2024 at 23:23)
• Ring homomorphisms between integral domains (24 messages, latest: Feb 22 2024 at 17:37)
• Integers and rational numbers as strict initial objects? (11 messages, latest: Feb 22 2024 at 05:11)
• Reflective subcategories stable under pullback (19 messages, latest: Feb 19 2024 at 18:43)
• Changing cofinality of a regular uncountable cardinal (14 messages, latest: Feb 19 2024 at 09:22)
• Continuous group actions as functors (27 messages, latest: Feb 18 2024 at 23:37)
• Idempotent strong monads and diagonals (6 messages, latest: Feb 18 2024 at 17:55)
• Segal conditions (4 messages, latest: Feb 16 2024 at 19:10)
• joyal's topos talk, softness, and coherence spaces (28 messages, latest: Feb 16 2024 at 17:52)
• Virtual Double Categories Overview (29 messages, latest: Feb 16 2024 at 15:46)
• Nucleus of a Profunctor with value in a Boolean algebra (3 messages, latest: Feb 15 2024 at 22:40)
• Operads vs morphisms with product domains (20 messages, latest: Feb 14 2024 at 22:47)
• Weak countable choice and the real numbers (10 messages, latest: Feb 14 2024 at 16:40)
• injective objects in a topos (2 messages, latest: Feb 14 2024 at 09:57)
• Concrete product categories (10 messages, latest: Feb 13 2024 at 11:58)
• Is there any function satisfying the following properties? (13 messages, latest: Feb 13 2024 at 07:15)
• Minima and maxima in Archimedean ordered fields (12 messages, latest: Feb 08 2024 at 21:18)
• a dense sentence which calls to be decoded (19 messages, latest: Feb 07 2024 at 20:36)
• 2-category of slice categories and base change adjoint tripl (3 messages, latest: Feb 06 2024 at 17:09)
• Universal property of the locale of real numbers (2 messages, latest: Feb 06 2024 at 15:37)
• Understanding a definition more categorically (7 messages, latest: Feb 06 2024 at 05:39)
• Cauchy completeness of Cauchy sequences of rational numbers (6 messages, latest: Feb 05 2024 at 20:51)
• Countable unions of countable sets (7 messages, latest: Feb 04 2024 at 16:28)
• (When) Do Essential Subtoposes Form an Internal Locale? (22 messages, latest: Feb 04 2024 at 01:44)
• Countable reals (22 messages, latest: Feb 03 2024 at 19:27)
• Universal property of the reals as a preorder (35 messages, latest: Feb 03 2024 at 03:16)
• (∞, 1)-categorical version of elementary topos (10 messages, latest: Feb 02 2024 at 12:12)
• Filtered colimits and finitary monads (37 messages, latest: Feb 02 2024 at 00:20)
• Apartness relations (5 messages, latest: Feb 01 2024 at 21:51)
• Basic question on topoi (toposes?). (21 messages, latest: Feb 01 2024 at 01:04)
• What is this factorisation? (19 messages, latest: Jan 31 2024 at 11:41)
• Internal formal topologies in a Heyting pretopos (17 messages, latest: Jan 30 2024 at 12:05)
• Found a rare geometric morphism (17 messages, latest: Jan 30 2024 at 01:01)
• Naturality as a Property (9 messages, latest: Jan 28 2024 at 13:25)
• A question on notation (5 messages, latest: Jan 28 2024 at 11:11)
• "Orthogonal" composition of profunctors (9 messages, latest: Jan 27 2024 at 08:56)
• Functors on Set preserve epis without AC (2 messages, latest: Jan 24 2024 at 15:07)
• Thomason model structure (7 messages, latest: Jan 22 2024 at 20:23)
• Exponentiable affine schemes (64 messages, latest: Jan 22 2024 at 04:05)
• From the functor of points to the points of a scheme (23 messages, latest: Jan 21 2024 at 22:22)
• Change of ambient category (15 messages, latest: Jan 21 2024 at 18:47)
• Gluings vs colimits (26 messages, latest: Jan 21 2024 at 13:06)
• algebra for a profunctor (13 messages, latest: Jan 20 2024 at 04:35)
• hypergraph categories (85 messages, latest: Jan 20 2024 at 01:46)
• Categorical semantics of this dependent type (13 messages, latest: Jan 19 2024 at 17:53)
• ✔ Analytic LPO and real numbers (15 messages, latest: Jan 18 2024 at 11:38)
• distributive laws and monadic functors (101 messages, latest: Jan 17 2024 at 09:44)
• Simplicial sets - where does this reasoning fail? (4 messages, latest: Jan 16 2024 at 20:24)
• co-cartesian monoidal fibration (3 messages, latest: Jan 16 2024 at 07:49)
• calculus of fractions (3 messages, latest: Jan 15 2024 at 18:51)
• Are plain multicategories fibred over categories? (6 messages, latest: Jan 12 2024 at 20:31)
• Some set theory (5 messages, latest: Jan 09 2024 at 16:14)
• Question about a perspective on fibrations (1 message, latest: Jan 07 2024 at 01:44)
• Are sets accessible categories? (16 messages, latest: Jan 05 2024 at 02:21)
• A certain 2-limit, what is it called? (9 messages, latest: Jan 04 2024 at 16:00)
• Left/Right Monad strength over symmetric monoidal category (11 messages, latest: Jan 03 2024 at 19:08)
• Peirce, abduction (2 messages, latest: Jan 03 2024 at 09:39)
• Lawvere-Tierney topologies in terms of the subobject J (3 messages, latest: Jan 01 2024 at 17:01)
• Free monoid in species (63 messages, latest: Dec 31 2023 at 23:19)
• The category theoretic origin of arithmetic product [x-post] (55 messages, latest: Dec 31 2023 at 01:38)
• "Convergence" to compositionality (30 messages, latest: Dec 30 2023 at 20:05)
• Computing (co)ends (18 messages, latest: Dec 29 2023 at 16:36)
• Classification theory for accessible categories (4 messages, latest: Dec 29 2023 at 13:52)
• fibrations and opfibrations between presheaf categories (16 messages, latest: Dec 28 2023 at 11:42)
• Accessible two-sided fibration (11 messages, latest: Dec 28 2023 at 09:48)
• being a good community member (11 messages, latest: Dec 26 2023 at 16:35)
• eliminating disjuncts (3 messages, latest: Dec 25 2023 at 23:35)
• Formal Definition for a Physical Model (16 messages, latest: Dec 22 2023 at 23:26)
• discussing isomorphisms (8 messages, latest: Dec 22 2023 at 02:12)
• Non-existence of a particular left adjoint (4 messages, latest: Dec 20 2023 at 16:48)
• Limits in a category of fixpoints (10 messages, latest: Dec 20 2023 at 16:35)
• A bimonoid in [C,C] (4 messages, latest: Dec 20 2023 at 10:02)
• The universal property of Adj (7 messages, latest: Dec 20 2023 at 08:52)
• Formal Definition for an "Analytic Structure" (100 messages, latest: Dec 18 2023 at 14:43)
• understanding "dual" statements (153 messages, latest: Dec 17 2023 at 20:49)
• analytic functor/finite sets (26 messages, latest: Dec 16 2023 at 22:39)
• Understanding proof in Proposition 4.1.6 by Borceux Vol 2 (5 messages, latest: Dec 14 2023 at 17:42)
• Does my functor preserve left Kan extensions? (6 messages, latest: Dec 13 2023 at 16:05)
• 3 for 2 Property (37 messages, latest: Dec 13 2023 at 14:55)
• Interpreting slice categories in programming (20 messages, latest: Dec 08 2023 at 20:00)
• ✔ Does this variation in the "slice category"have a name? (1 message, latest: Dec 08 2023 at 15:03)
• Does this variation in the "slice category"have a name? (94 messages, latest: Dec 07 2023 at 12:49)
• Why is canonicity/adequacy important in type theory? (39 messages, latest: Dec 06 2023 at 20:00)
• composing universal property morphisms (6 messages, latest: Dec 05 2023 at 21:19)
• model structures on globular sets (2 messages, latest: Dec 05 2023 at 18:14)
• Cocartesian multicategories (6 messages, latest: Dec 04 2023 at 10:39)
• transporting structure across morphisms (53 messages, latest: Dec 04 2023 at 08:33)
• transporting structure across an adjunction (7 messages, latest: Dec 03 2023 at 19:29)
• About closed symmetric monoidal categories (3 messages, latest: Dec 01 2023 at 16:31)
• Preservation of domains, codomains and identities (3 messages, latest: Nov 28 2023 at 20:57)
• Pullback-stable coproducts: morphisms? (6 messages, latest: Nov 28 2023 at 15:41)
• Question about copowers (18 messages, latest: Nov 28 2023 at 15:38)
• Para construction and symmetric monoidal categories (47 messages, latest: Nov 27 2023 at 11:05)
• representable free functors? (99 messages, latest: Nov 24 2023 at 22:55)
• Universal property of semidirect products (23 messages, latest: Nov 24 2023 at 22:53)
• Examples of directed graphs with specific properties (215 messages, latest: Nov 24 2023 at 22:10)
• coalgebras, operational semantics and the Giry monad (93 messages, latest: Nov 23 2023 at 23:13)
• Semantics of Type Theory (66 messages, latest: Nov 22 2023 at 21:00)
• Open question / conversation (71 messages, latest: Nov 22 2023 at 06:26)
• Cartesian Multicategories and Operads (15 messages, latest: Nov 20 2023 at 06:28)
• metric monads : a paper by Jiri Rosicky (8 messages, latest: Nov 16 2023 at 18:27)
• Doctrines, adjoints, and all that (33 messages, latest: Nov 16 2023 at 07:30)
• Displayed vs indexed fuzzy relations (16 messages, latest: Nov 15 2023 at 20:19)
• F-Alg as 2limit (17 messages, latest: Nov 15 2023 at 20:05)
• local presentability of Cat (24 messages, latest: Nov 14 2023 at 23:07)
• Quantifiers as adjoints and equality (17 messages, latest: Nov 13 2023 at 13:06)
• Cocomplete fibrations (30 messages, latest: Nov 13 2023 at 12:04)
• normal homomorphisms (4 messages, latest: Nov 09 2023 at 01:29)
• Beck monadicity in Fib/A (7 messages, latest: Nov 08 2023 at 13:24)
• Algebraic theories (23 messages, latest: Nov 07 2023 at 11:32)
• 'Cumulative hierarchy without truncation' in HoTT (31 messages, latest: Nov 07 2023 at 08:52)
• defining a "diagram limit" for a diagram (32 messages, latest: Nov 06 2023 at 20:25)
• Monads with Operations (14 messages, latest: Nov 04 2023 at 16:38)
• What is the structure of $$\mathcal{P}^{\text{fin}}(S)$$? (23 messages, latest: Nov 04 2023 at 12:05)
• joint equalizer (9 messages, latest: Nov 01 2023 at 09:01)
• monoidal categories and bicategories (11 messages, latest: Oct 31 2023 at 00:15)
• morphisms inverted by right adjoint (3 messages, latest: Oct 30 2023 at 09:18)
• measuring similarity of objects with functors (12 messages, latest: Oct 28 2023 at 20:31)
• Can we make an n-category of "towers and instructions"? (121 messages, latest: Oct 26 2023 at 17:55)
• Algebras as presheaves on the Kleisli category (7 messages, latest: Oct 26 2023 at 09:58)
• Exponentiation (108 messages, latest: Oct 24 2023 at 15:40)
• Something which isn't a globe (16 messages, latest: Oct 22 2023 at 06:20)
• stream events (6 messages, latest: Oct 21 2023 at 14:32)
• A sheaf isomorphic to a sheaf of continuous sections (10 messages, latest: Oct 16 2023 at 17:41)
• Slice Categories and the Hom(-, A) Functor (4 messages, latest: Oct 16 2023 at 15:14)
• Software for doing mathematics (21 messages, latest: Oct 14 2023 at 20:14)
• a simple 2-categorical exercise (7 messages, latest: Oct 12 2023 at 18:05)
• Pushouts of monomorphisms of noncommutative k-algebras (6 messages, latest: Oct 12 2023 at 12:51)
• local universe model: pullback stability (9 messages, latest: Oct 11 2023 at 09:38)
• A Category for DSLs? (22 messages, latest: Oct 10 2023 at 21:45)
• Lawvere theories and 2-categories (32 messages, latest: Oct 10 2023 at 02:41)
• Adjunctions Internal to Prof / Dualizable Profunctors (7 messages, latest: Oct 03 2023 at 20:18)
• Fibrations of models (7 messages, latest: Oct 03 2023 at 17:26)
• submersion stable under pullback (12 messages, latest: Oct 02 2023 at 08:19)
• Some simplicial combinatorics (8 messages, latest: Sep 29 2023 at 21:32)
• ✔ Sheaf condition as limit condition (6 messages, latest: Sep 26 2023 at 03:04)
• Sheaves and Bundles (10 messages, latest: Sep 25 2023 at 01:02)
• Lambda calculus and Cartesian closed categories (12 messages, latest: Sep 24 2023 at 22:53)
• how are monads used? (40 messages, latest: Sep 24 2023 at 22:38)
• Reference for transporting Kan extension across 2-adjunction (6 messages, latest: Sep 20 2023 at 17:15)
• creating or finding beginner research projects (11 messages, latest: Sep 19 2023 at 20:13)
• fibred category of quotients (9 messages, latest: Sep 15 2023 at 20:37)
• combining optimization problems (21 messages, latest: Sep 08 2023 at 20:09)
• Choosing a vector space basis; choosing a coproduct (30 messages, latest: Sep 08 2023 at 16:35)
• Strict monoidal categories, concretely (17 messages, latest: Sep 08 2023 at 06:19)
• induced automorphisms (15 messages, latest: Sep 07 2023 at 18:44)
• products and coproducts in slice categories (11 messages, latest: Sep 07 2023 at 17:01)
• a ring as a category where the elements are objects (7 messages, latest: Sep 07 2023 at 14:31)
• graphs within graphs (21 messages, latest: Sep 05 2023 at 10:00)
• Partial sets and negatives (9 messages, latest: Aug 29 2023 at 07:48)
• objects “are” something (37 messages, latest: Aug 24 2023 at 07:20)
• Category equivalence and equivalence classes (63 messages, latest: Aug 23 2023 at 18:45)
• "Naturally occuring" braided monoidal categories (6 messages, latest: Aug 22 2023 at 22:09)
• choosing all list objects in a category simulateously (14 messages, latest: Aug 17 2023 at 21:30)
• Morphisms from the monoidal unit (9 messages, latest: Aug 16 2023 at 16:18)
• Double negation fibrewise and another modality "on the base" (5 messages, latest: Aug 14 2023 at 07:52)
• Riehl, “Category Theory in Context”. (11 messages, latest: Aug 08 2023 at 10:57)
• Diagram dimensions (45 messages, latest: Aug 02 2023 at 10:37)
• Is there a formalization of "non-parametric functors"? (20 messages, latest: Aug 01 2023 at 08:32)
• What can morphisms be? (19 messages, latest: Jul 31 2023 at 21:07)
• equivariant (18 messages, latest: Jul 31 2023 at 18:32)
• Well quasi-orders: a categorial perspective? (8 messages, latest: Jul 31 2023 at 17:46)
• operads and parameterized categories (11 messages, latest: Jul 31 2023 at 15:12)
• Linear sums in categories (16 messages, latest: Jul 31 2023 at 13:02)
• A formal definition of a commuting diagram (82 messages, latest: Jul 29 2023 at 06:22)
• natural model (8 messages, latest: Jul 28 2023 at 17:32)
• Preorders and monoidal preorders (43 messages, latest: Jul 25 2023 at 15:27)
• ✔ Why are Pointwise Kan Extensions called that? (9 messages, latest: Jul 24 2023 at 19:10)
• Synthetic introduction to noncommutative geometry? (8 messages, latest: Jul 20 2023 at 14:47)
• Reference for algebraic theories (10 messages, latest: Jul 20 2023 at 04:04)
• "re-strictification" of pseudofunctors (10 messages, latest: Jul 19 2023 at 20:17)
• Exact squares with an additional property (1 message, latest: Jul 19 2023 at 17:58)
• Lean theorem prover or similar (18 messages, latest: Jul 19 2023 at 07:28)
• Universal property of a terminal object (4 messages, latest: Jul 18 2023 at 19:07)
• How to understand this structure in Category Theory? (9 messages, latest: Jul 18 2023 at 16:07)
• Horns filling up to some degree (24 messages, latest: Jul 17 2023 at 20:10)
• logic inherited by functor categories (17 messages, latest: Jul 15 2023 at 21:27)
• What does a slice topos classify? (50 messages, latest: Jul 07 2023 at 18:50)
• any work on dynamical system bifurcations? (6 messages, latest: Jul 05 2023 at 10:27)
• Cylinder object model 2-category (3 messages, latest: Jun 28 2023 at 12:44)
• Cauchy complete linear categories (10 messages, latest: Jun 22 2023 at 14:22)
• Do transducers have a category theory formalism? (4 messages, latest: Jun 21 2023 at 22:27)
• adjoint to decoration (15 messages, latest: Jun 21 2023 at 16:23)
• ✔ homotopy 2-limits as biadjunctions (3 messages, latest: Jun 21 2023 at 10:19)
• Non-commutation of finite limits and non-filtered colimits (6 messages, latest: Jun 19 2023 at 00:55)
• terminology for squares with injective pushout gap-maps (3 messages, latest: Jun 17 2023 at 03:30)
• What is a fibration? (37 messages, latest: Jun 16 2023 at 23:09)
• Are monad liftings evil? (11 messages, latest: Jun 16 2023 at 17:17)
• Kan is to groupoid as sSet is to... what? (18 messages, latest: Jun 14 2023 at 17:14)
• ✔ 2 limits in 2-categories of diagrams (26 messages, latest: Jun 14 2023 at 11:58)
• ✔ self-enrichment vs monoidal closed (16 messages, latest: Jun 12 2023 at 19:04)
• What is the relation between F-Algebras and Free Algebras? (11 messages, latest: Jun 11 2023 at 17:16)
• when are "derived" operations preserved by a functor? (32 messages, latest: Jun 10 2023 at 18:45)
• Connected Category (3 messages, latest: Jun 09 2023 at 21:34)
• ✔ Set-toposes are cocomplete? (15 messages, latest: Jun 02 2023 at 10:07)
• equivalent categories and equivalence relations (23 messages, latest: May 28 2023 at 21:09)
• how to argue quotient maps form a natural transformation? (2 messages, latest: May 28 2023 at 04:58)
• checking my understanding of (co)monoids in monoidal cats? (3 messages, latest: May 25 2023 at 11:19)
• functors compatible with automorphisms (7 messages, latest: May 23 2023 at 19:31)
• how to recover a commutative ring from its modules (72 messages, latest: May 22 2023 at 22:27)
• lifting a subset-valued operation (3 messages, latest: May 18 2023 at 02:50)
• making a category into an Ab-enriched category (25 messages, latest: May 17 2023 at 21:05)
• F-algebras over Pos (6 messages, latest: May 14 2023 at 10:44)
• ✔ when is restriction of scalars monadic? (30 messages, latest: May 14 2023 at 00:39)
• ✔ (co)limits in the covariant Grothendieck construction (7 messages, latest: May 13 2023 at 23:01)
• ✔ unit is invertible iff RL ≅ 1 (13 messages, latest: May 13 2023 at 22:44)
• ✔ The category of monads? (5 messages, latest: May 13 2023 at 03:08)
• If a trace corresponds to feedback, what is cotrace? (45 messages, latest: May 09 2023 at 12:57)
• definition of "path" and principle of equivalence (25 messages, latest: May 08 2023 at 14:49)
• Do adjoints to projection maps form a functor? (7 messages, latest: May 06 2023 at 06:01)
• Hegel dialectics (92 messages, latest: May 05 2023 at 20:55)
• what are the main properties of monadic functors? (22 messages, latest: May 05 2023 at 15:50)
• isomorphic objects and functors (53 messages, latest: May 05 2023 at 14:24)
• Grothendieck construction variants of poset-valued presheaf (4 messages, latest: May 04 2023 at 23:53)
• Exponentials in Comma Categories (1 message, latest: May 04 2023 at 13:24)
• fractional dimensional lie groups? (8 messages, latest: May 01 2023 at 18:08)
• References on Continuous Logic and/or Computational trilogy (3 messages, latest: May 01 2023 at 05:08)
• dinatural transformations (11 messages, latest: Apr 29 2023 at 04:50)
• Object that generate equivalent slice cats (5 messages, latest: Apr 28 2023 at 17:32)
• Pushout complements in Cat (32 messages, latest: Apr 27 2023 at 15:40)
• algebra morphisms parameterised by endofunctor morphisms (7 messages, latest: Apr 25 2023 at 21:24)
• subsets and subgroups (60 messages, latest: Apr 25 2023 at 09:38)
• initial sources as initial objects (23 messages, latest: Apr 25 2023 at 07:37)
• can a unique arrow makes more than one commuting diagram? (7 messages, latest: Apr 24 2023 at 15:46)
• what kind of thing is a Chart between polynomial functors? (16 messages, latest: Apr 24 2023 at 11:27)
• Adjunction of spans (10 messages, latest: Apr 21 2023 at 21:48)
• delooping and linearly distributive categories (3 messages, latest: Apr 21 2023 at 18:59)
• Partial fibration (6 messages, latest: Apr 20 2023 at 12:07)
• Is this well defined? (18 messages, latest: Apr 20 2023 at 10:59)
• Tannakian categories (8 messages, latest: Apr 18 2023 at 16:35)
• Do physical units 'structure' sets of numbers? (100 messages, latest: Apr 12 2023 at 18:47)
• On the existence of a category of functors (14 messages, latest: Apr 11 2023 at 15:29)
• Order theory question (5 messages, latest: Apr 08 2023 at 17:33)
• cylindric algebras & hyperdoctrines (24 messages, latest: Apr 06 2023 at 05:51)
• Kock-Lawvere axiom (2 messages, latest: Apr 04 2023 at 18:20)
• ✔ Connected components functor strong monoidal (4 messages, latest: Apr 03 2023 at 09:10)
• why rings need identities (49 messages, latest: Mar 29 2023 at 23:34)
• small products in model categories (5 messages, latest: Mar 29 2023 at 07:01)
• an invertibility problem (13 messages, latest: Mar 28 2023 at 18:32)
• open system (1 message, latest: Mar 26 2023 at 16:34)
• A formal programming category (98 messages, latest: Mar 23 2023 at 20:30)
• Continuations and polynomials (12 messages, latest: Mar 21 2023 at 16:59)
• Extending "Functors" that act on a subset of Set (9 messages, latest: Mar 17 2023 at 16:33)
• euler characteristic for infinite CW complexes (5 messages, latest: Mar 14 2023 at 01:11)
• What are "structs" in Category Theory? (8 messages, latest: Mar 11 2023 at 18:33)
• invertible endofunctors inducing an equivalence relationship (45 messages, latest: Mar 05 2023 at 22:38)
• complex cobordism theory (1 message, latest: Mar 05 2023 at 20:39)
• On the definition of a monoid (64 messages, latest: Mar 02 2023 at 06:56)
• projective objects (56 messages, latest: Feb 28 2023 at 23:49)
• Rel category (26 messages, latest: Feb 28 2023 at 18:52)
• morphisms to products (38 messages, latest: Feb 24 2023 at 17:43)
• monoids and coproducts (74 messages, latest: Feb 20 2023 at 23:24)
• Dynamical systems (27 messages, latest: Feb 18 2023 at 06:31)
• irreductible/indecomposable arrow (3 messages, latest: Feb 17 2023 at 16:36)
• Category Theory and Programming - what are functors actually (13 messages, latest: Feb 11 2023 at 19:42)
• forgetful functors (30 messages, latest: Feb 09 2023 at 01:37)
• Monads whose algebras are / give rise to monads (8 messages, latest: Feb 08 2023 at 23:15)
• van kampen (1 message, latest: Feb 08 2023 at 22:54)
• Internal rigs in rig-categories? (16 messages, latest: Feb 06 2023 at 16:45)
• products and coproducts with string diagrams (13 messages, latest: Jan 31 2023 at 15:19)
• pushout of coproducts (4 messages, latest: Jan 30 2023 at 13:09)
• ✔ Subobject classifier question (9 messages, latest: Jan 29 2023 at 09:52)
• spans that are pullback cones (4 messages, latest: Jan 28 2023 at 21:13)
• ✔ Is the double category of spans closed? (13 messages, latest: Jan 28 2023 at 01:26)
• ✔ Definition of Categorical Automaton on Planet Physics. (4 messages, latest: Jan 27 2023 at 20:00)
• concategories (28 messages, latest: Jan 22 2023 at 02:40)
• Categorification of consequence relations (2 messages, latest: Jan 21 2023 at 17:07)
• Partial map classifiers (1 message, latest: Jan 18 2023 at 23:05)
• Relative cell complexes (5 messages, latest: Jan 18 2023 at 22:39)
• Properties of the pullback of categories (8 messages, latest: Jan 18 2023 at 15:29)
• Cubes as chain complexes (1 message, latest: Jan 17 2023 at 08:21)
• idempotent monads from the wrong side (5 messages, latest: Jan 16 2023 at 23:02)
• monads with all algebras free (13 messages, latest: Jan 16 2023 at 02:18)
• When/why are horn fillers universal? (22 messages, latest: Jan 15 2023 at 17:50)
• The free category with finite limits on a set (23 messages, latest: Jan 12 2023 at 11:19)
• Degeneracies of (not in) simplicial sets (8 messages, latest: Jan 08 2023 at 20:04)
• Reference regarding Top and related categories (12 messages, latest: Jan 05 2023 at 14:57)
• Intuition for the 'naturality axiom' (28 messages, latest: Jan 03 2023 at 11:07)
• Axiom of choice (6 messages, latest: Dec 28 2022 at 22:28)
• Fully faithful cofunctors (3 messages, latest: Dec 27 2022 at 11:11)
• Applications of the naturality of Yoneda (7 messages, latest: Dec 26 2022 at 15:20)
• Dynamical system (72 messages, latest: Dec 25 2022 at 15:42)
• category theory and philosophy books (54 messages, latest: Dec 16 2022 at 22:06)
• presheaf action (4 messages, latest: Dec 09 2022 at 09:39)
• dependence, posets, and ambiguity (1 message, latest: Dec 05 2022 at 23:43)
• Initial algebras as heteromorphisms (20 messages, latest: Dec 02 2022 at 19:18)
• point-free geometry (3 messages, latest: Nov 30 2022 at 06:40)
• self-reference (17 messages, latest: Nov 27 2022 at 15:53)
• Applying to the Adjoint School (10 messages, latest: Nov 26 2022 at 22:28)
• Towards an understanding of pullbacks (37 messages, latest: Nov 26 2022 at 12:45)
• pairwise relationships of three things (9 messages, latest: Nov 24 2022 at 19:02)
• Finitary monadic functor (5 messages, latest: Nov 24 2022 at 14:09)
• Grothendieck topologies (33 messages, latest: Nov 22 2022 at 13:54)
• Grassmann as a precursor of CT (7 messages, latest: Nov 10 2022 at 15:28)
• Closed discrete fibration? (6 messages, latest: Nov 10 2022 at 15:25)
• Graded bicategory (3 messages, latest: Nov 10 2022 at 10:29)
• Understanding Yoneda lemma (10 messages, latest: Nov 09 2022 at 09:45)
• HoTT and philosophy (52 messages, latest: Nov 07 2022 at 20:24)
• Associativity of limits = limits commute with limits? (5 messages, latest: Nov 01 2022 at 19:36)
• Tensor product of convex spaces (43 messages, latest: Nov 01 2022 at 18:26)
• Yoneda embedding of a cartesian closed category (3 messages, latest: Nov 01 2022 at 17:35)
• Limits from products and equalizsers without choice (11 messages, latest: Oct 31 2022 at 16:48)
• Piecewise linear functions (6 messages, latest: Oct 31 2022 at 08:26)
• Cauchy in terms of convergence (19 messages, latest: Oct 28 2022 at 21:00)
• 2-functors from functors (6 messages, latest: Oct 18 2022 at 18:48)
• clarifying understanding of coproducts and disjoint unions (7 messages, latest: Oct 18 2022 at 17:32)
• pseudomonoid objects (3 messages, latest: Oct 18 2022 at 16:31)
• UMP of models of a sketch (2 messages, latest: Oct 18 2022 at 00:43)
• proarrows (30 messages, latest: Oct 16 2022 at 01:12)
• 2-dimensional Lawvere theories (18 messages, latest: Oct 14 2022 at 16:11)
• monoidal category Grp (7 messages, latest: Oct 13 2022 at 15:28)
• compatible algebras and opalgebras (8 messages, latest: Oct 12 2022 at 14:05)
• what kind of dual is coYoneda? (16 messages, latest: Oct 12 2022 at 13:29)
• Is taking the ultrapower a monad? (5 messages, latest: Oct 11 2022 at 14:09)
• string diagrams 101 (30 messages, latest: Oct 11 2022 at 13:59)
• stochastic computation (11 messages, latest: Oct 10 2022 at 21:29)
• When is (X,S ⊆ P(X)) -> X a fibration? (13 messages, latest: Oct 10 2022 at 15:46)
• definition of exponential object without cartesianness (37 messages, latest: Oct 06 2022 at 13:24)
• $$\lambda$$-pure in $$\lambda$$-accessible are monos (1 message, latest: Oct 04 2022 at 08:21)
• representable props and pros (25 messages, latest: Oct 03 2022 at 07:32)
• topos theory question (17 messages, latest: Sep 30 2022 at 05:56)
• shapes that compose (10 messages, latest: Sep 29 2022 at 18:08)
• colimits of limit diagrams and vice versa (3 messages, latest: Sep 29 2022 at 02:38)
• question about triangulated categories (10 messages, latest: Sep 28 2022 at 19:24)
• viewing objects as categories (40 messages, latest: Sep 28 2022 at 10:34)
• Properads that are not props (21 messages, latest: Sep 27 2022 at 19:41)
• Epis in a topos (2 messages, latest: Sep 27 2022 at 10:40)
• A question about triangulated categories (6 messages, latest: Sep 27 2022 at 10:36)
• A kind of generalized adjunction (5 messages, latest: Sep 25 2022 at 16:17)
• 3-categorical notions of universal arrow, adjunction (4 messages, latest: Sep 22 2022 at 09:51)
• ✔ universal property of Alg(T) for a monoidal theory (5 messages, latest: Sep 21 2022 at 12:07)
• ✔ epipresheaf, powerset, contractible cover (2 messages, latest: Sep 21 2022 at 09:51)
• If types are objects, that what are values? (5 messages, latest: Sep 18 2022 at 23:26)
• order structure on open covers of a topological space? (67 messages, latest: Sep 13 2022 at 15:26)
• making categories from monomorphisms (12 messages, latest: Sep 11 2022 at 16:59)
• lax functors and connected components (20 messages, latest: Sep 11 2022 at 15:13)
• colimits of Lawvere theories (97 messages, latest: Sep 03 2022 at 11:40)
• finitely presentable objects in presheaves (13 messages, latest: Sep 02 2022 at 11:06)
• Funny tensor product (11 messages, latest: Aug 30 2022 at 18:52)
• lifting properties (26 messages, latest: Aug 28 2022 at 14:19)
• continuous functions as functors? (21 messages, latest: Aug 24 2022 at 23:29)
• natural transformation commutativity square (3 messages, latest: Aug 24 2022 at 22:44)
• n.t. commutativity square (14 messages, latest: Aug 24 2022 at 20:45)
• reference for multi-actegories (24 messages, latest: Aug 23 2022 at 22:52)
• adjunction puzzle (14 messages, latest: Aug 22 2022 at 12:52)
• differential forms in synthetic differential geometry (4 messages, latest: Aug 21 2022 at 16:11)
• In a quantale, $$ a * \_ $$ is monotone (3 messages, latest: Aug 19 2022 at 20:16)
• reflective subcategory (1 message, latest: Aug 19 2022 at 15:08)
• sign errors (23 messages, latest: Aug 19 2022 at 03:53)
• Factorization system for computing Kan extensions (3 messages, latest: Aug 18 2022 at 10:38)
• colimits and connected components (9 messages, latest: Aug 17 2022 at 10:42)
• groupoids of affine planes (40 messages, latest: Aug 16 2022 at 05:26)
• presheaves and injectivity classes (1 message, latest: Aug 14 2022 at 14:19)
• tensor product of (bi)module objects (18 messages, latest: Aug 11 2022 at 11:36)
• dual to conjoints (10 messages, latest: Aug 06 2022 at 03:16)
• Free metric group on a metric space (32 messages, latest: Aug 04 2022 at 13:26)
• V-enrichment when V is not closed (2 messages, latest: Jul 26 2022 at 15:03)
• confusion about images of aspects (5 messages, latest: Jul 25 2022 at 16:37)
• does every comonad arise from a monadic adjunction? (3 messages, latest: Jul 22 2022 at 06:27)
• on the concept of ologs (12 messages, latest: Jul 20 2022 at 10:02)
• why some initial algebras define monads? (27 messages, latest: Jul 13 2022 at 12:09)
• where is Lawvere's book on algebra? (10 messages, latest: Jul 11 2022 at 14:54)
• comma category topos (7 messages, latest: Jul 10 2022 at 04:48)
• What to look for in a category of algebraic structures? (16 messages, latest: Jul 07 2022 at 19:53)
• Isbell duality (24 messages, latest: Jul 06 2022 at 19:12)
• Confusion on the Nature of Isomorphisms in HomSet (10 messages, latest: Jun 25 2022 at 21:55)
• finding an old paper of Gray (3 messages, latest: Jun 24 2022 at 19:04)
• weak/lax fibers of a functor (44 messages, latest: Jun 24 2022 at 16:39)
• what's a "proper" intuition regarding adjunctions? (7 messages, latest: Jun 19 2022 at 09:37)
• Unknown property of posets (2 messages, latest: Jun 16 2022 at 15:43)
• name for globular sets without globular set condition (20 messages, latest: Jun 14 2022 at 08:39)
• pseudosections? (1 message, latest: Jun 14 2022 at 01:50)
• different version of Yoneda Lemma. Why does it work? (11 messages, latest: Jun 11 2022 at 00:12)
• Composition of fibrations (6 messages, latest: Jun 10 2022 at 14:58)
• Adjoint restricted to subcategories (3 messages, latest: Jun 09 2022 at 02:36)
• completion, free completion, free, -ization (39 messages, latest: Jun 05 2022 at 15:55)
• why specified isomorphisms? (23 messages, latest: Jun 02 2022 at 17:39)
• a monadicity theorem (11 messages, latest: Jun 01 2022 at 23:18)
• Understanding Yoneda Lemma "naturalness in F" (4 messages, latest: May 30 2022 at 18:00)
• motives (25 messages, latest: May 17 2022 at 16:16)
• link between limits and "usual" limits for sequence ? (30 messages, latest: May 17 2022 at 12:35)
• Is this definition for the slice category correct? (14 messages, latest: May 16 2022 at 20:25)
• Comonoids in partial functions (45 messages, latest: May 07 2022 at 05:01)
• multisets vs tuples (32 messages, latest: May 06 2022 at 16:56)
• enriched graphs (129 messages, latest: Apr 27 2022 at 14:30)
• kinematics and dynamics: adjoint? (3 messages, latest: Apr 21 2022 at 19:01)
• monomial endofunctors (6 messages, latest: Apr 21 2022 at 16:16)
• morphisms of cofunctors (5 messages, latest: Apr 19 2022 at 06:55)
• cotopos (14 messages, latest: Apr 07 2022 at 16:50)
• completeness with respect to Set (4 messages, latest: Apr 06 2022 at 16:24)
• comonoids (31 messages, latest: Apr 06 2022 at 14:00)
• ends and limits (29 messages, latest: Apr 03 2022 at 20:50)
• cotensors in a Kleisli category (2 messages, latest: Apr 01 2022 at 12:12)
• relationship between enriched and internal categories in ... (21 messages, latest: Mar 31 2022 at 19:48)
• fascinating theorems (14 messages, latest: Mar 31 2022 at 11:14)
• Basics of dependent sets (5 messages, latest: Mar 27 2022 at 11:10)
• dagger categories (33 messages, latest: Mar 26 2022 at 18:55)
• latex + CT (62 messages, latest: Mar 26 2022 at 14:27)
• internalization via hom (20 messages, latest: Mar 24 2022 at 16:56)
• reverse of a monoidal category? (13 messages, latest: Mar 24 2022 at 00:09)
• is this an opfibration? (21 messages, latest: Mar 23 2022 at 23:57)
• call stacks and lenses (22 messages, latest: Mar 22 2022 at 03:52)
• duality theorems (13 messages, latest: Mar 19 2022 at 19:44)
• monadic functor between presheaf categories (7 messages, latest: Mar 19 2022 at 02:45)
• higher categories (47 messages, latest: Mar 18 2022 at 12:11)
• one-hop neighborhood of a category (22 messages, latest: Mar 18 2022 at 10:38)
• Universal property of the classifying topos (1 message, latest: Mar 17 2022 at 17:54)
• spatial categorical logic (39 messages, latest: Mar 16 2022 at 14:38)
• structure of regular subobjects (10 messages, latest: Mar 13 2022 at 14:39)
• injection endofunctor on surjections (10 messages, latest: Mar 08 2022 at 13:22)
• enriched category (13 messages, latest: Mar 06 2022 at 12:38)
• Is the Grothendieck construction adhesive? (25 messages, latest: Mar 05 2022 at 16:07)
• (infty,infty)-categories (5 messages, latest: Mar 01 2022 at 19:01)
• T(T(M)) (29 messages, latest: Feb 28 2022 at 20:26)
• adding morphisms (49 messages, latest: Feb 27 2022 at 17:00)
• dependent pair category (13 messages, latest: Feb 25 2022 at 15:28)
• universe axioms (44 messages, latest: Feb 25 2022 at 07:51)
• internal toposes (170 messages, latest: Feb 23 2022 at 23:02)
• toposes and quasitoposes (20 messages, latest: Feb 22 2022 at 07:12)
• alignable, applicative and alternative functors (1 message, latest: Feb 21 2022 at 21:55)
• checking if my functor preserves filtered colimits (12 messages, latest: Feb 21 2022 at 20:33)
• groupoids with two objects (44 messages, latest: Feb 18 2022 at 18:01)
• groupoid representations and Erlangen geometry (17 messages, latest: Feb 17 2022 at 23:39)
• coalgebraic logic basics (15 messages, latest: Feb 13 2022 at 15:52)
• decomposition of a Lie groupoid into sub Lie groupoids (12 messages, latest: Feb 13 2022 at 13:41)
• deep learning (52 messages, latest: Feb 12 2022 at 01:54)
• classifying toposes (89 messages, latest: Feb 11 2022 at 18:43)
• "enriched enriched functors" (6 messages, latest: Feb 10 2022 at 23:04)
• Yoneda lemma applications (19 messages, latest: Feb 10 2022 at 10:40)
• operads (15 messages, latest: Feb 09 2022 at 14:35)
• Coherence theorems for monoidal categories (2 messages, latest: Feb 08 2022 at 20:03)
• are measures functors? (50 messages, latest: Feb 07 2022 at 22:40)
• weighted colimits in cats enriched over weighted sets (6 messages, latest: Feb 06 2022 at 10:18)
• two partial orders at once (18 messages, latest: Feb 05 2022 at 23:59)
• thinking about toposes (51 messages, latest: Feb 05 2022 at 04:23)
• dependent type theory syntax (102 messages, latest: Feb 03 2022 at 21:26)
• faces of convex sets (1 message, latest: Feb 03 2022 at 17:34)
• Enriched Sheaves (5 messages, latest: Feb 01 2022 at 19:19)
• Limits of diagrams with interesting composition structure (8 messages, latest: Feb 01 2022 at 12:48)
• optics - grates (46 messages, latest: Jan 31 2022 at 19:29)
• categorical first-order logic (18 messages, latest: Jan 29 2022 at 17:53)
• Framing split idempotents (12 messages, latest: Jan 27 2022 at 20:12)
• adjunction from known monad and comonad? (2 messages, latest: Jan 26 2022 at 03:53)
• generalised points and states (24 messages, latest: Jan 26 2022 at 00:08)
• displayed 2-categories (1 message, latest: Jan 25 2022 at 15:48)
• strictification theorems (16 messages, latest: Jan 24 2022 at 12:55)
• learning about fibred categories (26 messages, latest: Jan 23 2022 at 16:16)
• morphisms of monads and Kleisli categories (7 messages, latest: Jan 21 2022 at 09:03)
• motivation for topological spaces (23 messages, latest: Jan 20 2022 at 18:09)
• wiring diagrams for compact closed categories (17 messages, latest: Jan 20 2022 at 11:02)
• filterquotients (3 messages, latest: Jan 19 2022 at 18:41)
• subobject classifiers and topos theory (71 messages, latest: Jan 19 2022 at 17:51)
• n-equivalence (10 messages, latest: Jan 19 2022 at 12:16)
• partial continuous maps (27 messages, latest: Jan 18 2022 at 17:16)
• motivation for accessible categories (77 messages, latest: Jan 17 2022 at 20:50)
• 2-category of observable <= (4 messages, latest: Jan 17 2022 at 08:34)
• image subcategories structure (65 messages, latest: Jan 16 2022 at 20:55)
• Turing machines (4 messages, latest: Jan 16 2022 at 11:32)
• convex analysis (44 messages, latest: Jan 12 2022 at 22:03)
• hom is lax monoidal (7 messages, latest: Jan 12 2022 at 17:05)
• "weak pushout" universal among pullbacks (20 messages, latest: Jan 11 2022 at 21:44)
• modal HoTT (13 messages, latest: Jan 11 2022 at 04:12)
• smallest image subcategory (21 messages, latest: Jan 10 2022 at 14:16)
• sketches? (36 messages, latest: Jan 10 2022 at 14:01)
• graphical syntax for two monoidal structures (13 messages, latest: Jan 10 2022 at 12:54)
• automata and wave propagation (2 messages, latest: Jan 09 2022 at 03:54)
• contravariant strengths (10 messages, latest: Jan 08 2022 at 21:15)
• Intuition for Brown representability (4 messages, latest: Jan 07 2022 at 16:23)
• equivalence relationships preserved by endofunctors (18 messages, latest: Jan 06 2022 at 17:57)
• endomorphisms of a presheaf (17 messages, latest: Jan 06 2022 at 17:53)
• Ehresmann-Kennison Theorem (4 messages, latest: Jan 06 2022 at 01:49)
• canonical reference moncat (3 messages, latest: Jan 05 2022 at 23:07)
• are there multiple empty sets? (9 messages, latest: Jan 05 2022 at 19:53)
• existence of set-valued Kan extensions (8 messages, latest: Jan 05 2022 at 17:41)
• computing the image of a restriction of a map (4 messages, latest: Jan 05 2022 at 13:52)
• the origins of category theory, and geometry (24 messages, latest: Dec 31 2021 at 23:17)
• topos theory and dynamics (3 messages, latest: Dec 31 2021 at 22:35)
• co(ntra)variant functors and tensors (11 messages, latest: Dec 31 2021 at 22:01)
• conceptual completeness (28 messages, latest: Dec 29 2021 at 18:03)
• algebras for the continuation monad (33 messages, latest: Dec 29 2021 at 16:13)
• reference: enriched cartesian closure (2 messages, latest: Dec 29 2021 at 15:52)
• extensive categories (26 messages, latest: Dec 28 2021 at 16:44)
• "monoidal limit" (66 messages, latest: Dec 27 2021 at 23:49)
• how are Grothendieck toposes useful? (27 messages, latest: Dec 25 2021 at 20:26)
• beginner study group? (13 messages, latest: Dec 23 2021 at 04:34)
• some free monoidal constructions (10 messages, latest: Dec 21 2021 at 21:40)
• mistake in Borceux?? (3 messages, latest: Dec 19 2021 at 23:51)
• inverse of inverse (7 messages, latest: Dec 17 2021 at 16:43)
• homotopy level of a Kan complex (25 messages, latest: Dec 16 2021 at 17:04)
• elements of a group, and the category of groups (34 messages, latest: Dec 14 2021 at 07:08)
• equality of morphisms (43 messages, latest: Dec 12 2021 at 23:16)
• regularly well powered? (7 messages, latest: Dec 08 2021 at 13:31)
• recommendation for reading on higher category theory (7 messages, latest: Dec 07 2021 at 01:49)
• Baez-Dolan slice of an algebraic theory (16 messages, latest: Dec 01 2021 at 19:39)
• CT in Canada (1 message, latest: Dec 01 2021 at 10:58)
• sum, zero, copy, discard (7 messages, latest: Nov 29 2021 at 14:45)
• Frobenius algebras and orientability (31 messages, latest: Nov 29 2021 at 12:34)
• a concrete galois theory over language extension (1 message, latest: Nov 27 2021 at 05:47)
• weak equivalences without model structures (9 messages, latest: Nov 23 2021 at 00:05)
• surprising invertibility results? (6 messages, latest: Nov 22 2021 at 17:32)
• pushout of monos in Cat (11 messages, latest: Nov 21 2021 at 12:47)
• quotient objects (10 messages, latest: Nov 20 2021 at 14:54)
• thin homotopy lifting property? (9 messages, latest: Nov 18 2021 at 07:02)
• simplicial localization of model categories (6 messages, latest: Nov 16 2021 at 14:18)
• Q-Cat and hyperdoctrines (3 messages, latest: Nov 15 2021 at 20:27)
• universal properties in algebra (11 messages, latest: Nov 15 2021 at 18:13)
• Day convolution and Kan extensions (16 messages, latest: Nov 10 2021 at 14:01)
• objects as colimits of points (18 messages, latest: Nov 09 2021 at 10:53)
• schemes (42 messages, latest: Nov 08 2021 at 14:26)
• basic sheaf question (16 messages, latest: Nov 05 2021 at 20:51)
• fibrations of EI categories (36 messages, latest: Nov 03 2021 at 20:44)
• Tensor product of (arbitrary) monoids (2 messages, latest: Nov 02 2021 at 17:40)
• enriching double categories by double categories (17 messages, latest: Nov 02 2021 at 17:02)
• poset of sub-Q-categories (21 messages, latest: Nov 01 2021 at 02:50)
• 2-category of simplicial sets (3 messages, latest: Oct 28 2021 at 17:09)
• material/structural set theory quicky (7 messages, latest: Oct 26 2021 at 07:19)
• Writing style (11 messages, latest: Oct 23 2021 at 14:37)
• left adjoint functors from the category of simplicial sets (10 messages, latest: Oct 23 2021 at 03:58)
• Tensoring categories with monoidal categories (1 message, latest: Oct 22 2021 at 10:18)
• is Ab tensored over Grp? (32 messages, latest: Oct 20 2021 at 00:27)
• ELI5: amazing right adjoint (40 messages, latest: Oct 18 2021 at 23:39)
• (co)algebras and (co)monads (132 messages, latest: Oct 18 2021 at 09:07)
• [2,C] is cartesian closed, in agda (4 messages, latest: Oct 17 2021 at 13:05)
• Help with an equivalence of coends (20 messages, latest: Oct 14 2021 at 13:05)
• functors and cofunctors (15 messages, latest: Oct 14 2021 at 08:53)
• simplicial localization (9 messages, latest: Oct 08 2021 at 23:41)
• de Rham complex, Chevalley Eilenberg complex (2 messages, latest: Oct 08 2021 at 15:22)
• Epi pullback (19 messages, latest: Oct 07 2021 at 10:13)
• ✔ enriched semicategories (14 messages, latest: Oct 06 2021 at 10:57)
• monoid-annotated morphisms (8 messages, latest: Oct 05 2021 at 10:36)
• polynomial functors and powerset (25 messages, latest: Oct 01 2021 at 00:29)
• the Yoneda embedding into a cocomplete monoidal category (3 messages, latest: Sep 29 2021 at 10:12)
• internal actegory (12 messages, latest: Sep 28 2021 at 21:08)
• fields and projective planes (33 messages, latest: Sep 28 2021 at 18:32)
• sheaves on manifolds vs sheaves on manifolds (30 messages, latest: Sep 25 2021 at 13:44)
• Euler and Venn diagrams (14 messages, latest: Sep 25 2021 at 10:47)
• free monad as initial algebra (11 messages, latest: Sep 20 2021 at 10:28)
• adjoints to discrete monoidal categories (7 messages, latest: Sep 19 2021 at 21:38)
• pointless CT (8 messages, latest: Sep 18 2021 at 13:08)
• Kan extensions of M^⊗n along 𝐁sgn: 𝐁Σₙ → 𝐁ℤ/2 (3 messages, latest: Sep 17 2021 at 23:58)
• string diagrams for coproducts of endofunctors (12 messages, latest: Sep 17 2021 at 15:14)
• free cartesian category for dummies (32 messages, latest: Sep 17 2021 at 12:49)
• colored operad definition confusion (7 messages, latest: Sep 16 2021 at 09:45)
• Boolean algebras and propositional theories (35 messages, latest: Sep 15 2021 at 19:31)
• When are subobjects nice? (17 messages, latest: Sep 15 2021 at 17:39)
• points of a topos (41 messages, latest: Sep 13 2021 at 13:23)
• map of pseudoadjunctions (3 messages, latest: Sep 12 2021 at 18:08)
• the generic inhabited linear order (12 messages, latest: Sep 11 2021 at 15:01)
• free monoidal category on one generator (35 messages, latest: Sep 10 2021 at 13:45)
• concepts (8 messages, latest: Sep 09 2021 at 19:36)
• exactness properties (15 messages, latest: Sep 07 2021 at 17:27)
• biinterpretations and automorphisms (10 messages, latest: Sep 07 2021 at 15:57)
• reference: initial algebras (56 messages, latest: Sep 03 2021 at 17:48)
• CT Topology (10 messages, latest: Sep 02 2021 at 18:12)
• partial groups and groupoids (64 messages, latest: Sep 02 2021 at 16:58)
• reflection (9 messages, latest: Aug 31 2021 at 20:59)
• nerve of a monoidal category with deletes (18 messages, latest: Aug 30 2021 at 18:25)
• examples of 2-functors (13 messages, latest: Aug 30 2021 at 02:18)
• nerve of a natural transformation. (4 messages, latest: Aug 29 2021 at 19:19)
• Hom-set proof of postcomposition adjunction (4 messages, latest: Aug 22 2021 at 18:18)
• Morphisms of differentiable stacks (5 messages, latest: Aug 21 2021 at 11:29)
• smooth version of Dold-Kan correspondence (28 messages, latest: Aug 19 2021 at 21:39)
• terminology for boring 2-cats (9 messages, latest: Aug 19 2021 at 15:06)
• Physical representations (4 messages, latest: Aug 16 2021 at 17:32)
• Category of functors with different domain (3 messages, latest: Aug 16 2021 at 11:46)
• generating set (7 messages, latest: Aug 16 2021 at 11:34)
• Pseudopushouts and pseudocoequalisers of categories (12 messages, latest: Aug 13 2021 at 03:38)
• principle of equivalence and strict 2-categories (65 messages, latest: Aug 12 2021 at 09:02)
• on displayed categories vs. cats over C (46 messages, latest: Aug 11 2021 at 21:02)
• degree 0 elements of the nerve (12 messages, latest: Aug 04 2021 at 22:04)
• is every X in the category of Ys a Y in the category of Xs? (25 messages, latest: Aug 03 2021 at 20:02)
• Free Algebras of Multisorted Equational Theories (7 messages, latest: Aug 01 2021 at 16:45)
• (temporal TT) are decidable predicates on Time trivial? (4 messages, latest: Jul 30 2021 at 10:49)
• Enumerating finite categories (32 messages, latest: Jul 29 2021 at 14:32)
• Exponentiating two morphisms (19 messages, latest: Jul 25 2021 at 15:46)
• Currying characterizes exponentials? (4 messages, latest: Jul 22 2021 at 13:00)
• Commutative diagram (18 messages, latest: Jul 22 2021 at 12:58)
• learning about coalgebras (4 messages, latest: Jul 20 2021 at 17:05)
• open Petri nets (25 messages, latest: Jul 14 2021 at 18:03)
• subcategories (4 messages, latest: Jul 12 2021 at 22:10)
• complete atomic boolean algebras (29 messages, latest: Jul 12 2021 at 03:36)
• notation for delooping (13 messages, latest: Jul 07 2021 at 22:21)
• free-forgetful adjoint for Sets and Monoids question (11 messages, latest: Jul 06 2021 at 08:18)
• path objects of bicats (9 messages, latest: Jul 01 2021 at 16:47)
• equation bond (6 messages, latest: Jun 28 2021 at 19:31)
• natural transformations (307 messages, latest: Jun 28 2021 at 15:56)
• Forward derivative composition pattern (12 messages, latest: Jun 24 2021 at 17:43)
• Information theory (26 messages, latest: Jun 23 2021 at 20:54)
• Frobenius-like identity (12 messages, latest: Jun 22 2021 at 22:55)
• Double functors and natural transformations (12 messages, latest: Jun 22 2021 at 15:45)
• Enriched categories and "monoidal coproducts"? (26 messages, latest: Jun 21 2021 at 16:47)
• Categories with multiple forms of composition? (31 messages, latest: Jun 21 2021 at 12:14)
• "change of domain" for coends (50 messages, latest: Jun 18 2021 at 21:09)
• Zeno's paradoxes (33 messages, latest: Jun 17 2021 at 16:42)
• Joy of Cats (174 messages, latest: Jun 16 2021 at 11:15)
• def Quillen bifunctor (5 messages, latest: Jun 15 2021 at 21:48)
• Rel-bimonoids (12 messages, latest: Jun 13 2021 at 18:06)
• comonoids for Day convolution products (4 messages, latest: Jun 13 2021 at 16:23)
• Distributive laws in Cartesian closed categories (15 messages, latest: Jun 12 2021 at 14:31)
• punctual Hilbert schemes (48 messages, latest: Jun 12 2021 at 10:07)
• affine triposes and affine toposes (16 messages, latest: Jun 10 2021 at 16:00)
• generator-preserving functors (7 messages, latest: Jun 09 2021 at 21:37)
• every object is a copower (25 messages, latest: Jun 08 2021 at 21:27)
• Product of finitely presentable objects? (11 messages, latest: Jun 06 2021 at 12:53)
• symmetric difference (18 messages, latest: Jun 04 2021 at 08:16)
• isotropic relations (5 messages, latest: Jun 03 2021 at 08:14)
• Why a “universal” construction? (59 messages, latest: Jun 01 2021 at 06:01)
• Conceptual Mathematics: Exercises Help (4 messages, latest: May 30 2021 at 08:32)
• morphisms vs objects (24 messages, latest: May 28 2021 at 17:01)
• Adjoint Quintuples and Enriched Categories (3 messages, latest: May 25 2021 at 19:41)
• coalgebras of constant functors (5 messages, latest: May 21 2021 at 10:12)
• probing with closed vs open balls (29 messages, latest: May 20 2021 at 18:38)
• a category similar to the simplex category (17 messages, latest: May 19 2021 at 19:19)
• how to work with composable sequences of arrows of a cat? (32 messages, latest: May 18 2021 at 16:12)
• partial inverses in $\infty$-categories (18 messages, latest: May 13 2021 at 00:49)
• left adjoint = right adjoint (31 messages, latest: May 11 2021 at 17:11)
• L^p as adjoint (19 messages, latest: May 10 2021 at 19:33)
• exterior product and tensor of chain complexes (93 messages, latest: May 09 2021 at 13:22)
• all about 2-rigs: should they be called 2-rigs? (76 messages, latest: May 07 2021 at 04:03)
• on the relation between twisted and untwisted arrows (1 message, latest: May 06 2021 at 16:06)
• signs in the dg-nerve (2 messages, latest: May 05 2021 at 13:10)
• self-enrichment as terminal coalgebra (6 messages, latest: May 04 2021 at 16:45)
• line graphs (14 messages, latest: May 03 2021 at 16:21)
• elementary (∞,1)-topos (8 messages, latest: May 03 2021 at 15:25)
• Markov category question (10 messages, latest: May 01 2021 at 13:59)
• Eilenberg–Moore bicategory (2 messages, latest: Apr 29 2021 at 19:47)
• string diagrams = tensor networks? (27 messages, latest: Apr 28 2021 at 12:20)
• locales (21 messages, latest: Apr 25 2021 at 15:32)
• smc to petri nets (95 messages, latest: Apr 23 2021 at 22:48)
• reference request (33 messages, latest: Apr 23 2021 at 17:22)
• How to work with a labeled concrete category? (22 messages, latest: Apr 23 2021 at 13:09)
• Algebraic theory of two elements? (6 messages, latest: Apr 23 2021 at 02:40)
• uniqueness of Cartesian maps (13 messages, latest: Apr 22 2021 at 17:50)
• Euler characteristic and derivatives (6 messages, latest: Apr 21 2021 at 17:48)
• composing monadic and non-monadic adjunctions (2 messages, latest: Apr 20 2021 at 22:55)
• × in Rel (26 messages, latest: Apr 20 2021 at 19:13)
• How to characterize a groupoid by its equipment in Cat (10 messages, latest: Apr 19 2021 at 17:05)
• Arrow category as a ??? category (12 messages, latest: Apr 18 2021 at 17:05)
• What can CT tell us about alternative programming paradigms? (23 messages, latest: Apr 17 2021 at 12:01)
• algebra, geometry, coalgebra... cogeometry? (46 messages, latest: Apr 12 2021 at 17:53)
• describing presheaves on Lawvere theories (21 messages, latest: Apr 11 2021 at 19:49)
• the list functor (35 messages, latest: Apr 11 2021 at 02:16)
• Notation for (un)currying (9 messages, latest: Apr 10 2021 at 09:33)
• decomposing 2d TQFTs (67 messages, latest: Apr 10 2021 at 02:16)
• are proof assistants useful for CT? (62 messages, latest: Apr 09 2021 at 18:13)
• categories enriched in a promonoidal category (4 messages, latest: Apr 09 2021 at 09:56)
• The intuitive understanding of category theory (35 messages, latest: Apr 09 2021 at 08:00)
• encoding algebraic constraints as functors (11 messages, latest: Apr 09 2021 at 07:55)
• Optics and apartness (19 messages, latest: Apr 07 2021 at 12:58)
• functoriality of cod fibration (6 messages, latest: Apr 01 2021 at 21:31)
• relations between test categories (11 messages, latest: Apr 01 2021 at 16:46)
• natural enough transformations of graph homomorphisms (30 messages, latest: Mar 31 2021 at 20:11)
• fibration composition using pseudofunctors (112 messages, latest: Mar 29 2021 at 20:29)
• structured ncatlab (4 messages, latest: Mar 29 2021 at 09:26)
• why are generators of 2-morphisms usually nullary? (3 messages, latest: Mar 29 2021 at 03:34)
• distributive laws (9 messages, latest: Mar 24 2021 at 22:02)
• exponential, limits (11 messages, latest: Mar 24 2021 at 19:22)
• Categorical interpretation of CLL + quantifiers? (5 messages, latest: Mar 22 2021 at 17:10)
• ε-δ is "semi-adjunction"? (46 messages, latest: Mar 16 2021 at 17:23)
• infinity naturality (9 messages, latest: Mar 16 2021 at 15:02)
• equalisers/pullbacks of "global elements", but for mon. cats (1 message, latest: Mar 16 2021 at 02:13)
• category where objects and arrows are the same thing? (26 messages, latest: Mar 15 2021 at 19:20)
• notions of lax monoidal functors (9 messages, latest: Mar 15 2021 at 17:42)
• infinity kan extensions (3 messages, latest: Mar 14 2021 at 02:52)
• intuition about cofree things (37 messages, latest: Mar 12 2021 at 15:54)
• polynomial functors, type theory and homotopy (2 messages, latest: Mar 12 2021 at 15:04)
• History of $$\dashv$$ (28 messages, latest: Mar 11 2021 at 16:35)
• composing exponential objects (13 messages, latest: Mar 10 2021 at 18:04)
• quasi-cartesian monoidal categories (28 messages, latest: Mar 10 2021 at 16:21)
• iterated enrichment? (21 messages, latest: Mar 10 2021 at 10:39)
• Completeness theorem via density (10 messages, latest: Mar 09 2021 at 16:16)
• why graphs are not algebraic? (12 messages, latest: Mar 09 2021 at 14:13)
• opposite category (4 messages, latest: Mar 07 2021 at 19:21)
• (co)ends formally (4 messages, latest: Mar 07 2021 at 00:18)
• does LaxMonCat have a product? (3 messages, latest: Mar 06 2021 at 15:07)
• coinductive free things (36 messages, latest: Mar 04 2021 at 18:14)
• equationally presenting monads (4 messages, latest: Mar 04 2021 at 13:27)
• I forgot a bunch of stuff (10 messages, latest: Mar 01 2021 at 22:23)
• differential rig categories (55 messages, latest: Feb 28 2021 at 09:44)
• products in a monoid (31 messages, latest: Feb 28 2021 at 08:56)
• Finite Biproducts Without Pointedness (7 messages, latest: Feb 26 2021 at 21:33)
• Walking arrow in a 2-category (2 messages, latest: Feb 26 2021 at 02:08)
• conditions for points functor to have a left SMC adjoint? (4 messages, latest: Feb 25 2021 at 18:14)
• SMCs as opfibrations (10 messages, latest: Feb 23 2021 at 20:09)
• HoTT book (44 messages, latest: Feb 22 2021 at 19:10)
• logarithm as left adjoint (30 messages, latest: Feb 21 2021 at 23:44)
• classifying topos of local rings (44 messages, latest: Feb 20 2021 at 09:35)
• functions on inductive types are coinductive? (12 messages, latest: Feb 19 2021 at 14:44)
• indexed categories as dependent types (9 messages, latest: Feb 19 2021 at 11:22)
• Adjunction between sets and groupoids (106 messages, latest: Feb 19 2021 at 03:38)
• extremely nice monoidal closed categories (12 messages, latest: Feb 18 2021 at 10:36)
• A preorder is to an antichain as a category is to what? (10 messages, latest: Feb 17 2021 at 22:12)
• CH in a topos (37 messages, latest: Feb 17 2021 at 16:26)
• Categories of ordinals as a topoi (26 messages, latest: Feb 17 2021 at 04:49)
• Dependent Type Families in Topos Type Theory (14 messages, latest: Feb 16 2021 at 16:48)
• Street orientals (2 messages, latest: Feb 15 2021 at 21:25)
• Goguen on "hidden algebra" (1 message, latest: Feb 13 2021 at 22:31)
• Self-enrichment without symmetry (4 messages, latest: Feb 12 2021 at 22:08)
• Morphism-based pullback notation? (17 messages, latest: Feb 11 2021 at 06:10)
• Groupoids and Sets (15 messages, latest: Feb 10 2021 at 00:07)
• Closed structure on presheaf category (17 messages, latest: Feb 09 2021 at 23:33)
• Categorical adjoints as dagger category (16 messages, latest: Feb 08 2021 at 14:01)
• promonads : categories = profunctors : graphs? (77 messages, latest: Feb 07 2021 at 12:41)
• Probability dual (137 messages, latest: Feb 07 2021 at 04:54)
• Understanding Set -> Vect (100 messages, latest: Feb 05 2021 at 09:56)
• Monoidal functors to set (8 messages, latest: Feb 04 2021 at 17:19)
• A converse to Lambek theorem (8 messages, latest: Feb 03 2021 at 01:47)
• Factorizing and Finitely Presented Objects (4 messages, latest: Feb 01 2021 at 03:13)
• Monoids and left adjoint to U: Vect -> Set (203 messages, latest: Jan 31 2021 at 22:30)
• Kock-Lawvere axiom and Amazing Right Adjoints (17 messages, latest: Jan 28 2021 at 17:58)
• Internal Categories in an Endofunctor Category (14 messages, latest: Jan 28 2021 at 02:53)
• Units in a VDC (13 messages, latest: Jan 27 2021 at 22:02)
• "Characterization" in categorical language? (12 messages, latest: Jan 27 2021 at 17:22)
• Is Vect locally presentable? (34 messages, latest: Jan 27 2021 at 15:23)
• Coherence for graphical languages (154 messages, latest: Jan 26 2021 at 22:49)
• nCat as an (n+1)-category (323 messages, latest: Jan 26 2021 at 22:46)
• something like a slice category? (24 messages, latest: Jan 26 2021 at 16:50)
• Lax functors as lax modules? (1 message, latest: Jan 26 2021 at 15:41)
• Distributive laws for monoids (8 messages, latest: Jan 25 2021 at 21:02)
• this lemma is false, but why? (5 messages, latest: Jan 25 2021 at 13:41)
• All about 2-rigs (14 messages, latest: Jan 23 2021 at 12:25)
• Intuition for cospans (16 messages, latest: Jan 22 2021 at 13:25)
• Relationship between spans and bimodules (93 messages, latest: Jan 21 2021 at 18:25)
• Optics and coequalisers (16 messages, latest: Jan 20 2021 at 12:40)
• Puzzle: Finitely complete categories (192 messages, latest: Jan 19 2021 at 23:36)
• Partial application in a monoidal category (5 messages, latest: Jan 19 2021 at 13:15)
• Puzzle: Finitely complete categories (sidetrack on commun... (4 messages, latest: Jan 18 2021 at 22:29)
• Bimodules vs Spans: General solution (209 messages, latest: Jan 17 2021 at 02:17)
• Bimodules vs Spans: Puzzle 1 (10 messages, latest: Jan 16 2021 at 19:52)
• "Alternating" simplicial sets (7 messages, latest: Jan 16 2021 at 17:11)
• Functor staying within isomorphism classes on objects (27 messages, latest: Jan 16 2021 at 11:23)
• Measuring and sampling (6 messages, latest: Jan 16 2021 at 09:01)
• Bimodules vs Spans: Puzzle 2 (153 messages, latest: Jan 15 2021 at 19:31)
• Cats is not LCCC (5 messages, latest: Jan 15 2021 at 17:17)
• Comb elements in Markov categories (9 messages, latest: Jan 15 2021 at 14:56)
• Bimodules vs Spans: Puzzle 3 (17 messages, latest: Jan 14 2021 at 23:51)
• cons of graphical language (112 messages, latest: Jan 13 2021 at 17:16)
• Free monads, multisets, and string diagrams (12 messages, latest: Jan 12 2021 at 20:59)
• Structure-semantics dualities (4 messages, latest: Jan 10 2021 at 20:07)
• Span(Set): Can this idea be salvaged? (176 messages, latest: Jan 09 2021 at 06:16)
• "Infinite dimensional" simplicial sets (7 messages, latest: Jan 08 2021 at 19:07)
• Colimit in terms of a localisation (5 messages, latest: Jan 08 2021 at 10:06)
• string diagrams with rolled up dimensions (8 messages, latest: Jan 07 2021 at 18:03)
• When does F ~ F U F? (19 messages, latest: Jan 06 2021 at 16:44)
• Systems of arithmetic as categories (4 messages, latest: Jan 06 2021 at 14:31)
• Intuition about coreflective subcategory (7 messages, latest: Jan 05 2021 at 21:17)
• representably order-reflecting maps (3 messages, latest: Jan 01 2021 at 12:03)
• Isomorphisms and superfluous detail (25 messages, latest: Dec 30 2020 at 07:40)
• Cubical Sets (3 messages, latest: Dec 30 2020 at 07:40)
• Left direction of the pullback lemma (3 messages, latest: Dec 28 2020 at 11:14)
• Lax monoidal functors (239 messages, latest: Dec 28 2020 at 07:28)
• simplicial groups (14 messages, latest: Dec 27 2020 at 11:41)
• simplicial categories (11 messages, latest: Dec 26 2020 at 21:35)
• Directed graph as a functor I -> Span(Set)? (128 messages, latest: Dec 26 2020 at 21:17)
• representably co-ff 1-cells (10 messages, latest: Dec 26 2020 at 02:10)
• normalized pseudofunctor (10 messages, latest: Dec 23 2020 at 21:01)
• Grothendieck construction in geometry (72 messages, latest: Dec 23 2020 at 17:24)
• Weighted (co)limits without (co)ends (47 messages, latest: Dec 22 2020 at 12:14)
• Left adjoint to monotone function (17 messages, latest: Dec 22 2020 at 04:09)
• Help with a false proof about pullbacks and monomorphisms (6 messages, latest: Dec 21 2020 at 17:26)
• Reactivity categories (8 messages, latest: Dec 21 2020 at 11:58)
• effect algebra examples (8 messages, latest: Dec 19 2020 at 12:13)
• Kastler, Cyclic cohomology within the differential envelope (106 messages, latest: Dec 18 2020 at 00:33)
• When is the Alg(T) cocartesian? (14 messages, latest: Dec 16 2020 at 22:26)
• A bipullback of lax functors? (1 message, latest: Dec 16 2020 at 20:11)
• Coslice of Rel, with functions as objects (1 message, latest: Dec 14 2020 at 08:26)
• Quiver in C and Spans (28 messages, latest: Dec 10 2020 at 23:26)
• strengthening lax monoidal functors (14 messages, latest: Dec 09 2020 at 18:24)
• Structure vs stuff? (103 messages, latest: Dec 05 2020 at 22:16)
• Bottom-ups & Top-downs (4 messages, latest: Dec 05 2020 at 06:07)
• Imaging Systems Engineering (1 message, latest: Dec 04 2020 at 21:31)
• Inner products (8 messages, latest: Dec 04 2020 at 19:43)
• what is a modality? (126 messages, latest: Dec 04 2020 at 18:25)
• co/limit when diagram has initial/terminal objects (113 messages, latest: Dec 03 2020 at 15:58)
• "contravariant" 2-functors (77 messages, latest: Dec 03 2020 at 11:55)
• enrichment in a 2-category (11 messages, latest: Nov 28 2020 at 23:47)
• modular lattices (27 messages, latest: Nov 26 2020 at 23:11)
• The real unit interval categorically (8 messages, latest: Nov 25 2020 at 17:57)
• Name this construction on SMCs? (49 messages, latest: Nov 24 2020 at 22:23)
• Factorization system over a subcategory (6 messages, latest: Nov 24 2020 at 17:25)
• Tensor product as coend (29 messages, latest: Nov 23 2020 at 11:31)
• higher spines and generating simplices (17 messages, latest: Nov 21 2020 at 21:54)
• MonCat : Mon :: Cat : Set? (11 messages, latest: Nov 20 2020 at 20:26)
• 'Slice Yoneda' (49 messages, latest: Nov 20 2020 at 15:31)
• “Single-sorted” graph? (18 messages, latest: Nov 20 2020 at 10:58)
• Comma categories (4 messages, latest: Nov 17 2020 at 06:11)
• Notions of algebraic theory (41 messages, latest: Nov 14 2020 at 21:52)
• Discrete Morse theory for categories? (2 messages, latest: Nov 13 2020 at 15:53)
• computing 2-colimits (117 messages, latest: Nov 13 2020 at 07:25)
• Higher-order graphs (4 messages, latest: Nov 11 2020 at 16:43)
• computing a 2-limit (56 messages, latest: Nov 10 2020 at 21:31)
• Nomenclature for n-2 composition? (2 messages, latest: Nov 09 2020 at 16:20)
• Abelianisation Adjoint (101 messages, latest: Nov 05 2020 at 08:42)
• What's this operation on relations called? (6 messages, latest: Nov 05 2020 at 08:17)
• monad for measures (26 messages, latest: Nov 05 2020 at 01:52)
• Matrix Product From Monoidal Grothendieck (7 messages, latest: Nov 02 2020 at 16:13)
• Defining equivalence of arrows of concrete categories (4 messages, latest: Nov 02 2020 at 09:29)
• Notation for 2-cell compositions? (17 messages, latest: Nov 01 2020 at 21:45)
• Localising at a set of fake arrows (10 messages, latest: Nov 01 2020 at 20:43)
• op-multicategories and spans (4 messages, latest: Oct 30 2020 at 15:31)
• Polycategories with substructural codomains? (2 messages, latest: Oct 30 2020 at 11:55)
• Monoidal categories as more "natural"? (16 messages, latest: Oct 29 2020 at 13:23)
• Set product projections are surjective, right? (47 messages, latest: Oct 29 2020 at 10:59)
• Lax monoidal lax functor (14 messages, latest: Oct 28 2020 at 21:32)
• opfibrations/fibrations (62 messages, latest: Oct 27 2020 at 07:37)
• Topos theory (33 messages, latest: Oct 26 2020 at 15:52)
• Braidings in symmetric monoidal double categories (10 messages, latest: Oct 24 2020 at 19:15)
• What it's like doing math (23 messages, latest: Oct 24 2020 at 17:36)
• Systematizing nomenclature? (9 messages, latest: Oct 23 2020 at 09:16)
• Which came first, the monad or the monoid? (64 messages, latest: Oct 23 2020 at 08:57)
• Free Cartesian monoidal Category (23 messages, latest: Oct 22 2020 at 17:58)
• Internalizing "structural" operations in multicategories (18 messages, latest: Oct 22 2020 at 17:07)
• 3- (and higher) cells for monoid objects? (1 message, latest: Oct 21 2020 at 18:28)
• Monoid object associativity (16 messages, latest: Oct 21 2020 at 17:34)
• Inductive constructions of (oo,1)-cats (30 messages, latest: Oct 20 2020 at 17:27)
• unit in monad (88 messages, latest: Oct 18 2020 at 22:09)
• Example of universal property (15 messages, latest: Oct 18 2020 at 10:28)
• Terminology capturing "domain" and "codomain" (20 messages, latest: Oct 18 2020 at 09:51)
• spans for chosen class of pullbacks (1 message, latest: Oct 15 2020 at 11:55)
• "Unbiased" definition of composition? (22 messages, latest: Oct 14 2020 at 21:13)
• "Thinning" a category? (34 messages, latest: Oct 14 2020 at 17:35)
• 2-functors that preserve extensions (14 messages, latest: Oct 14 2020 at 14:36)
• Question about *-autonomous category definition (8 messages, latest: Oct 13 2020 at 20:46)
• Yoneda lemma in axiomatic formulations of category theory? (15 messages, latest: Oct 10 2020 at 14:19)
• Non-symmetric monoidal tensors on Set (30 messages, latest: Oct 06 2020 at 15:25)
• Is the category of graphs monoidal closed? (13 messages, latest: Oct 05 2020 at 04:13)
• Products in enriched categories (39 messages, latest: Oct 02 2020 at 01:29)
• Database of Categories, Topoi, etc. (4 messages, latest: Oct 01 2020 at 21:29)
• The colimit of a certain simplicial object (2 messages, latest: Oct 01 2020 at 17:59)
• Functoriality of quotients of algebraic theories (17 messages, latest: Oct 01 2020 at 16:54)
• Intro to Homotopy Theory without too many pre-reqs (13 messages, latest: Sep 30 2020 at 22:46)
• preliminaries to Yoneda Lemma (10 messages, latest: Sep 30 2020 at 11:26)
• Iterated Hyperdoctrine (19 messages, latest: Sep 29 2020 at 14:42)
• weighted colimit is an evaluation (3 messages, latest: Sep 28 2020 at 17:43)
• A diagram in context (3 messages, latest: Sep 28 2020 at 09:18)
• 2-density? (5 messages, latest: Sep 25 2020 at 18:41)
• regular categories (9 messages, latest: Sep 25 2020 at 15:36)
• product of tensored categories: is it tensored? (1 message, latest: Sep 25 2020 at 15:07)
• Commutative Diagrams (8 messages, latest: Sep 24 2020 at 19:27)
• Yoneda for operads? (2 messages, latest: Sep 24 2020 at 18:30)
• vector bundle over groupoid (9 messages, latest: Sep 23 2020 at 23:35)
• 2-monads for (co)completions (22 messages, latest: Sep 23 2020 at 17:13)
• Co/limits in enriched category (7 messages, latest: Sep 23 2020 at 17:08)
• lax bicolimits (1 message, latest: Sep 21 2020 at 17:03)
• Why are diffeological spaces smooth? (10 messages, latest: Sep 21 2020 at 16:50)
• Infinite-dimensional manifolds as smooth sets (11 messages, latest: Sep 21 2020 at 07:22)
• differentiation/integration (12 messages, latest: Sep 18 2020 at 10:55)
• Graphical calculus (3 messages, latest: Sep 17 2020 at 21:28)
• transfinite composition (11 messages, latest: Sep 17 2020 at 13:52)
• Enrichment relations categorically (33 messages, latest: Sep 15 2020 at 10:31)
• Free pseudomonoid (10 messages, latest: Sep 15 2020 at 06:11)
• Tessellation and category theory (4 messages, latest: Sep 15 2020 at 04:10)
• Sub-types in Dependent Type Theory (32 messages, latest: Sep 14 2020 at 22:29)
• Isbell envelope and bicompletion (9 messages, latest: Sep 14 2020 at 19:43)
• The measures monad for Hilbert Spaces (6 messages, latest: Sep 14 2020 at 08:42)
• Construction of LagCorel (35 messages, latest: Sep 11 2020 at 20:51)
• Basic question / searching for the name of a concept (5 messages, latest: Sep 11 2020 at 16:45)
• Final "twisted diagonal" functors (6 messages, latest: Sep 11 2020 at 12:38)
• Monoids and Groups in a CCC (8 messages, latest: Sep 11 2020 at 09:26)
• bimonoids and bimonoidal categories (5 messages, latest: Sep 11 2020 at 07:25)
• Thing that distributes over monoid morphisms (5 messages, latest: Sep 10 2020 at 10:05)
• Can't type Y: but y? (18 messages, latest: Sep 09 2020 at 08:25)
• Judgemental equalities in type theories with identity (5 messages, latest: Sep 09 2020 at 06:28)
• A pesky coequaliser (12 messages, latest: Sep 08 2020 at 19:01)
• Extensions along units & counits (48 messages, latest: Sep 08 2020 at 17:01)
• Expressive strength of type theory with only identity types (3 messages, latest: Sep 08 2020 at 13:38)
• Complete wellpowered co-wellpowered implies coequalizers (5 messages, latest: Sep 08 2020 at 12:41)
• D-modules (99 messages, latest: Sep 06 2020 at 04:45)
• Coherence in "Higher Operads, Higher Categories" (4 messages, latest: Aug 31 2020 at 16:08)
• Quantales vs presheaves on monoidal categories (6 messages, latest: Aug 27 2020 at 22:36)
• Algebraic Comodels (1 message, latest: Aug 27 2020 at 13:49)
• Terminal coalgebras of finitary monads? (12 messages, latest: Aug 26 2020 at 17:32)
• Z-categories (7 messages, latest: Aug 23 2020 at 05:24)
• Functors with "global" properties (3 messages, latest: Aug 23 2020 at 05:22)
• division in category theory (9 messages, latest: Aug 22 2020 at 23:30)
• Not a monad, not a comonad; all he knows is what he's not. (27 messages, latest: Aug 22 2020 at 09:52)
• Is this structure known? (6 messages, latest: Aug 21 2020 at 03:24)
• Does a strength induce a lax nat transformation (and vice... (2 messages, latest: Aug 18 2020 at 17:28)
• Rigorous string diagrams (97 messages, latest: Aug 17 2020 at 20:35)
• Irreducible monoids (13 messages, latest: Aug 09 2020 at 14:42)
• Calculations with linear relations (44 messages, latest: Aug 07 2020 at 12:07)
• Polytopal sets? (42 messages, latest: Aug 06 2020 at 23:30)
• Generalizing the sum of product of powersets (4 messages, latest: Aug 03 2020 at 04:25)
• implication as internal hom (2 messages, latest: Jul 26 2020 at 17:49)
• Markov categories and enrichment (54 messages, latest: Jul 26 2020 at 04:40)
• Extensionality (8 messages, latest: Jul 24 2020 at 16:21)
• Oppositization functor for Prof (18 messages, latest: Jul 20 2020 at 15:55)
• Categorical quantum mechanics and Lie Algebras (32 messages, latest: Jul 14 2020 at 20:13)
• Saunders Mac Lane and Computer Science (6 messages, latest: Jul 10 2020 at 17:37)
• euler characteristic in braided monoidal categories (11 messages, latest: Jul 08 2020 at 18:53)
• Tensorial strength in a 2-category (2 messages, latest: Jul 07 2020 at 05:33)
• simplicial sets (26 messages, latest: Jul 06 2020 at 11:24)
• Haskell do notation (3 messages, latest: Jul 03 2020 at 08:31)
• ∞-category of lagrangian cobordisms (2 messages, latest: Jun 26 2020 at 05:29)
• Pointwise extensions in a "concrete" 2-category (1 message, latest: Jun 24 2020 at 19:24)
• Finitely presentable objects (21 messages, latest: Jun 22 2020 at 19:17)
• Categorical Projective Geometry (2 messages, latest: Jun 16 2020 at 05:04)
• Cats applied to software development? (7 messages, latest: Jun 10 2020 at 09:44)
• Gabriel-Ulmer duality (8 messages, latest: Jun 10 2020 at 06:00)
• Subcategories of free objects (14 messages, latest: Jun 08 2020 at 12:26)
• Generalization of operads (12 messages, latest: Jun 06 2020 at 13:13)
• Topos of linear sets? (6 messages, latest: Jun 04 2020 at 23:08)
• Isomorphic categories of presheaves (13 messages, latest: Jun 02 2020 at 18:24)
• Underlying Graph (11 messages, latest: Jun 02 2020 at 11:11)
• Name for the inverse of delooping (3 messages, latest: Jun 01 2020 at 14:37)
• Assembling a bimonoidal category (5 messages, latest: May 31 2020 at 11:06)
• Sheaves in Geometry and Logic (21 messages, latest: May 29 2020 at 11:56)
• Automata vs nets (3 messages, latest: May 27 2020 at 16:29)
• Coproduct question (34 messages, latest: May 26 2020 at 20:50)
• F-algebra homomorphism and naturality squares (3 messages, latest: May 25 2020 at 18:12)
• Asymmetric monoidal categories (16 messages, latest: May 20 2020 at 20:55)
• Terminology for finitary algebraic theory (43 messages, latest: May 20 2020 at 16:40)
• Op functor (4 messages, latest: May 20 2020 at 06:16)
• Almost strong monoidal functors (15 messages, latest: May 19 2020 at 19:29)
• Preservation of Limits (8 messages, latest: May 19 2020 at 07:46)
• map to enriching category (6 messages, latest: May 15 2020 at 19:22)
• why are cofibres not fibres in the opposite category? (7 messages, latest: May 15 2020 at 16:23)
• Defining "finite category" (47 messages, latest: May 15 2020 at 12:38)
• Tensors and PROPS (6 messages, latest: May 14 2020 at 18:19)
• exchange rule in dtt (5 messages, latest: May 11 2020 at 14:20)
• unfactorable morphisms? (15 messages, latest: May 09 2020 at 15:02)
• Algebras with more than one zero? (3 messages, latest: May 06 2020 at 21:20)
• Categorifying algebraic structures (68 messages, latest: May 06 2020 at 20:34)
• Imperfect world (56 messages, latest: May 06 2020 at 18:33)
• Strings and graphs (17 messages, latest: May 05 2020 at 10:37)
• Choosing wires (15 messages, latest: May 04 2020 at 21:35)
• Exterior Derivative (7 messages, latest: May 04 2020 at 16:30)
• parallel dimensions (103 messages, latest: May 04 2020 at 16:20)
• Boolean Algebra (20 messages, latest: May 03 2020 at 12:45)
• Torsion Times NonTorsion (17 messages, latest: May 01 2020 at 09:46)
• Linear logic (8 messages, latest: May 01 2020 at 04:37)
• Heterogeneous duoidal structure (2 messages, latest: Apr 24 2020 at 23:27)
• Composing monoids (7 messages, latest: Apr 24 2020 at 16:21)
• Composing optics (186 messages, latest: Apr 23 2020 at 16:50)
• Symbolic software for CT (7 messages, latest: Apr 22 2020 at 08:38)
• E=mc^2 and commutative square (5 messages, latest: Apr 20 2020 at 10:39)
• braiding and symmetry (20 messages, latest: Apr 19 2020 at 03:12)
• Terminology: oplax vs colax (5 messages, latest: Apr 19 2020 at 02:29)
• Coherence for categories with limits (27 messages, latest: Apr 18 2020 at 20:59)
• Submitting to TAC (4 messages, latest: Apr 18 2020 at 03:10)
• Idempotent monoid objects (165 messages, latest: Apr 16 2020 at 20:22)
• Linear algebra in Rel (164 messages, latest: Apr 15 2020 at 22:39)
• Choice in HoTT (3 messages, latest: Apr 15 2020 at 16:56)
• Kelly’s book (32 messages, latest: Apr 14 2020 at 20:31)
• (off topic, sorry) (14 messages, latest: Apr 14 2020 at 12:10)
• Fields categorically (134 messages, latest: Apr 13 2020 at 09:37)
• Grothendieck Construction (8 messages, latest: Apr 12 2020 at 22:41)
• Presheaves of Presheaves (53 messages, latest: Apr 12 2020 at 21:26)
• Approximate Composition (5 messages, latest: Apr 12 2020 at 10:15)
• "Highschool maths" categorically (26 messages, latest: Apr 11 2020 at 16:37)
• "simplicial sheaves"? (10 messages, latest: Apr 09 2020 at 16:52)
• Linear transformation category (19 messages, latest: Apr 08 2020 at 20:06)
• Is there a name for an "empty object"? (41 messages, latest: Apr 08 2020 at 15:40)
• applications of algebraic topology (18 messages, latest: Apr 07 2020 at 18:59)
• dependent multicategory (144 messages, latest: Apr 07 2020 at 13:18)
• f-algebras (60 messages, latest: Apr 07 2020 at 08:15)
• aliasing (21 messages, latest: Apr 06 2020 at 23:10)
• Do only monoidal functors compose to give monoidal functors? (8 messages, latest: Apr 06 2020 at 21:32)
• Categorical logic and CS (27 messages, latest: Apr 06 2020 at 20:41)
• Limit of the identity functor is initial (12 messages, latest: Apr 06 2020 at 12:53)
• Is the opposite of a closed category closed? (11 messages, latest: Apr 06 2020 at 12:14)
• monoidal infinity-categories (7 messages, latest: Apr 06 2020 at 11:09)
• natural transformations and generators (3 messages, latest: Apr 05 2020 at 20:51)
• Things true up to weakening in a fibration (1 message, latest: Apr 05 2020 at 14:58)
• limits etymology (6 messages, latest: Apr 05 2020 at 09:10)
• Is the endofunctor category on Set duoidal? (9 messages, latest: Apr 04 2020 at 10:36)
• Really basic notation questions (38 messages, latest: Apr 03 2020 at 15:46)
• some sequences of categories (27 messages, latest: Apr 03 2020 at 09:54)
• Structured cospans (13 messages, latest: Mar 30 2020 at 01:57)
• functional programming 101 (75 messages, latest: Mar 29 2020 at 23:45)
• Semiotics and Cybernetics (38 messages, latest: Mar 28 2020 at 18:06)
• Profunctor composition (66 messages, latest: Mar 28 2020 at 14:51)
• Properads (307 messages, latest: Mar 28 2020 at 00:08)
• Algebra (Aluffi) exercises (55 messages, latest: Mar 27 2020 at 23:38)
• What is category theory about? (16 messages, latest: Mar 26 2020 at 16:03)